Hello! Enter your postcode for delivery time
Track My Order
Help Centre
+61 2 88805247
Likes
Notifications
My Wish Lists Login / Join
My Wish Lists My Account Sign Out
No new notifications.
Booktopia
Australia's local bookstore
  • ALL
  • BOOKS
  • FICTION
  • NON-FICTION
  • AUSTRALIAN
  • KIDS
  • SCHOOL
  • ACADEMIC & TEXTBOOKS
      • University

      • Accounting, Business & Finance
      • Biology & Science
      • Computing & Programming
      • Education
      • Engineering & Physics
      • English & Literature
      • Environment & Planning
      • Health Care
      • History
      • Language
      •  

      • Law
      • Mathematics & Statistics
      • Media, Communication & Arts
      • Medicine
      • Nursing
      • Politics
      • Psychology
      • Social Sciences
      • Study Skills
      • Vocational

      • Trades
      • Hospitality & Tourism
      • Business, Financial & Management
      • Nursing & Health Care
      • IT, Networking & Computer Repair
      • Education & Early Childhood
      • Social Working & Counselling
      • Design, Art, Fashion & Photography
    Explore All Academic >
  • EBOOKS
      • Fiction

      • Romance
      • Crime & Mystery
      • Erotic Fiction
      • Fantasy
      • Thrillers
      • Science Fiction
      • Kids & YA

      • Children's Fiction
      • Romance & Love Stories
      • Picture Books & Early Learning
      • Children's Non-Fiction
      • Non-Fiction

      • Biographies
      • Mind, Body, Spirit
      • Business & Management
      • Family & Health
      • Gardening
      • History
      • Politics & Government
      • Psychology
      • Science
      • Textbooks

      • Education
      • Medicine
      • Accounting & Finance
      • Law
      • Psychology
      • Mathematics
      • Language & Linguistics
    Explore All eBooks >
  • AUDIOBOOKS
  • GAMES & PUZZLES
  • STATIONERY
  • GIFTS
  • BARGAINS
  • BLOG
  • BOOKS
  • EBOOKS
  • AUDIOBOOKS
  • GAMES & PUZZLES
  • STATIONERY
  • GIFT IDEAS
  • BLOG
 
CHECKOUT
  • FICTION

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling
      • Popular Subjects

      • Romance
      • Crime & Mystery
      • Erotic Fiction
      • Children's Fiction
      • Fantasy
      • Thrillers
      • Science Fiction
      • Popular Authors

      • Danielle Steel
      • E L James
      • James Patterson
      • Kerry Greenwood
      • Lee Child
      • Michael Connelly
      • Peter Corris
      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling
      • Subjects

      • Accounting & Finance
      • Animals & Nature
      • Antiques & Collectables
      • Archaeology
      • Arts & Entertainment
      • Biographies & True Stories
      • Business & Management
      • Children's Non-Fiction
      • Comedy & Humour
      • Computing & I.T.
      • Cooking, Food & Drink
      • Crafts & Handiwork
      • Dictionaries
      • Earth Sciences & Environment
      • Economics
      • Education
      •  

      • Engineering & Technology
      • Family & Health
      • Gardening
      • History
      • Hobbies, Games & Puzzles
      • Home & House Maintenance
      • Industry & Industrial Studies
      • Language & Linguistics
      • Law
      • Library & Info Sciences
      • Lifestyle & Fashion
      • Literature, Poetry & Plays
      • Mathematics
      • Medicine
      • Mind, Body, Spirit
      • Philosophy
      •  

      • Politics & Government
      • Psychology
      • Reference & Encyclopaedias
      • Religion & Beliefs
      • Science
      • Self-Help & Personal Development
      • Social Services & Welfare
      • Society & Culture
      • Sociology & Anthropology
      • Sports & Recreation
      • Teaching English (ELT)
      • Transportation
      • Travel & Holidays
      • Travel Maps & Atlases
      • Warfare & Defence
    Explore All Non-Fiction >
  • TEXTBOOKS
  • KIDS & YA

      Browse Kids & YA

    • New Releases
    • Bestselling
      • Popular Subjects

      • Children's Fiction
      • Romance & Love Stories
      • Picture Books & Early Learning
      • Children's Non-Fiction
    Explore All Kids & YA
  • EREADERS
  • KOBO PLUS
