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 (3347)
  • Books (6261)
  • Audiobooks (32)
  • eTextbooks (3010)

AVAILABILITY

  • All eBooks (3347)
  • New Releases (33)
  • Coming Soon (4)
  • Subscription eBooks (103)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (3347)
  • Books
    (6261)
  • Audiobooks
    (32)
  • Audio CDs
    (3)
  • Stationery
    (3)
3347 Results | View 24 / 100
< 1 ... 7 8 9 10 11 ... 34 >
Sort By
Sort By:
  • Computer Science - Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings - Author
    Computer Science - Theory and Applications
    11th International Computer Science Symposium i...
    Author
    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
  • Bestseller Bargains
  • 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
  • FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings - Author
    FME 2003: Formal Methods
    International Symposium of Formal Methods Europ...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers - Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    5th International Workshop, SOFL+MSVL 2015, Par...
    Shaoying Liu and Zhenhua Duan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings - David Parker
    Quantitative Evaluation of Systems
    16th International Conference, QEST 2019, Glasg...
    David Parker and Verena Wolf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings - Amund Skavhaug
    Computer Safety, Reliability, and Security
    SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR...
    Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch and Friedemann Bitsch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings - Maurice H. ter Beek
    Critical Systems: Formal Methods and Automated Verification
    Joint 21st International Workshop on Formal Met...
    Maurice H. ter Beek, Stefania Gnesi and Alexander Knapp
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers - Fred Mesnard
    Logic-Based Program Synthesis and Transformation
    28th International Symposium, LOPSTR 2018, Fran...
    Fred Mesnard and Peter J. Stuckey
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 16th International Conference, MDAI 2019, Milan, Italy, September 4-6, 2019, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    16th International Conference, MDAI 2019, Milan...
    Vicenç Torra, Yasuo Narukawa, Gabriella Pasi and Marco Viviani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday - Author
    A List of Successes That Can Change the World
    Essays Dedicated to Philip Wadler on the Occasi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings - Carlos Martín-Vide
    Language and Automata Theory and Applications
    13th International Conference, LATA 2019, St. P...
    Carlos Martín-Vide, Alexander Okhotin and Dana Shapira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior - Patrick Schultz
    Temporal Type Theory
    A Topos-Theoretic Approach to Systems and Behavior
    Patrick Schultz and David I. Spivak
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Constructivity and Computability in Historical and Philosophical Perspective : Philosophy and Religion (R0) - Jacques Dubucs
    Constructivity and Computability in Historical and Philosophical Perspective
    Philosophy and Religion (R0)
    Jacques Dubucs
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A Cp-Theory Problem Book : Special Features of Function Spaces - Vladimir V. Tkachuk
    A Cp-Theory Problem Book
    Special Features of Function Spaces
    Vladimir V. Tkachuk
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Godel's Theorems - Roman Murawski
    Recursive Functions and Metamathematics
    Problems of Completeness and Decidability, Gode...
    Roman Murawski
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • What is Fundamental? : Physics and Astronomy (R0) - Anthony Aguirre
    What is Fundamental?
    Physics and Astronomy (R0)
    Anthony Aguirre, Brendan Foster and Zeeya Merali
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics - Jan von Plato
    Saved from the Cellar
    Gerhard Gentzen's Shorthand Notes on Logic and ...
    Jan von Plato
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Descriptor Revision : Belief Change through Direct Choice - Sven Ove Hansson
    Descriptor Revision
    Belief Change through Direct Choice
    Sven Ove Hansson
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Contextualism, Factivity and Closure : A Union That Should Not Take Place? - Stefano Leardi
    Contextualism, Factivity and Closure
    A Union That Should Not Take Place?
    Stefano Leardi and Nicla Vassallo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concise Computer Mathematics : Tutorials on Theory and Problems - Ovidiu Bagdasar
    Concise Computer Mathematics
    Tutorials on Theory and Problems
    Ovidiu Bagdasar
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Models and Inferences in Science : Philosophy and Religion (R0) - Emiliano Ippoliti
    Models and Inferences in Science
    Philosophy and Religion (R0)
    Emiliano Ippoliti
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Where is the Godel-point hiding : Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals - Anna Horská
    Where is the Godel-point hiding
    Gentzen's Consistency Proof of 1936 and His Rep...
    Anna Horská
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Advances in Natural Deduction : A Celebration of Dag Prawitz's Work - Luiz Carlos Pereira
    Advances in Natural Deduction
    A Celebration of Dag Prawitz's Work
    Luiz Carlos Pereira, Valeria de Paiva and Edward Haeusler
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Metadata and Semantic Research : 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers - Emmanouel Garoufallou
    Metadata and Semantic Research
    12th International Conference, MTSR 2018, Limas...
    Emmanouel Garoufallou, Fabio Sartori, Rania Siatri and Marios Zervas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Freedom and Enforcement in Action : A Study in Formal Action Theory - Janusz Czelakowski
    Freedom and Enforcement in Action
    A Study in Formal Action Theory
    Janusz Czelakowski
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Visual Reasoning with Diagrams : Mathematics and Statistics (R0) - Amirouche Moktefi
    Visual Reasoning with Diagrams
    Mathematics and Statistics (R0)
    Amirouche Moktefi and Sun-Joo Shin
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • A General Framework for Reasoning On Inconsistency : Computer Science (R0) - Maria Vanina Martinez
    A General Framework for Reasoning On Inconsistency
    Computer Science (R0)
    Maria Vanina Martinez, Cristian Molinaro, V.S. Subrahmanian and Leila Amgoud
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • A Mathematical Prelude to the Philosophy of Mathematics : Philosophy and Religion (R0) - Stephen Pollard
    A Mathematical Prelude to the Philosophy of Mathematics
    Philosophy and Religion (R0)
    Stephen Pollard
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Harmonies of Disorder : Norbert Wiener: A Mathematician-Philosopher of Our Time - Leone Montagnini
    Harmonies of Disorder
    Norbert Wiener: A Mathematician-Philosopher of ...
    Leone Montagnini
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Introduction to the Representation Theory of Algebras : Mathematics and Statistics (R0) - Michael Barot
    Introduction to the Representation Theory of Algebras
    Mathematics and Statistics (R0)
    Michael Barot
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Geometric and Topological Aspects of the Representation Theory of Finite Groups : PIMS Summer School and Workshop, July 27-August 5, 2016 - Jon F. Carlson
    Geometric and Topological Aspects of the Representation Theory of Finite Groups
    PIMS Summer School and Workshop, July 27-August...
    Jon F. Carlson, Srikanth B. Iyengar and Julia Pevtsova
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • God and Abstract Objects : The Coherence of Theism: Aseity - William Lane Craig
    God and Abstract Objects
    The Coherence of Theism: Aseity
    William Lane Craig
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Towards the Mathematics of Quantum Field Theory : Mathematics and Statistics (R0) - Frédéric Paugam
    Towards the Mathematics of Quantum Field Theory
    Mathematics and Statistics (R0)
    Frédéric Paugam
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Reasoning and Unification over Conceptual Graphs - Dan Corbett
    Reasoning and Unification over Conceptual Graphs
    Dan Corbett
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • A History of Folding in Mathematics : Mathematizing the Margins - Michael Friedman
    A History of Folding in Mathematics
    Mathematizing the Margins
    Michael Friedman
    eText
    Instant Online Reading*
    $349.00
    BUY EBOOK
  • Formal Descriptions of Developing Systems : NATO Science Series II: Mathematics, Physics and Chemistry : Book 121 - James Nation
    Formal Descriptions of Developing Systems
    NATO Science Series II: Mathematics, Physics an...
    James Nation, ?Irina Trofimova and ?John D. Rand
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Quebec Studies in the Philosophy of Science : Part I: Logic, Mathematics, Physics and History of Science - Mathieu Marion
    Quebec Studies in the Philosophy of Science
    Part I: Logic, Mathematics, Physics and History...
    Mathieu Marion and Robert S. Cohen
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Fuzzy Lie Algebras : Mathematics and Statistics (R0) - Muhammad Akram
    Fuzzy Lie Algebras
    Mathematics and Statistics (R0)
    Muhammad Akram
    eText
    Instant Online Reading*
    $179.00
    BUY EBOOK
  • Introduction To The Theory Of Logic - Jose L. Zalabardo
    Introduction To The Theory Of Logic
    Jose L. Zalabardo
    eText
    Instant Online Reading*
    $117.70
    BUY EBOOK
  • Algebraic Topology : VIASM 2012-2015 - H.V. H?ng Nguy?n
    Algebraic Topology
    VIASM 2012-2015
    H.V. H?ng Nguy?n and Lionel Schwartz
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Stochastic Calculus with Infinitesimals : Mathematics and Statistics (R0) - Frederik S. Herzberg
    Stochastic Calculus with Infinitesimals
    Mathematics and Statistics (R0)
    Frederik S. Herzberg
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Geometric Representation Theory and Gauge Theory : Cetraro, Italy 2018 - Alexander Braverman
    Geometric Representation Theory and Gauge Theory
    Cetraro, Italy 2018
    Alexander Braverman, Michael Finkelberg, Andrei Negut, Alexei Oblomkov and Francesco Sala
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Gnomes in the Fog : The Reception of Brouwer's Intuitionism in the 1920s - Dennis E. Hesseling
    Gnomes in the Fog
    The Reception of Brouwer's Intuitionism in the ...
    Dennis E. Hesseling
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Logic : Design Principles and Applications - John Y. Hsu
    Computer Logic
    Design Principles and Applications
    John Y. Hsu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hermann Gunther Graßmann (1809-1877) : Visionary Mathematician, Scientist and Neohumanist Scholar - Gert Schubring
    Hermann Gunther Graßmann (1809-1877)
    Visionary Mathematician, Scientist and Neohuman...
    Gert Schubring
    eBook
    Instant Digital Delivery
    RRP $319.00
    $287.99
    BUY EBOOK
  • Provably Correct Systems : Computer Science (R0) - Author
    Provably Correct Systems
    Computer Science (R0)
    Author
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Industrial Deployment of System Engineering Methods : Computer Science (R0) - Alexander Romanovsky
    Industrial Deployment of System Engineering Methods
    Computer Science (R0)
    Alexander Romanovsky and Martyn Thomas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Refinement in Z and Object-Z : Foundations and Advanced Applications - John Derrick
    Refinement in Z and Object-Z
    Foundations and Advanced Applications
    John Derrick and Eerke A. Boiten
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Basic Real Analysis - Houshang H. Sohrab
    Basic Real Analysis
    Houshang H. Sohrab
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • J. Michael Dunn on Information Based Logics : Philosophy and Religion (R0) - Katalin Bimbo
    J. Michael Dunn on Information Based Logics
    Philosophy and Religion (R0)
    Katalin Bimbo
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Rethinking Logic : Logic in Relation to Mathematics, Evolution, and Method - Carlo Cellucci
    Rethinking Logic
    Logic in Relation to Mathematics, Evolution, an...
    Carlo Cellucci
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Ewa Orłowska on Relational Methods in Logic and Computer Science : Outstanding Contributions to Logic : Book 17 - Joanna Goli?ska-Pilarek
    Ewa Orłowska on Relational Methods in Logic and Computer Science
    Outstanding Contributions to Logic : Book 17
    Joanna Goli?ska-Pilarek and Micha? Zawidzki
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Mathematical Logic : On Numbers, Sets, Structures, and Symmetry - Roman Kossak
    Mathematical Logic
    On Numbers, Sets, Structures, and Symmetry
    Roman Kossak
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Feferman on Foundations : Logic, Mathematics, Philosophy - Author
    Feferman on Foundations
    Logic, Mathematics, Philosophy
    Author
    eText
    Instant Online Reading*
    $329.00
    BUY EBOOK
  • Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings - Catherine Dubois
    Tests and Proofs
    12th International Conference, TAP 2018, Held a...
    Catherine Dubois and Burkhart Wolff
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Alessandro Abate
    Formal Modeling and Analysis of Timed Systems
    15th International Conference, FORMATS 2017, Be...
    Alessandro Abate and Gilles Geeraerts
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015. Proceedings - Author
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    13th European Conference, ECSQARU 2015, Compieg...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XIX : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XIX
    Computer Science (R0)
    James F. Peters, Andrzej Skowron, Dominik ?l?zak, Hung Son Nguyen and Jan G. Bazan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings - Francesco Ranzato
    Static Analysis
    24th International Symposium, SAS 2017, New Yor...
    Francesco Ranzato
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers - Author
    Algorithmic Aspects of Cloud Computing
    First International Workshop, ALGOCLOUD 2015, P...
    Author
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings - Adrian-Horia Dediu
    Language and Automata Theory and Applications
    10th International Conference, LATA 2016, Pragu...
    Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide and Jan Janoušek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Michael Butler
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    5th International Conference, ABZ 2016, Linz, A...
    Michael Butler, Miklos Biro, Klaus-Dieter Schewe and Atif Mashkoor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scala: From a Functional Programming Perspective : An Introduction to the Programming Language - Vicenç Torra
    Scala: From a Functional Programming Perspective
    An Introduction to the Programming Language
    Vicenç Torra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings - Igor Potapov
    Reachability Problems
    10th International Workshop, RP 2016, Aalborg, ...
    Igor Potapov, Ji?í Srba and Kim Guldstrand Larsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings - Andy King
    Functional and Logic Programming
    13th International Symposium, FLOPS 2016, Kochi...
    Andy King and Oleg Kiselyov
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings - Author
    Semantic Technology
    7th Joint International Conference, JIST 2017, ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings - Author
    Graph Transformation
    11th International Conference, ICGT 2018, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers - Marcello M. Bonsangue
    Coalgebraic Methods in Computer Science
    12th IFIP WG 1.3 International Workshop, CMCS 2...
    Marcello M. Bonsangue
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Implementation and Application of Automata : 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015, Proceedings - Frank Drewes
    Implementation and Application of Automata
    20th International Conference, CIAA 2015, Umea,...
    Frank Drewes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorics on Words : 11th International Conference, WORDS 2017, Montreal, QC, Canada, September 11-15, 2017, Proceedings - Sre?ko Brlek
    Combinatorics on Words
    11th International Conference, WORDS 2017, Mont...
    Sre?ko Brlek, Francesco Dolce, Christophe Reutenauer and Élise Vandomme
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computers and Games : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers - Author
    Computers and Games
    8th International Conference, CG 2013, Yokohama...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Machines, Computations, and Universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings - Jérôme Durand-Lose
    Machines, Computations, and Universality
    8th International Conference, MCU 2018, Fontain...
    Jérôme Durand-Lose and Sergey Verlan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings - Lev D. Beklemishev
    Computer Science -- Theory and Applications
    10th International Computer Science Symposium i...
    Lev D. Beklemishev and Daniil V. Musatov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - Arie Gurfinkel
    Verified Software: Theories, Tools, and Experiments
    7th International Conference, VSTTE 2015, San F...
    Arie Gurfinkel and Sanjit A. Seshia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings - Rachid Echahed
    Graph Transformation
    9th International Conference, ICGT 2016, in Mem...
    Rachid Echahed and Mark Minas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers - Sachiyo Arai
    New Frontiers in Artificial Intelligence
    JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENL...
    Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki and Yuiko Ohta
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Dang Van Hung
    Theoretical Aspects of Computing - ICTAC 2017
    14th International Colloquium, Hanoi, Vietnam, ...
    Dang Van Hung and Deepak Kapur
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. - Author
    Intelligent Computer Mathematics
    International Conference, CICM 2015, Washington...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings - Lawrence S. Moss
    Logic, Language, Information, and Computation
    25th International Workshop, WoLLIC 2018, Bogot...
    Lawrence S. Moss, Ruy de Queiroz and Maricarmen Martinez
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • KI 2016: Advances in Artificial Intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings - Franz Wotawa
    KI 2016: Advances in Artificial Intelligence
    39th Annual German Conference on AI, Klagenfurt...
    Franz Wotawa, Malte Helmert and Gerhard Friedrich
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings - Francesco Parisi-Presicce
    Graph Transformation
    8th International Conference, ICGT 2015, Held a...
    Francesco Parisi-Presicce and Bernhard Westfechtel
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings - Clare Dixon
    Frontiers of Combining Systems
    11th International Symposium, FroCoS 2017, Bras...
    Clare Dixon and Marcelo Finger
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings - Author
    Logic, Language, Information, and Computation
    22nd International Workshop, WoLLIC 2015, Bloom...
    Author
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings - Guillermo Simari
    Foundations of Information and Knowledge Systems
    9th International Symposium, FoIKS 2016, Linz, ...
    Guillermo Simari and Marc Gyssens
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings - Author
    Logic for Programming, Artificial Intelligence, and Reasoning
    20th International Conference, LPAR-20 2015, Su...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C &TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II - Hervé Panetto
    On the Move to Meaningful Internet Systems. OTM 2017 Conferences
    Confederated International Conferences: CoopIS,...
    Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou and Robert Meersman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cellular Automata and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings - Author
    Cellular Automata and Discrete Complex Systems
    24th IFIP WG 1.5 International Workshop, AUTOMA...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Grammar 2018 : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings - Author
    Formal Grammar 2018
    23rd International Conference, FG 2018, Sofia, ...
    Author
    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
3347 Results | View 24 / 100
< 1 ... 7 8 9 10 11 ... 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