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 ... 29 30 31 32 33 34 >
Sort By
Sort By:
  • 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
  • Afterpay
  • 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
  • FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings - Keijiro Araki
    FME 2003: Formal Methods
    International Symposium of Formal Methods Europ...
    Keijiro Araki, Stefania Gnesi and Dion Mandrioli
    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 and Michel Bourdeau
    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
  • Godel's Proof : Routledge Classics - Ernest Nagel
    Godel's Proof
    Routledge Classics
    Ernest Nagel and James R. Newman
    eText
    Instant Online Reading*
    $27.49
    BUY EBOOK
  • Logic And Declarative Language - M. Downward
    Logic And Declarative Language
    M. Downward
    eText
    Instant Online Reading*
    $89.09
    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
    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
  • Representation Theory, Number Theory, and Invariant Theory : In Honor of Roger Howe on the Occasion of His 70th Birthday - Jim Cogdell
    Representation Theory, Number Theory, and Invariant Theory
    In Honor of Roger Howe on the Occasion of His 7...
    Jim Cogdell, Ju-Lee Kim and Chen-Bo Zhu
    eText
    Instant Online Reading*
    $259.01
    BUY EBOOK
  • Information from Processes : About the Nature of Information Creation, Use, and Representation - Robert M. Losee
    Information from Processes
    About the Nature of Information Creation, Use, ...
    Robert M. Losee
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial Intelligence Applications and Innovations : 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24-26, 2019, Proceedings - John MacIntyre
    Artificial Intelligence Applications and Innovations
    15th IFIP WG 12.5 International Conference, AIA...
    John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis and Elias Pimenidis
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Raymond Smullyan on Self Reference : Philosophy and Religion (R0) - Melvin Fitting
    Raymond Smullyan on Self Reference
    Philosophy and Religion (R0)
    Melvin Fitting and Brian Rayman
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Hilary Putnam on Logic and Mathematics : Outstanding Contributions to Logic : Book 9 - Geoffrey Hellman
    Hilary Putnam on Logic and Mathematics
    Outstanding Contributions to Logic : Book 9
    Geoffrey Hellman and Roy T. Cook
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Formal Languages and Compilation : Computer Science (R0) - Stefano Crespi Reghizzi
    Formal Languages and Compilation
    Computer Science (R0)
    Stefano Crespi Reghizzi, Luca Breveglieri and Angelo Morzenti
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Semantics, Logics, and Calculi : Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays - Christian W. Probst
    Semantics, Logics, and Calculi
    Essays Dedicated to Hanne Riis Nielson and Flem...
    Christian W. Probst, Chris Hankin and René Rydhof Hansen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I - Axel Legay
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held...
    Axel Legay and Tiziana Margaria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings - Alessandro Abate
    Numerical Software Verification
    10th International Workshop, NSV 2017, Heidelbe...
    Alessandro Abate and Sylvie Boldo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings - Thomas Schiex
    Principles and Practice of Constraint Programming
    25th International Conference, CP 2019, Stamfor...
    Thomas Schiex and Simon de Givry
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings - Maxime Amblard
    Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016)
    9th International Conference, LACL 2016, Nancy,...
    Maxime Amblard, Philippe de Groote, Sylvain Pogodalla and Christian Retoré
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial General Intelligence : 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings - Ben Goertzel and Alexey Potapov Tom Everitt
    Artificial General Intelligence
    10th International Conference, AGI 2017, Melbou...
    Ben Goertzel and Alexey Potapov Tom Everitt
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII : Selected Papers from FDSE 2014 - Abdelkader Hameurlain
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
    Selected Papers from FDSE 2014
    Abdelkader Hameurlain, Josef Küng, Roland Wagner, Tran Khanh Dang and Nam Thoai
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Internal Logic : Foundations of Mathematics from Kronecker to Hilbert - Y. Gauthier
    Internal Logic
    Foundations of Mathematics from Kronecker to Hi...
    Y. Gauthier
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Trends in Functional Programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers - Manuel Serrano
    Trends in Functional Programming
    16th International Symposium, TFP 2015, Sophia ...
    Manuel Serrano and Jurriaan Hage
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings - Silvia Steila
    Theory and Applications of Models of Computation
    14th Annual Conference, TAMC 2017, Bern, Switze...
    Silvia Steila, T.V. Gopal and Gerhard Jäger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Engineering and Knowledge Management : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised Selected Papers - Paolo Ciancarini
    Knowledge Engineering and Knowledge Management
    EKAW 2016 Satellite Events, EKM and Drift-an-LO...
    Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao and Valentina Presutti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II - Axel Legay
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held...
    Axel Legay and Tiziana Margaria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cellular Automata and Discrete Complex Systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings - Matthew Cook
    Cellular Automata and Discrete Complex Systems
    22nd IFIP WG 1.5 International Workshop, AUTOMA...
    Matthew Cook and Turlough Neary
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Argument of Mathematics : Philosophy and Religion (R0) - Author
    The Argument of Mathematics
    Philosophy and Religion (R0)
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Bioinformatics Research and Applications : 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3-6, 2019, Proceedings - Zhipeng Cai
    Bioinformatics Research and Applications
    15th International Symposium, ISBRA 2019, Barce...
    Zhipeng Cai, Pavel Skums and Min Li
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Biomedical Knowledge Representation : Methods and Applications - Arjen Hommersom
    Foundations of Biomedical Knowledge Representation
    Methods and Applications
    Arjen Hommersom and Peter J.F. Lucas
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.55
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Barbara Jobstmann
    Verification, Model Checking, and Abstract Interpretation
    17th International Conference, VMCAI 2016, St. ...
    Barbara Jobstmann and K. Rustan M. Leino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings - Author
    Theoretical Aspects of Computing - ICTAC 2015
    12th International Colloquium, Cali, Colombia, ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings - Alberto Dennunzio
    Cellular Automata and Discrete Complex Systems
    23rd IFIP WG 1.5 International Workshop, AUTOMA...
    Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio E. Porreca
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures - Jonathan P. Bowen
    Engineering Trustworthy Software Systems
    4th International School, SETSS 2018, Chongqing...
    Jonathan P. Bowen, Zhiming Liu and Zili Zhang
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Rules and Reasoning : Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings - Paul Fodor
    Rules and Reasoning
    Third International Joint Conference, RuleML+RR...
    Paul Fodor, Marco Montali, Diego Calvanese and Dumitru Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings - Sergei Artemov
    Logical Foundations of Computer Science
    International Symposium, LFCS 2016, Deerfield B...
    Sergei Artemov and Anil Nerode
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers - Mihai Codescu
    Recent Trends in Algebraic Development Techniques
    22nd International Workshop, WADT 2014, Sinaia,...
    Mihai Codescu, R?zvan Diaconescu and Ionu? ?u?u
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Language, Logic, and Computation : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers - Alexandra Silva
    Language, Logic, and Computation
    12th International Tbilisi Symposium, TbiLLC 20...
    Alexandra Silva, Sam Staton, Peter Sutton and Carla Umbach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Conceptual Modeling : ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings - Sergio de Cesare and Ulrich Frank
    Advances in Conceptual Modeling
    ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, a...
    Sergio de Cesare and Ulrich Frank
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Logic and Its Applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers - Santiago Escobar
    Rewriting Logic and Its Applications
    10th International Workshop, WRLA 2014, Held as...
    Santiago Escobar
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers - Mehrnoosh Sadrzadeh
    Logic, Language, and Computation
    11th International Tbilisi Symposium on Logic, ...
    Mehrnoosh Sadrzadeh, Henk Zeevat, Sarah E. Murray and Helle Hvid Hansen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorial Algebra : Syntax and Semantics - Mark V. Sapir
    Combinatorial Algebra
    Syntax and Semantics
    Mark V. Sapir, Victor S. Guba and Mikhail V. Volkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Map and the Territory : Exploring the Foundations of Science, Thought and Reality - Shyam Wuppuluri
    The Map and the Territory
    Exploring the Foundations of Science, Thought a...
    Shyam Wuppuluri and Francisco Antonio Doria
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Algebraic Methods in General Rough Sets : Mathematics and Statistics (R0) - A. Mani
    Algebraic Methods in General Rough Sets
    Mathematics and Statistics (R0)
    A. Mani, Gianpiero Cattaneo and Ivo Düntsch
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Abelian Groups : Mathematics and Statistics (R0) - László Fuchs
    Abelian Groups
    Mathematics and Statistics (R0)
    László Fuchs
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Metadata and Semantic Research : 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings - Emmanouel Garoufallou
    Metadata and Semantic Research
    11th International Conference, MTSR 2017, Talli...
    Emmanouel Garoufallou, Sirje Virkus, Rania Siatri and Damiana Koutsomiha
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Introduction to Software Quality : Computer Science (R0) - Gerard O’Regan
    Introduction to Software Quality
    Computer Science (R0)
    Gerard O’Regan
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Lvov-Warsaw School. Past and Present : Mathematics and Statistics (R0) - Ángel Garrido
    The Lvov-Warsaw School. Past and Present
    Mathematics and Statistics (R0)
    Ángel Garrido and Urszula Wybraniec-Skardowska
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Foundations of Commutative Rings and Their Modules : Mathematics and Statistics (R0) - Fanggui Wang
    Foundations of Commutative Rings and Their Modules
    Mathematics and Statistics (R0)
    Fanggui Wang and Hwankoo Kim
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Directed Algebraic Topology and Concurrency : Computer Science (R0) - Lisbeth Fajstrup
    Directed Algebraic Topology and Concurrency
    Computer Science (R0)
    Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram and Martin Raussen
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Mathematical Concepts : Mathematics and Statistics (R0) - Jürgen Jost
    Mathematical Concepts
    Mathematics and Statistics (R0)
    Jürgen Jost
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Inductive Fuzzy Classification in Marketing Analytics : Business and Management (R0) - Michael Kaufmann
    Inductive Fuzzy Classification in Marketing Analytics
    Business and Management (R0)
    Michael Kaufmann
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Turing's Revolution : The Impact of His Ideas about Computability - Giovanni Sommaruga
    Turing's Revolution
    The Impact of His Ideas about Computability
    Giovanni Sommaruga and Thomas Strahm
    eText
    Instant Online Reading*
    $199.00
    BUY EBOOK
  • One Hundred Prisoners and a Light Bulb : Mathematics and Statistics (R0) - Hans van Ditmarsch
    One Hundred Prisoners and a Light Bulb
    Mathematics and Statistics (R0)
    Hans van Ditmarsch and Barteld Kooi
    eText
    Instant Online Reading*
    $34.99
    BUY EBOOK
  • Janus-Faced Probability : Mathematics and Statistics (R0) - Paolo Rocchi
    Janus-Faced Probability
    Mathematics and Statistics (R0)
    Paolo Rocchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlling Language in Industry : Controlled Languages for Technical Documents - Stephen Crabbe
    Controlling Language in Industry
    Controlled Languages for Technical Documents
    Stephen Crabbe
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Russell's Philosophy of Logical Analysis, 1897-1905 : Philosophy and Religion (R0) - J. Galaugher
    Russell's Philosophy of Logical Analysis, 1897-1905
    Philosophy and Religion (R0)
    J. Galaugher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • String Analysis for Software Verification and Security : Computer Science (R0) - Tevfik Bultan
    String Analysis for Software Verification and Security
    Computer Science (R0)
    Tevfik Bultan, Fang Yu, Muath Alkhalaf and Abdulbaki Aydin
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Dependence Logic : Theory and Applications - Samson Abramsky
    Dependence Logic
    Theory and Applications
    Samson Abramsky, Juha Kontinen, Jouko Väänänen and Heribert Vollmer
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Practical MATLAB : With Modeling, Simulation, and Processing Projects - Irfan Turk
    Practical MATLAB
    With Modeling, Simulation, and Processing Projects
    Irfan Turk
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • MATLAB Deep Learning : With Machine Learning, Neural Networks and Artificial Intelligence - Phil Kim
    MATLAB Deep Learning
    With Machine Learning, Neural Networks and Arti...
    Phil Kim
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics - Fabio Mogavero
    Logics in Computer Science
    A Study on Extensions of Temporal and Strategic...
    Fabio Mogavero
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models of Strategic Reasoning : Logics, Games, and Communities - Johan van Benthem
    Models of Strategic Reasoning
    Logics, Games, and Communities
    Johan van Benthem, Sujata Ghosh and Rineke Verbrugge
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Bernd Finkbeiner
    Automated Technology for Verification and Analysis
    13th International Symposium, ATVA 2015, Shangh...
    Bernd Finkbeiner, Geguang Pu and Lijun Zhang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII : Computer Science (R0) - Abdelkader Hameurlain
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
    Computer Science (R0)
    Abdelkader Hameurlain, Josef Küng and Roland Wagner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings - Rosalie Iemhoff
    Logic, Language, Information, and Computation
    26th International Workshop, WoLLIC 2019, Utrec...
    Rosalie Iemhoff, Michael Moortgat and Ruy de Queiroz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Chinese Computing : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9-14, 2019, Proceedings, Part I - Jie Tang
    Natural Language Processing and Chinese Computing
    8th CCF International Conference, NLPCC 2019, D...
    Jie Tang, Min-Yen Kan, Dongyan Zhao, Sujian Li and Hongying Zan
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Data Integration in the Life Sciences : 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings - Sören Auer
    Data Integration in the Life Sciences
    13th International Conference, DILS 2018, Hanno...
    Sören Auer and Maria-Esther Vidal
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings - Alexandre Madeira
    Dynamic Logic. New Trends and Applications
    First International Workshop, DALI 2017, Brasil...
    Alexandre Madeira and Mário Benevides
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web: ESWC 2018 Satellite Events : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers - Aldo Gangemi
    The Semantic Web: ESWC 2018 Satellite Events
    ESWC 2018 Satellite Events, Heraklion, Crete, G...
    Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph and Mehwish Alam
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings - T.V. Gopal
    Theory and Applications of Models of Computation
    15th Annual Conference, TAMC 2019, Kitakyushu, ...
    T.V. Gopal and Junzo Watada
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings - Sergei Artemov
    Logical Foundations of Computer Science
    International Symposium, LFCS 2018, Deerfield B...
    Sergei Artemov and Anil Nerode
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings - Étienne André
    Formal Modeling and Analysis of Timed Systems
    17th International Conference, FORMATS 2019, Am...
    Étienne André and Mariëlle Stoelinga
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings - Roderick Bloem
    Hardware and Software: Verification and Testing
    12th International Haifa Verification Conferenc...
    Roderick Bloem and Eli Arbel
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3363 Results | View 24 / 100
< 1 ... 29 30 31 32 33 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