eBooks > Non-Fiction > Mathematics > Mathematical Foundation
Get Free Shipping on orders over $79

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3291)
  • Books (6046)
  • Audiobooks (31)
  • eTextbooks (2963)

AVAILABILITY

  • All eBooks (3291)
  • New Releases (23)
  • Coming Soon (4)
  • Subscription eBooks (101)

PRICE

CUSTOMER RATING

  •  
    (1) 
  •  
    & Up (1) 
  •  
    & Up (1) 

FORMATS

LANGUAGE

  • eBook
    (3291)
  • Books
    (6046)
  • Audiobooks
    (31)
  • Stationery
    (1)
3291 Results | View 24 / 100
< 1 ... 23 24 25 26 27 ... 33 >
Sort By
Sort By:
  • NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    NASA Formal Methods
    7th International Symposium, NFM 2015, Pasadena...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Author
    Foundations of Software Science and Computation Structures
    18th International Conference, FOSSACS 2015, He...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    16th International Conference, VMCAI 2015, Mumb...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings - Author
    Formal Techniques for Distributed Objects, Components, and Systems
    35th IFIP WG 6.1 International Conference, FORT...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
    Developments in Language Theory
    19th International Conference, DLT 2015, Liverp...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2015 Advances in Artificial Intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings - Author
    AI*IA 2015 Advances in Artificial Intelligence
    XIVth International Conference of the Italian A...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings - Author
    Automated Reasoning with Analytic Tableaux and Related Methods
    24th International Conference, TABLEAUX 2015, W...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Bestseller Bargains
  • Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
    Frontiers of Combining Systems
    10th International Symposium, FroCoS 2015, Wroc...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
    Logic, Rationality, and Interaction
    5th International Workshop, LORI 2015, Taipei, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • KI 2015: Advances in Artificial Intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
    KI 2015: Advances in Artificial Intelligence
    38th Annual German Conference on AI, Dresden, G...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016, Revised Selected Papers
    Chinese Lexical Semantics
    17th Workshop, CLSW 2016, Singapore, Singapore,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematics of Fuzzy Sets and Fuzzy Logic - Barnabas Bede
    Mathematics of Fuzzy Sets and Fuzzy Logic
    Barnabas Bede
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
    Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Grobner Bases - Ihsen Yengui
    Constructive Commutative Algebra
    Projective Modules Over Polynomial Rings and Dy...
    Ihsen Yengui
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
    Logical Foundations of Computer Science
    International Symposium, LFCS 2013, San Diego, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    Formal Aspects of Component Software
    9th International Symposium, FACS 2012, Mountai...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Generative and Transformational Techniques in Software Engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers
    Generative and Transformational Techniques in Software Engineering IV
    International Summer School, GTTSE 2011, Braga,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Uncertainty Reasoning for the Semantic Web II : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers
    Uncertainty Reasoning for the Semantic Web II
    International Workshops URSW 2008-2010 Held at ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
    Recent Trends in Algebraic Development Techniques
    21st International Workshop, WADT 2012, Salaman...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Logics : Essays in Memory of Harald Ganzinger
    Programming Logics
    Essays in Memory of Harald Ganzinger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Essays Dedicted to Samson Abramsky on the Occas...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
    Theory and Applications of Models of Computation
    10th International Conference, TAMC 2013, Hong ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    Logic-Based Program Synthesis and Transformation
    22nd International Symposium, LOPSTR 2012, Leuv...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Formal Concept Analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings
    Formal Concept Analysis
    11th International Conference, ICFCA 2013, Dres...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings - Author
    Tests and Proofs
    7th International Conference, TAP 2013, Budapes...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
    Static Analysis
    20th International Symposium, SAS 2013, Seattle...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Symbolic and Quantiative Approaches to Resoning with Uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings - Author
    Symbolic and Quantiative Approaches to Resoning with Uncertainty
    12th European Conference, ECSQARU 2013, Utrecht...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings - Author
    Typed Lambda Calculi and Applications
    11th International Conference, TLCA 2013, Eindh...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
    Theory and Applications of Satisfiability Testing - SAT 2013
    16th International Conference, Helsinki, Finlan...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
    ECOOP 2013 -- Object-Oriented Programming
    27th European Conference, Montpellier, France, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
    Descriptional Complexity of Formal Systems
    15th International Workshop, DCFS 2013, London,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings - Author
    Implementation and Application of Automata
    18th International Conference, CIAA 2013, Halif...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
    Structured Object-Oriented Formal Language and Method
    Second International Workshop, SOFL 2012, Kyoto...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
    Interactive Theorem Proving
    4th International Conference, ITP 2013, Rennes,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial General Intelligence : 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings
    Artificial General Intelligence
    6th International Conference, AGI 2013, Beijing...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
    Mathematical Foundations of Computer Science 2013
    38th International Symposium, MFCS 2013, Kloste...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
    Principles and Practice of Constraint Programing-CP 2013
    19th International Conference, CP 2013, Uppsala...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
    Algebraic Informatics
    5th International Conference, CAI 2013, Porquer...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings - Author
    Reachability Problems
    7th International Workshop, RP 2013, Uppsala, S...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • KI 2013: Advances in Artificial Intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings
    KI 2013: Advances in Artificial Intelligence
    36th Annual German Conference on AI, Koblenz, G...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling and Using Context : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings
    Modeling and Using Context
    8th International and Interdisciplinary Confere...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings - Author
    Logic, Rationality, and Interaction
    4th International Workshop, LORI 2013, Hangzhou...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Formal Methods and Software Engineering
    15th International Conference on Formal Enginee...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fuzzy Logic and Applications : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013, Proceedings
    Fuzzy Logic and Applications
    10th International Workshop, WILF 2013, Genoa, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings - Author
    Programming Languages and Systems
    11th International Symposium, APLAS 2013, Melbo...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorial Algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers
    Combinatorial Algorithms
    24th International Workshop, IWOCA 2013, Rouen,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2013: Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings - Author
    AI*IA 2013: Advances in Artificial Intelligence
    XIIIth International Conference of the Italian ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
    Graph Structures for Knowledge Representation and Reasoning
    Third International Workshop, GKR 2013, Beijing...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    Verified Software: Theorie, Tools, Experiments
    5th International Conference, VSTTE 2013, Menlo...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    15th International Conference, VMCAI 2014, San ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings - Author
    Language and Automata Theory and Applications
    8th International Conference, LATA 2014, Madrid...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Information and Knowledge Systems : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
    Foundations of Information and Knowledge Systems
    8th International Symposium, FoIKS 2014, Bordea...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic and Algorithmic Aspects of Differential and Integral Operators : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
    Algebraic and Algorithmic Aspects of Differential and Integral Operators
    5th International Meeting, AADIOS 2012, Held at...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Transactions on Rough Sets XVII
    Transactions on Rough Sets XVII
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    From Programs to Systems - The Systems Perspective in Computing
    ETAPS Workshop, FPS 2014, in Honor of Joseph Si...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Computer Science - Theory and Applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
    Computer Science - Theory and Applications
    9th International Computer Science Symposium in...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
    Functional and Logic Programming
    12th International Symposium, FLOPS 2014, Kanaz...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
    Formal Concept Analysis
    12th International Conference, ICFCA 2014, Cluj...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings - Author
    Formal Techniques for Distributed Objects, Components, and Systems
    34th IFIP WG 6.1 International Conference, FORT...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Author
    Rewriting and Typed Lambda Calculi
    Joint International Conferences, RTA and TLCA 2...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    Intelligent Computer Mathematics
    CICM 2014 Joint Events: Calculemus, DML, MKM, a...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    Computer Aided Verification
    26th International Conference, CAV 2014, Held a...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings
    Principles and Practice of Constraint Programming
    20th International Conference, CP 2014, Lyon, F...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
    Mathematical Foundations of Computer Science 2014
    39th International Symposium, MFCS 2014, Budape...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Computer Science : 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
    Theoretical Computer Science
    8th IFIP TC 1/WG 2.2 International Conference, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logics in Artificial Intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings
    Logics in Artificial Intelligence
    14th European Conference, JELIA 2014, Funchal, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    Formal Methods and Software Engineering
    16th International Conference on Formal Enginee...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
    Automated Technology for Verification and Analysis
    12th International Symposium, ATVA 2014, Sydney...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II - Author
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
    6th International Symposium, ISoLA 2014, Imperi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Author
    Hardware and Software: Verification and Testing
    10th International Haifa Verification Conferenc...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computing with New Resources : Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday - Author
    Computing with New Resources
    Essays Dedicated to Jozef Gruska on the Occasio...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • PRICAI 2014: Trends in Artificial Intelligence : 13th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2014, Gold Coast, QLD, Australia, December 1-5, 2014, Proceedings
    PRICAI 2014: Trends in Artificial Intelligence
    13th Pacific Rim International Conference on Ar...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
    Artificial Intelligence and Symbolic Computation
    12th International Conference, AISC 2014, Sevil...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
    Logic-Based Program Synthesis and Transformation
    23rd International Symposium, LOPSTR 2013, Madr...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Trustworthy Global Computing : 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers - Author
    Trustworthy Global Computing
    9th International Symposium, TGC 2014, Rome, It...
    Author
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
    Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
    Essays Dedicated to Gerhard Brewka on the Occas...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering - Author
    Software, Services, and Systems
    Essays Dedicated to Martin Wirsing on the Occas...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
    Unifying Theories of Programming
    5th International Symposium, UTP 2014, Singapor...
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings - Author
    Formal Methods: Foundations and Applications
    17th Brazilian Symposium, SBMF 2014, Maceio, AL...
    Author
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
    Language and Automata Theory and Applications
    9th International Conference, LATA 2015, Nice, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Author
    Tools and Algorithms for the Construction and Analysis of Systems
    21st International Conference, TACAS 2015, Held...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
    FM 2015: Formal Methods
    20th International Symposium, Oslo, Norway, Jun...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings - Author
    Artificial General Intelligence
    8th International Conference, AGI 2015, AGI 201...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
    Algebraic Informatics
    6th International Conference, CAI 2015, Stuttga...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
    Formal Modeling and Analysis of Timed Systems
    13th International Conference, FORMATS 2015, Ma...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
    Principles and Practice of Constraint Programming
    21st International Conference, CP 2015, Cork, I...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
    Reachability Problems
    9th International Workshop, RP 2015, Warsaw, Po...
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Chinese Lexical Semantics : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers - Author
    Chinese Lexical Semantics
    16th Workshop, CLSW 2015, Beijing, China, May 9...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Deductive Software Verification - The KeY Book : From Theory to Practice
    Deductive Software Verification - The KeY Book
    From Theory to Practice
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Chinese Lexical Semantics : 18th Workshop, CLSW 2017, Leshan, China, May 18-20, 2017, Revised Selected Papers
    Chinese Lexical Semantics
    18th Workshop, CLSW 2017, Leshan, China, May 18...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    19th International Conference, VMCAI 2018, Los ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ICT in Education, Research, and Industrial Applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers - Author
    ICT in Education, Research, and Industrial Applications
    8th International Conference, ICTERI 2012, Kher...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings - Author
    ABZ 2014: The Landing Gear Case Study
    Case Study Track, Held at the 4th International...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Processing and Management of Uncertainty : 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part III
    Information Processing and Management of Uncertainty
    15th International Conference on Information Pr...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Processing and Management of Uncertainty : 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part I
    Information Processing and Management of Uncertainty
    15th International Conference on Information Pr...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Processing and Management of Uncertainty : 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2014, Montpellier, France, July 15-19, 2014. Proceedings, Part II - Author
    Information Processing and Management of Uncertainty
    15th International Conference on Information Pr...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concrete Semantics : With Isabelle/HOL - Tobias Nipkow
    Concrete Semantics
    With Isabelle/HOL
    Tobias Nipkow and Gerwin Klein
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • An Introduction to the Technique of Formative Processes in Set Theory - Domenico Cantone
    An Introduction to the Technique of Formative Processes in Set Theory
    Domenico Cantone and Pietro Ursino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Nonmonotonic and Related Logics : Vol I: Preference and Size - Karl Schlechta
    Formal Methods for Nonmonotonic and Related Logics
    Vol I: Preference and Size
    Karl Schlechta
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
3291 Results | View 24 / 100
< 1 ... 23 24 25 26 27 ... 33 >
Sort By
Sort By:

