Hello! Enter your postcode for delivery time
Track My Order
Help Centre
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 $89

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3363)
  • Books (6355)
  • Audiobooks (33)
  • eTextbooks (3023)

AVAILABILITY

  • All eBooks (3363)
  • New Releases (35)
  • Coming Soon (6)
  • Subscription eBooks (104)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3363)
  • Books
     (6355)
  • Audiobooks
     (33)
  • Audio CDs
     (3)
  • Stationery
     (2)
3363 Results | View 24 / 100
< 1 ... 28 29 30 31 32 ... 34 >
Sort By
Sort By:
  • Cellular Automata and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings - Jan M. Baetens
    Cellular Automata and Discrete Complex Systems
    24th IFIP WG 1.5 International Workshop, AUTOMA...
    Jan M. Baetens and Martin Kutrib
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Grammar 2018 : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings - Annie Foret
    Formal Grammar 2018
    23rd International Conference, FG 2018, Sofia, ...
    Annie Foret, Greg Kobele and Sylvain Pogodalla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers - Ichiro Hasuo
    Coalgebraic Methods in Computer Science
    13th IFIP WG 1.3 International Workshop, CMCS 2...
    Ichiro Hasuo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - Cyrille Artho
    Automated Technology for Verification and Analysis
    14th International Symposium, ATVA 2016, Chiba,...
    Cyrille Artho, Axel Legay and Doron Peled
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings - Xinyu Feng
    Programming Languages and Systems
    13th Asian Symposium, APLAS 2015, Pohang, South...
    Xinyu Feng and Sungwoo Park
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering for Resilient Systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings - Ivica Crnkovic
    Software Engineering for Resilient Systems
    8th International Workshop, SERENE 2016, Gothen...
    Ivica Crnkovic and Elena Troubitsyna
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings - Christian Urban
    Interactive Theorem Proving
    6th International Conference, ITP 2015, Nanjing...
    Christian Urban and Xingyuan Zhang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Australian Stories
  • Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings - Jouko Väänänen
    Logic, Language, Information, and Computation
    23rd International Workshop, WoLLIC 2016, Puebl...
    Jouko Väänänen, Åsa Hirvonen and Ruy de Queiroz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II - Giuseppe F. Italiano
    Mathematical Foundations of Computer Science 2015
    40th International Symposium, MFCS 2015, Milan,...
    Giuseppe F. Italiano, Giovanni Pighizzini and Donald T. Sannella
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings - Heinrich C. Mayr
    Conceptual Modeling
    36th International Conference, ER 2017, Valenci...
    Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma and Oscar Pastor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I - Giuseppe F Italiano
    Mathematical Foundations of Computer Science 2015
    40th International Symposium, MFCS 2015, Milan,...
    Giuseppe F Italiano, Giovanni Pighizzini and Donald T. Sannella
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Evolving Computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings - Arnold Beckmann
    Evolving Computability
    11th Conference on Computability in Europe, CiE...
    Arnold Beckmann, Victor Mitrana and Mariya Soskova
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • An Architectonic for Science : The Structuralist Program - C.U. Moulines
    An Architectonic for Science
    The Structuralist Program
    C.U. Moulines, J.D. Sneed and W. Balzer
    eBook
    Instant Digital Delivery
    RRP $559.00
    $503.99
    BUY EBOOK
  • Doing Worlds with Words : Formal Semantics without Formal Metaphysics - J. Peregrin
    Doing Worlds with Words
    Formal Semantics without Formal Metaphysics
    J. Peregrin
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.10
    BUY EBOOK
  • The Logic of Time : A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse - Johan van Benthem
    The Logic of Time
    A Model-Theoretic Investigation into the Variet...
    Johan van Benthem
    eBook
    Instant Digital Delivery
    RRP $169.00
    $152.99
    BUY EBOOK
  • Truthlikeness : Philosophy and Religion (R0) - I. Niiniluoto
    Truthlikeness
    Philosophy and Religion (R0)
    I. Niiniluoto
    eBook
    Instant Digital Delivery
    RRP $349.00
    $314.15
    BUY EBOOK
  • Mathematical Intuition : Phenomenology and Mathematical Knowledge - R.L. Tieszen
    Mathematical Intuition
    Phenomenology and Mathematical Knowledge
    R.L. Tieszen
    eBook
    Instant Digital Delivery
    RRP $319.00
    $287.99
    BUY EBOOK
  • Mathesis Universalis, Computability and Proof : Philosophy and Religion (R0) - Author
    Mathesis Universalis, Computability and Proof
    Philosophy and Religion (R0)
    Author
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Trick or Truth? : The Mysterious Connection Between Physics and Mathematics - Anthony Aguirre
    Trick or Truth?
    The Mysterious Connection Between Physics and M...
    Anthony Aguirre, Brendan Foster and Zeeya Merali
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings - Nan Guan
    Dependable Software Engineering. Theories, Tools, and Applications
    5th International Symposium, SETTA 2019, Shangh...
    Nan Guan, Joost-Pieter Katoen and Jun Sun
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Wandering Towards a Goal : How Can Mindless Mathematical Laws Give Rise to Aims and Intention? - Anthony Aguirre
    Wandering Towards a Goal
    How Can Mindless Mathematical Laws Give Rise to...
    Anthony Aguirre, Brendan Foster and Zeeya Merali
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • AI*IA 2019 - Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings - Author
    AI*IA 2019 - Advances in Artificial Intelligence
    XVIIIth International Conference of the Italian...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantum Interaction : 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers - Bob Coecke
    Quantum Interaction
    11th International Conference, QI 2018, Nice, F...
    Bob Coecke and Ariane Lambert-Mogiliansky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Simplicial Methods for Higher Categories : Segal-type Models of Weak n-Categories - Simona Paoli
    Simplicial Methods for Higher Categories
    Segal-type Models of Weak n-Categories
    Simona Paoli
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • New Trends in Databases and Information Systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings - M?r?te Kirikova
    New Trends in Databases and Information Systems
    ADBIS 2017 Short Papers and Workshops, AMSD, Bi...
    M?r?te Kirikova, Kjetil Nørvåg, George A. Papadopoulos, Johann Gamper and Stefano Rizzi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Proof Theory : Mathematics and Statistics (R0) - Thomas Studer
    Advances in Proof Theory
    Mathematics and Statistics (R0)
    Thomas Studer, Reinhard Kahle and Thomas Strahm
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Reflections on the Foundations of Mathematics : Univalent Foundations, Set Theory and General Thoughts - Stefania Centrone
    Reflections on the Foundations of Mathematics
    Univalent Foundations, Set Theory and General T...
    Stefania Centrone, Deborah Kant and Deniz Sarikaya
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude - Peter Csaba Ölveczky
    Designing Reliable Distributed Systems
    A Formal Methods Approach Based on Executable M...
    Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings - Kun He
    Theoretical Computer Science
    35th National Conference, NCTCS 2017, Wuhan, Ch...
    Kun He, Lian Li, Dingzhu Du and En Zhu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers - Author
    Information and Communication Technologies in Education, Research, and Industrial Applications
    11th International Conference, ICTERI 2015, Lvi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Engineering and Semantic Web : 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings - Przemys?aw Ró?ewski and Christoph Lange
    Knowledge Engineering and Semantic Web
    8th International Conference, KESW 2017, Szczec...
    Przemys?aw Ró?ewski and Christoph Lange
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Towards an Arithmetical Logic : The Arithmetical Foundations of Logic - Yvon Gauthier
    Towards an Arithmetical Logic
    The Arithmetical Foundations of Logic
    Yvon Gauthier
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Beziau Volume II - Arnold Koslow
    The Road to Universal Logic
    Festschrift for the 50th Birthday of Jean-Yves ...
    Arnold Koslow and Arthur Buchsbaum
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Kripke's Worlds : An Introduction to Modal Logics via Tableaux - Olivier Gasquet
    Kripke's Worlds
    An Introduction to Modal Logics via Tableaux
    Olivier Gasquet, Andreas Herzig, Bilal Said and François Schwarzentruber
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Drinfeld Moduli Schemes and Automorphic Forms : The Theory of Elliptic Modules with Applications - Yuval Z Flicker
    Drinfeld Moduli Schemes and Automorphic Forms
    The Theory of Elliptic Modules with Applications
    Yuval Z Flicker
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • WITTGENSTEINIAN (adj.) : Looking at the World from the Viewpoint of Wittgenstein's Philosophy - Shyam Wuppuluri
    WITTGENSTEINIAN (adj.)
    Looking at the World from the Viewpoint of Witt...
    Shyam Wuppuluri and Newton da Costa
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Metadata and Semantic Research : 13th International Conference, MTSR 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers - Emmanouel Garoufallou
    Metadata and Semantic Research
    13th International Conference, MTSR 2019, Rome,...
    Emmanouel Garoufallou, Francesca Fallucchi and Ernesto William De Luca
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Gentzen's Centenary : The Quest for Consistency - Reinhard Kahle
    Gentzen's Centenary
    The Quest for Consistency
    Reinhard Kahle and Michael Rathjen
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics - Saloua Chatti
    Arabic Logic from al-Fārābī to Averroes
    A Study of the Early Arabic Categorical, Modal,...
    Saloua Chatti
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Recent Developments in the Philosophy of Science : EPSA13 Helsinki - Ioannis Votsis
    Recent Developments in the Philosophy of Science
    EPSA13 Helsinki
    Ioannis Votsis, Stéphanie Ruphy, Gerhard Schurz and Uskali Mäki
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Category Theory in Physics, Mathematics, and Philosophy : Springer Nature Proceedings excluding Computer Science - Marek Ku?
    Category Theory in Physics, Mathematics, and Philosophy
    Springer Nature Proceedings excluding Computer ...
    Marek Ku? and Bart?omiej Skowron
    eText
    Instant Online Reading*
    $289.00
    BUY EBOOK
  • Homological Methods, Representation Theory, and Cluster Algebras : Mathematics and Statistics (R0) - Ibrahim Assem
    Homological Methods, Representation Theory, and Cluster Algebras
    Mathematics and Statistics (R0)
    Ibrahim Assem and Sonia Trepode
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Quantum Groups and Noncommutative Geometry : Mathematics and Statistics (R0) - Yuri I. Manin
    Quantum Groups and Noncommutative Geometry
    Mathematics and Statistics (R0)
    Yuri I. Manin, Theo Raedschelders and Michel Van den Bergh
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Introduction to Mathematica® with Applications : Computer Science (R0) - Marian Mure?an
    Introduction to Mathematica® with Applications
    Computer Science (R0)
    Marian Mure?an
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Logic Functions and Equations : Binary Models for Computer Science - Christian Posthoff
    Logic Functions and Equations
    Binary Models for Computer Science
    Christian Posthoff and Bernd Steinbach
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Beginning MATLAB and Simulink : From Novice to Professional - Sulaymon Eshkabilov
    Beginning MATLAB and Simulink
    From Novice to Professional
    Sulaymon Eshkabilov
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory : Mathematics and Statistics (R0) - Mauro Di Nasso
    Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory
    Mathematics and Statistics (R0)
    Mauro Di Nasso, Isaac Goldbring and Martino Lupini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hopf Algebras and Their Generalizations from a Category Theoretical Point of View : Mathematics and Statistics (R0) - Gabriella Böhm
    Hopf Algebras and Their Generalizations from a Category Theoretical Point of View
    Mathematics and Statistics (R0)
    Gabriella Böhm
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Proof Technology in Mathematics Research and Teaching : Education (R0) - Gila Hanna
    Proof Technology in Mathematics Research and Teaching
    Education (R0)
    Gila Hanna, David A. Reid and Michael de Villiers
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • The Mathematics of Paul Erdős II : Mathematics and Statistics (R0) - Jaroslav Nešet?il
    The Mathematics of Paul Erdős II
    Mathematics and Statistics (R0)
    Jaroslav Nešet?il, Steve Butler and Ronald L. Graham
    eText
    Instant Online Reading*
    $379.01
    BUY EBOOK
  • Commutative Algebra : Recent Advances in Commutative Rings, Integer-Valued Polynomials, and Polynomial Functions - Marco Fontana
    Commutative Algebra
    Recent Advances in Commutative Rings, Integer-V...
    Marco Fontana, Sophie Frisch and Sarah Glaz
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Recent Progress in General Topology III - K.P. Hart
    Recent Progress in General Topology III
    K.P. Hart, J. van Mill and P. Simon
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Conformal Field Theories and Tensor Categories : Proceedings of a Workshop Held at Beijing International Center for Mathematical Research - Chengming Bai
    Conformal Field Theories and Tensor Categories
    Proceedings of a Workshop Held at Beijing Inter...
    Chengming Bai, Jürgen Fuchs, Yi-Zhi Huang, Liang Kong and Christoph Schweigert
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Theory of Graded Consequence : A General Framework for Logics of Uncertainty - Mihir Kumar Chakraborty
    Theory of Graded Consequence
    A General Framework for Logics of Uncertainty
    Mihir Kumar Chakraborty and Soma Dutta
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proof Theory and Algebra in Logic : Philosophy and Religion (R0) - Hiroakira Ono
    Proof Theory and Algebra in Logic
    Philosophy and Religion (R0)
    Hiroakira Ono
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Rohit Parikh on Logic, Language and Society : Philosophy and Religion (R0) - Author
    Rohit Parikh on Logic, Language and Society
    Philosophy and Religion (R0)
    Author
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Martin Davis on Computability, Computational Logic, and Mathematical Foundations : Philosophy and Religion (R0) - Eugenio G. Omodeo
    Martin Davis on Computability, Computational Logic, and Mathematical Foundations
    Philosophy and Religion (R0)
    Eugenio G. Omodeo and Alberto Policriti
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Hybrid Metaheuristics : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings - Maria J. Blesa
    Hybrid Metaheuristics
    10th International Workshop, HM 2016, Plymouth,...
    Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello and Alessandro Di Nuovo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XX : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XX
    Computer Science (R0)
    James F. Peters and Andrzej Skowron
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings - Augusto Sampaio
    Theoretical Aspects of Computing - ICTAC 2016
    13th International Colloquium, Taipei, Taiwan, ...
    Augusto Sampaio and Farn Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers - Phillip James
    Recent Trends in Algebraic Development Techniques
    23rd IFIP WG 1.3 International Workshop, WADT 2...
    Phillip James and Markus Roggenbach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings - Piotrek Hofman
    Developments in Language Theory
    23rd International Conference, DLT 2019, Warsaw...
    Piotrek Hofman and Micha? Skrzypczak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers - Yukiko Nakano
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI,...
    Yukiko Nakano, Ken Satoh and Daisuke Bekki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings - Simon Collart-Dutilleul
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    Third International Conference, RSSRail 2019, L...
    Simon Collart-Dutilleul, Thierry Lecomte and Alexander Romanovsky
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Bart Jacobs
    Foundations of Software Science and Computation Structures
    19th International Conference, FOSSACS 2016, He...
    Bart Jacobs and Christof Löding
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings - Fernando Castor
    Programming Languages
    20th Brazilian Symposium, SBLP 2016, Maringa, B...
    Fernando Castor and Yu David Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - María del Mar Gallardo
    Model Checking Software
    25th International Symposium, SPIN 2018, Malaga...
    María del Mar Gallardo and Pedro Merino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings - Michal Hospodár
    Descriptional Complexity of Formal Systems
    21st IFIP WG 1.02 International Conference, DCF...
    Michal Hospodár, Galina Jirásková and Stavros Konstantinidis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trusted Systems : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers - Moti Yung
    Trusted Systems
    7th International Conference, INTRUST 2015, Bei...
    Moti Yung, Jianbiao Zhang and Zhen Yang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Erika Ábrahám
    Theory and Practice of Formal Methods
    Essays Dedicated to Frank de Boer on the Occasi...
    Erika Ábrahám, Marcello Bonsangue and Einar Broch Johnsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantic Technology : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers - Guilin Qi
    Semantic Technology
    5th Joint International Conference, JIST 2015, ...
    Guilin Qi, Kouji Kozaki, Jeff Z. Pan and Siwei Yu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - John Fitzgerald
    FM 2016: Formal Methods
    21st International Symposium, Limassol, Cyprus,...
    John Fitzgerald, Constance Heitmeyer, Stefania Gnesi and Anna Philippou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings - Kazuhiro Ogata
    Formal Methods and Software Engineering
    18th International Conference on Formal Enginee...
    Kazuhiro Ogata, Mark Lawford and Shaoying Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings - Bill Roscoe
    Formal Methods: Foundations and Applications
    18th Brazilian Symposium, SBMF 2015, Belo Horiz...
    Bill Roscoe and Márcio Cornélio
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Marsha Chechik
    Tools and Algorithms for the Construction and Analysis of Systems
    22nd International Conference, TACAS 2016, Held...
    Marsha Chechik and Jean-François Raskin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers - Francisco Botana
    Automated Deduction in Geometry
    10th International Workshop, ADG 2014, Coimbra,...
    Francisco Botana and Pedro Quaresma
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings - Laure Petrucci
    Critical Systems: Formal Methods and Automated Verification
    Joint 22nd International Workshop on Formal Met...
    Laure Petrucci, Ana Cavalcanti and Cristina Seceleanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Pattern Recognition : 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10-13, 2019, Proceedings - Gernot A. Fink
    Pattern Recognition
    41st DAGM German Conference, DAGM GCPR 2019, Do...
    Gernot A. Fink, Simone Frintrop and Xiaoyi Jiang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers - Massimo Bartoletti
    Computational Intelligence Methods for Bioinformatics and Biostatistics
    14th International Meeting, CIBB 2017, Cagliari...
    Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau and Roberto Tagliaferri
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers - Jaap van den Herik
    Agents and Artificial Intelligence
    9th International Conference, ICAART 2017, Port...
    Jaap van den Herik, Ana Paula Rocha and Joaquim Filipe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Author
    Fundamental Approaches to Software Engineering
    19th International Conference, FASE 2016, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings - Yvo Desmedt
    Information Security
    16th International Conference, ISC 2013, Dallas...
    Yvo Desmedt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings - Jose Julio Alferes
    Rule Technologies. Research, Tools, and Applications
    10th International Symposium, RuleML 2016, Ston...
    Jose Julio Alferes, Guido Governatori, Paul Fodor, Dumitru Roman and Leopoldo Bertossi
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers - Marija Slavkovik
    Multi-Agent Systems
    16th European Conference, EUMAS 2018, Bergen, N...
    Marija Slavkovik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings - Stephan Merz
    Interactive Theorem Proving
    7th International Conference, ITP 2016, Nancy, ...
    Stephan Merz and Jasmin Christian Blanchette
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XVIII : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XVIII
    Computer Science (R0)
    James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang and Hung Son Nguyen
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday - Arend Rensink
    ModelEd, TestEd, TrustEd
    Essays Dedicated to Ed Brinksma on the Occasion...
    Arend Rensink, Joost-Pieter Katoen and Rom Langerak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Moreno Falaschi
    Logic-Based Program Synthesis and Transformation
    25th International Symposium, LOPSTR 2015, Sien...
    Moreno Falaschi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Essays on Frege : Between Science and Literature - Gisela Bengtsson
    New Essays on Frege
    Between Science and Literature
    Gisela Bengtsson, Simo Säätelä and Alois Pichler
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings - Sanjai Rayadurgam
    NASA Formal Methods
    8th International Symposium, NFM 2016, Minneapo...
    Sanjai Rayadurgam and Oksana Tkachuk
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Computer Science - Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings - Alexander S. Kulikov
    Computer Science - Theory and Applications
    11th International Computer Science Symposium i...
    Alexander S. Kulikov and Gerhard J. Woeginger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I - Daniel Kroening
    Computer Aided Verification
    27th International Conference, CAV 2015, San Fr...
    Daniel Kroening and Corina S. P?s?reanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II - Daniel Kroening
    Computer Aided Verification
    27th International Conference, CAV 2015, San Fr...
    Daniel Kroening and Corina S. P?s?reanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Web Reasoning and Rule Systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings - Magdalena Ortiz
    Web Reasoning and Rule Systems
    10th International Conference, RR 2016, Aberdee...
    Magdalena Ortiz and Stefan Schlobach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web : 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings - Author
    The Semantic Web
    15th International Conference, ESWC 2018, Herak...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Web Logic Rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. - Wolfgang Faber
    Reasoning Web. Web Logic Rules
    11th International Summer School 2015, Berlin, ...
    Wolfgang Faber and Adrian Paschke
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Text, Speech, and Dialogue : 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11-13, 2019, Proceedings - Kamil Ekštein
    Text, Speech, and Dialogue
    22nd International Conference, TSD 2019, Ljublj...
    Kamil Ekštein
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings - Michel Rueher
    Principles and Practice of Constraint Programming
    22nd International Conference, CP 2016, Toulous...
    Michel Rueher
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings - Matthew Hague
    Reachability Problems
    11th International Workshop, RP 2017, London, U...
    Matthew Hague and Igor Potapov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3363 Results | View 24 / 100
< 1 ... 28 29 30 31 32 ... 34 >
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