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 (3360)
  • Books (6325)
  • Audiobooks (33)
  • eTextbooks (3021)

AVAILABILITY

  • All eBooks (3360)
  • New Releases (37)
  • Coming Soon (6)
  • Subscription eBooks (103)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3360)
  • Books
     (6325)
  • Audiobooks
     (33)
  • Audio CDs
     (3)
  • Stationery
     (2)
3360 Results | View 24 / 100
< 1 2 3 4 5 6 7 ... 34 >
Sort By
Sort By:
  • Foundations of Algebraic Specification and Formal Software Development - Donald Sannella
    Foundations of Algebraic Specification and Formal Software Development
    Donald Sannella and Andrzej Tarlecki
    eText
    Instant Online Reading*
    $199.00
    BUY EBOOK
  • Extremal Combinatorics : With Applications in Computer Science - Stasys Jukna
    Extremal Combinatorics
    With Applications in Computer Science
    Stasys Jukna
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Twenty Five Years of Constructive Type Theory : Oxford Logic Guides : Book 36 - Giovanni Sambin
    Twenty Five Years of Constructive Type Theory
    Oxford Logic Guides : Book 36
    Giovanni Sambin and Jan M. Smith
    eText
    Instant Online Reading*
    $133.03
    BUY EBOOK
  • Meaning in Mathematics - John Polkinghorne
    Meaning in Mathematics
    John Polkinghorne
    eText
    Instant Online Reading*
    $54.03
    BUY EBOOK
  • Computation and its Limits - Paul Cockshott
    Computation and its Limits
    Paul Cockshott, Lewis M. Mackenzie and Gregory Michaelson
    eText
    Instant Online Reading*
    $58.19
    BUY EBOOK
  • Labyrinth of Thought : A History of Set Theory and Its Role in Modern Mathematics - José Ferreirós
    Labyrinth of Thought
    A History of Set Theory and Its Role in Modern ...
    José Ferreirós
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Fundamentals of the Theory of Computation: Principles and Practice : Principles and Practice - Raymond Greenlaw
    Fundamentals of the Theory of Computation: Principles and Practice
    Principles and Practice
    Raymond Greenlaw and H. James Hoover
    eBook
    Instant Digital Delivery
    RRP $77.95
    $70.17
    BUY EBOOK
  • Hot Pre-Orders
  • The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs - Antonella Cupillari
    The Nuts and Bolts of Proofs
    An Introduction to Mathematical Proofs
    Antonella Cupillari
    eText
    Instant Online Reading*
    $58.99
    BUY EBOOK
  • Modalities : Philosophical Essays - Ruth Barcan Marcus
    Modalities
    Philosophical Essays
    Ruth Barcan Marcus
    eText
    Instant Online Reading*
    $135.26
    BUY EBOOK
  • Contributions to the Science of Text and Language : Word Length Studies and Related Issues - Peter Grzybek
    Contributions to the Science of Text and Language
    Word Length Studies and Related Issues
    Peter Grzybek
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • The Analysis of Linear Partial Differential Operators III : Pseudo-Differential Operators - Lars Hörmander
    The Analysis of Linear Partial Differential Operators III
    Pseudo-Differential Operators
    Lars Hörmander
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Handbook of Analysis and Its Foundations - Eric Schechter
    Handbook of Analysis and Its Foundations
    Eric Schechter
    eBook
    Instant Digital Delivery
    RRP $144.50
    $130.12
    BUY EBOOK
  • Data Streams : Models and Algorithms - Author
    Data Streams
    Models and Algorithms
    Author
    eText
    Instant Online Reading*
    $179.00
    BUY EBOOK
  • Model Theory and Applications : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975 - P. Mangani
    Model Theory and Applications
    Lectures given at a Summer School of the Centro...
    P. Mangani
    eText
    Instant Online Reading*
    $34.99
    BUY EBOOK
  • Recursion Theory and Computational Complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979 - G. Lolli
    Recursion Theory and Computational Complexity
    Lectures given at a Summer School of the Centro...
    G. Lolli
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Handbook of Spatial Logics - Marco Aiello
    Handbook of Spatial Logics
    Marco Aiello, ?Ian PrattHartmann and ?Johan van Benthem
    eText
    Instant Online Reading*
    $489.01
    BUY EBOOK
  • Handbook of Set Theory - Matthew Foreman
    Handbook of Set Theory
    Matthew Foreman and ?Akihiro Kanamori
    eText
    Instant Online Reading*
    $1369.01
    BUY EBOOK
  • Learn Digital and Microprocessor Techniques on your Smartphone - Clive W. Humphris
    Learn Digital and Microprocessor Techniques on your Smartphone
    Clive W. Humphris
    eBook
    Instant Digital Delivery
    RRP $5.63
    $5.16
    BUY EBOOK
  • Null Set - Ted Mathys
    Null Set
    Ted Mathys
    eBook
    Instant Digital Delivery
    RRP $26.39
    $21.99
    17%
    OFF
    My Library BUY EBOOK
  • Math Bytes : Google Bombs, Chocolate-Covered Pi, and Other Cool Bits in Computing - Tim P. Chartier
    Math Bytes
    Google Bombs, Chocolate-Covered Pi, and Other C...
    Tim P. Chartier
    eBook
    Instant Digital Delivery
    RRP $47.30
    $37.83
    20%
    OFF
    BUY EBOOK
  • Agent_Zero : Toward Neurocognitive Foundations for Generative Social Science - Joshua M. Epstein
    Agent_Zero
    Toward Neurocognitive Foundations for Generativ...
    Joshua M. Epstein
    eBook
    Instant Digital Delivery
    RRP $126.50
    $101.99
    19%
    OFF
    BUY EBOOK
  • Chow Rings, Decomposition of the Diagonal, and the Topology of Families : Annals of Mathematics Studies : Book 187 - Claire Voisin
    Chow Rings, Decomposition of the Diagonal, and the Topology of Families
    Annals of Mathematics Studies : Book 187
    Claire Voisin
    eBook
    Instant Digital Delivery
    RRP $190.30
    $152.99
    20%
    OFF
    BUY EBOOK
  • Enlightening Symbols : A Short History of Mathematical Notation and Its Hidden Powers - Joseph Mazur
    Enlightening Symbols
    A Short History of Mathematical Notation and It...
    Joseph Mazur
    eBook
    Instant Digital Delivery
    RRP $33.99
    $27.27
    20%
    OFF
    My Library BUY EBOOK
  • Maths skills for success at university - Kathy Brady
    Maths skills for success at university
    Kathy Brady and Tiffany Winn
    eText
    Instant Online Reading*
    $55.95
    BUY EBOOK
  • Count Like an Egyptian : A Hands-on Introduction to Ancient Mathematics - David Reimer
    Count Like an Egyptian
    A Hands-on Introduction to Ancient Mathematics
    David Reimer
    eBook
    Instant Digital Delivery
    RRP $25.99
    $20.89
    20%
    OFF
    My Library BUY EBOOK
  • The Banach-Tarski Paradox : Encyclopedia of Mathematics and Its Applications - Grzegorz Tomkowicz
    The Banach-Tarski Paradox
    Encyclopedia of Mathematics and Its Applications
    Grzegorz Tomkowicz and Stan Wagon
    eText
    Instant Online Reading*
    $81.95
    BUY EBOOK
  • Mathematics in Ancient Egypt : A Contextual History - Annette Imhausen
    Mathematics in Ancient Egypt
    A Contextual History
    Annette Imhausen
    eBook
    Instant Digital Delivery
    RRP $84.70
    $67.99
    20%
    OFF
    BUY EBOOK
  • Mathematical Knowledge and the Interplay of Practices - José Ferreirós
    Mathematical Knowledge and the Interplay of Practices
    José Ferreirós
    eBook
    Instant Digital Delivery
    RRP $100.10
    $80.99
    19%
    OFF
    BUY EBOOK
  • Statistics and Causality : Methods for Applied Empirical Research - Wolfgang Wiedermann
    Statistics and Causality
    Methods for Applied Empirical Research
    Wolfgang Wiedermann and Alexander von Eye
    eText
    Instant Online Reading*
    $189.19
    BUY EBOOK
  • A First Course in Mathematical Logic and Set Theory - Michael L. O'Leary
    A First Course in Mathematical Logic and Set Theory
    Michael L. O'Leary
    eText
    Instant Online Reading*
    $181.49
    BUY EBOOK
  • The Arrow Impossibility Theorem : Kenneth J. Arrow Lecture Series - Eric Maskin
    The Arrow Impossibility Theorem
    Kenneth J. Arrow Lecture Series
    Eric Maskin, Amartya Sen, Kenneth Arrow, Partha Dasgupta and Joseph E. Stiglitz
    eBook
    Instant Digital Delivery
    RRP $37.03
    $29.99
    19%
    OFF
    BUY EBOOK
  • Single Digits : In Praise of Small Numbers - Marc Chamberland
    Single Digits
    In Praise of Small Numbers
    Marc Chamberland
    eBook
    Instant Digital Delivery
    RRP $39.60
    $31.99
    19%
    OFF
    BUY EBOOK
  • Probabilities : The Little Numbers That Rule Our Lives - Peter Olofsson
    Probabilities
    The Little Numbers That Rule Our Lives
    Peter Olofsson
    eText
    Instant Online Reading*
    $78.09
    BUY EBOOK
  • Singular Sets of Minimizers for the Mumford-Shah Functional - Guy David
    Singular Sets of Minimizers for the Mumford-Shah Functional
    Guy David
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Foundation Maths - Anthony Croft
    Foundation Maths
    Anthony Croft and Robert Davison
    eText
    Instant Online Reading*
    $82.15
    BUY EBOOK
  • Expression and Interpretation of Negation : An OT Typology - Henriëtte de Swart
    Expression and Interpretation of Negation
    An OT Typology
    Henriëtte de Swart
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Risk Management Technologies : With Logic and Probabilistic Models - E.D. Solozhentsev
    Risk Management Technologies
    With Logic and Probabilistic Models
    E.D. Solozhentsev
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Logic from A to Z : The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms - John B. Bacon
    Logic from A to Z
    The Routledge Encyclopedia of Philosophy Glossa...
    John B. Bacon, Michael Detlefsen and David Charles McCarty
    eText
    Instant Online Reading*
    $83.59
    BUY EBOOK
  • An Introduction to Substructural Logics - Greg Restall
    An Introduction to Substructural Logics
    Greg Restall
    eText
    Instant Online Reading*
    $86.89
    BUY EBOOK
  • Philosophical Logic : An Introduction - Sybil Wolfram
    Philosophical Logic
    An Introduction
    Sybil Wolfram
    eText
    Instant Online Reading*
    $117.70
    BUY EBOOK
  • Paradoxes of the Infinite (Routledge Revivals) : Routledge Revivals - Bernard Bolzano
    Paradoxes of the Infinite (Routledge Revivals)
    Routledge Revivals
    Bernard Bolzano
    eText
    Instant Online Reading*
    $89.09
    BUY EBOOK
  • Referential Opacity and Modal Logic : Studies in Philosophy - Dagfinn Follesdal
    Referential Opacity and Modal Logic
    Studies in Philosophy
    Dagfinn Follesdal
    eText
    Instant Online Reading*
    $107.79
    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 - Zhe Wang
    Semantic Technology
    7th Joint International Conference, JIST 2017, ...
    Zhe Wang, Anni-Yasmin Turhan, Kewen Wang and Xiaowang Zhang
    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 - H. Jaap van den Herik
    Computers and Games
    8th International Conference, CG 2013, Yokohama...
    H. Jaap van den Herik, Hiroyuki Iida and Aske Plaat
    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
  • 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 - 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 - Author
    Programming Languages and Systems
    13th Asian Symposium, APLAS 2015, Pohang, South...
    Author
    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
  • 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 - Author
    Conceptual Modeling
    36th International Conference, ER 2017, Valenci...
    Author
    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.99
    BUY EBOOK
3360 Results | View 24 / 100
< 1 2 3 4 5 6 7 ... 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