Join Our Newsletter

Head Office
34-48 Cosgrove Road, South Strathfield NSW 2136
ABN 90 679 610 890
MOBILE SITE

Help Centre

  • Placing An Order
  • Contact Booktopia
  • Terms Of Business
  • Privacy Policy
  • Become An Affiliate
  • Sitemap

Shipping

  • Track My Order
  • Standard Shipping
  • Express Shipping
  • Shipping Timeframes
  • Delivering Your Order
  • New Zealand Orders

About Booktopia

  • Your Local Bookstore
  • Why Buy From Booktopia?
  • Our Awards
  • Booktopia's Charities
  • Booktopia eBooks
  • Work With Us

Bestsellers

  • Babies & Toddlers' Bestseller List
  • Children's Bestseller List
  • Young Adults' Bestseller List
  • Fiction Bestseller List
  • Non-Fiction Bestseller List

Popular Brands

  • ABC Reading Eggs
  • Australian Women's Weekly
  • Bluey
  • Excel Education
  • Dr Seuss
  • For Dummies
  • Harvard Business Review
  • Harry Potter
  • LEGO
  • Little Golden Books
  • Lonely Planet Travel Books
  • No Fear Shakespeare
  • Penguin Black Classics
  • Peppa Pig
  • Teach Yourself
  • Vintage Classics
  • Where's Wally

Popular Series

  • A Court of Thorns and Roses
  • A Game of Thrones
  • Bridgerton
  • Diary of a Wimpy Kid
  • Dune
  • Jack Reacher
  • Jack West
  • Little People, Big Dreams
  • Lord of the Rings
  • Nevermoor
  • Outlander
  • The Bad Guys
  • The Treehouse Series
  • The Wheel of Time
  • The Witcher
  • Wings of Fire
  • Wolf Girl

Popular Authors

  • Brene Brown
  • Bruce Pascoe
  • David Walliams
  • Di Morrissey
  • Donna Hay
  • Fiona McIntosh
  • Helen Garner
  • Jane Harper
  • Liane Moriarty
  • Matthew Reilly
  • Peter FitzSimons
  • Sally Rooney
  • Sarah J. Maas
  • Taylor Jenkins Reid
  • Tim Winton
  • Trent Dalton
  • Yotam Ottolenghi

Popular Subjects

  • Biographies & True Stories
  • Business & Management
  • Cooking, Food & Drink
  • Crafts & Handiwork
  • Family & Health
  • Fitness & Diet
  • History
  • Self-Help & Personal Development
  • Australian Fiction
  • Crime & Mystery
  • Classic Fiction
  • Fantasy Fiction
  • Modern & Contemporary Fiction
  • Manga
  • Picture Books
  • Young Adult Fiction
Voted Australia’s Favourite Bookstore by Australian Book Buyers

© 2026 Booktopia Direct Pty Ltd.
${altTag}
RRP ${fmtRetailPrice}
${fmtSalePrice}
BUY NOW