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

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

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

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

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

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

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

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling
      • Popular Subjects

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

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

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling
      • Subjects

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

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

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

      Browse Kids & YA

    • New Releases
    • Bestselling
      • Popular Subjects

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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3284)
  • Books (6036)
  • Audiobooks (30)
  • eTextbooks (2963)

AVAILABILITY

  • All eBooks (3284)
  • New Releases (22)
  • Coming Soon (5)
  • Subscription eBooks (101)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (3284)
  • Books
    (6036)
  • Audiobooks
    (30)
  • Stationery
    (1)
3284 Results | View 24 / 100
< 1 ... 19 20 21 22 23 ... 33 >
Sort By
Sort By:
  • Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers - Madalina Croitoru
    Graph Structures for Knowledge Representation and Reasoning
    4th International Workshop, GKR 2015, Buenos Ai...
    Madalina Croitoru, Pierre Marquis, Sebastian Rudolph and Gem Stapleton
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fuzzy Logic and Applications : 12th International Workshop, WILF 2018, Genoa, Italy, September 6-7, 2018, Revised Selected Papers - Robert Fullér
    Fuzzy Logic and Applications
    12th International Workshop, WILF 2018, Genoa, ...
    Robert Fullér, Silvio Giove and Francesco Masulli
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings - Michael Kohlhase
    Intelligent Computer Mathematics
    9th International Conference, CICM 2016, Bialys...
    Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura and Frank Tompa
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II - Swarat Chaudhuri
    Computer Aided Verification
    28th International Conference, CAV 2016, Toront...
    Swarat Chaudhuri and Azadeh Farzan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings - Josep Carmona
    Business Process Management
    15th International Conference, BPM 2017, Barcel...
    Josep Carmona, Gregor Engels and Akhil Kumar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Explainable Artificial Intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures - Markus Krötzsch
    Reasoning Web. Explainable Artificial Intelligence
    15th International Summer School 2019, Bolzano,...
    Markus Krötzsch and Daria Stepanova
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers - Christiano Braga
    Formal Aspects of Component Software
    12th International Conference, FACS 2015, Niter...
    Christiano Braga and Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Bestseller Bargains
  • Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings - Author
    Mathematics of Program Construction
    13th International Conference, MPC 2019, Porto,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings - Author
    Diagrammatic Representation and Inference
    10th International Conference, Diagrams 2018, E...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Inductive Logic Programming : 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017, Revised Selected Papers - Nicolas Lachiche
    Inductive Logic Programming
    27th International Conference, ILP 2017, Orlean...
    Nicolas Lachiche and Christel Vrain
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers - Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    4th International Workshop, SOFL+MSVL 2014, Lux...
    Shaoying Liu and Zhenhua Duan
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings - Rocco De Nicola
    Software Engineering and Formal Methods
    14th International Conference, SEFM 2016, Held ...
    Rocco De Nicola and Eva Kühn
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings - Kyungmin Bae
    Formal Aspects of Component Software
    15th International Conference, FACS 2018, Pohan...
    Kyungmin Bae and Peter Csaba Ölveczky
    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 II - 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
  • Multi-Agent Systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers - Author
    Multi-Agent Systems
    12th European Conference, EUMAS 2014, Prague, C...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings - David N. Jansen
    Formal Modeling and Analysis of Timed Systems
    16th International Conference, FORMATS 2018, Be...
    David N. Jansen and Pavithra Prabhakar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings - Stefania Costantini
    Rules and Reasoning
    International Joint Conference, RuleML+RR 2017,...
    Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov and Dumitru Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings - Robert Mark Hierons
    Theoretical Aspects of Computing - ICTAC 2019
    16th International Colloquium, Hammamet, Tunisi...
    Robert Mark Hierons and Mohamed Mosbah
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Maurizio Proietti
    Logic-Based Program Synthesis and Transformation
    24th International Symposium, LOPSTR 2014, Cant...
    Maurizio Proietti and Hirohisa Seki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings - João Silva
    Computational Processing of the Portuguese Language
    12th International Conference, PROPOR 2016, Tom...
    João Silva, Ricardo Ribeiro, Paulo Quaresma, André Adami and António Branco
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - Marco Bernardo
    Formal Methods for Multicore Programming
    15th International School on Formal Methods for...
    Marco Bernardo and Einar Broch Johnsen
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings - Annie Foret
    Formal Grammar
    20th and 21st International Conferences, FG 201...
    Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald and Sylvain Pogodalla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Complexity - Micha? Skrzypczak
    Descriptive Set Theoretic Methods in Automata Theory
    Decidability and Topological Complexity
    Micha? Skrzypczak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings - Rahul Jain
    Theory and Applications of Models of Computation
    12th Annual Conference, TAMC 2015, Singapore, M...
    Rahul Jain, Sanjay Jain and Frank Stephan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human Language Technology. Challenges for Computer Science and Linguistics : 7th Language and Technology Conference, LTC 2015, Pozna?, Poland, November 27-29, 2015, Revised Selected Papers - Zygmunt Vetulani
    Human Language Technology. Challenges for Computer Science and Linguistics
    7th Language and Technology Conference, LTC 201...
    Zygmunt Vetulani, Joseph Mariani and Marek Kubis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings - Bernhard K. Aichernig
    Tests and Proofs
    10th International Conference, TAP 2016, Held a...
    Bernhard K. Aichernig and Carlo A. Furia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers - Author
    Perspectives of System Informatics
    10th International Andrei Ershov Informatics Co...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers - Ralf Hinze
    Implementation and Application of Functional Languages
    24th International Symposium, IFL 2012, Oxford,...
    Ralf Hinze
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Logic, Language, and Computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers - Author
    Logic, Language, and Computation
    10th International Tbilisi Symposium on Logic, ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers - Author
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-B...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings - Author
    Static Analysis
    23rd International Symposium, SAS 2016, Edinbur...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers - Author
    Graph Structures for Knowledge Representation and Reasoning
    5th International Workshop, GKR 2017, Melbourne...
    Author
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Trustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers - Author
    Trustworthy Global Computing
    10th International Symposium, TGC 2015 Madrid, ...
    Author
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab - Author
    It's All About Coordination
    Essays to Celebrate the Lifelong Scientific Ach...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantic Keyword-Based Search on Structured Data Sources : COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers - Author
    Semantic Keyword-Based Search on Structured Data Sources
    COST Action IC1302 Second International KEYSTON...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Digital Libraries: Data, Information, and Knowledge for Digital Lives : 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings - Sally Jo Cunningham
    Digital Libraries: Data, Information, and Knowledge for Digital Lives
    19th International Conference on Asia-Pacific D...
    Sally Jo Cunningham, Fabio Crestani and Songphan Choemprayong
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Dragan Bošna?ki
    Model Checking Software
    23rd International Symposium, SPIN 2016, Co-loc...
    Dragan Bošna?ki and Anton Wijs
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unconventional Computation and Natural Computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings - Martyn Amos
    Unconventional Computation and Natural Computation
    15th International Conference, UCNC 2016, Manch...
    Martyn Amos and Anne Condon
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support : Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings - Kenji Suzuki
    Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support
    Second International Workshop, iMIMIC 2019, and...
    Kenji Suzuki, Mauricio Reyes, Tanveer Syeda-Mahmood, Ender Konukoglu and Anant Madabhushi
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings - Author
    Automated Deduction - CADE 26
    26th International Conference on Automated Dedu...
    Author
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings - Carlo A. Furia
    Integrated Formal Methods
    14th International Conference, IFM 2018, Maynoo...
    Carlo A. Furia and Kirsten Winter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings - Author
    Logic, Language, Information, and Computation
    24th International Workshop, WoLLIC 2017, Londo...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers - Author
    Logic-Based Program Synthesis and Transformation
    26th International Symposium, LOPSTR 2016, Edin...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational Topology : Lecture Notes in Mathematics : Book 2208 - Gunther Schmidt
    Relational Topology
    Lecture Notes in Mathematics : Book 2208
    Gunther Schmidt and Michael Winter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Operads of Wiring Diagrams : Lecture Notes in Mathematics : Book 2192 - Donald Yau
    Operads of Wiring Diagrams
    Lecture Notes in Mathematics : Book 2192
    Donald Yau
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mordell-Weil Lattices : Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics : Book 70 - Matthias Schütt
    Mordell-Weil Lattices
    Ergebnisse der Mathematik und ihrer Grenzgebiet...
    Matthias Schütt and Tetsuji Shioda
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Automated Theorem Proving in Software Engineering - Johann M. Schumann
    Automated Theorem Proving in Software Engineering
    Johann M. Schumann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Representation Theory, Number Theory, and Invariant Theory : In Honor of Roger Howe on the Occasion of His 70th Birthday - Author
    Representation Theory, Number Theory, and Invariant Theory
    In Honor of Roger Howe on the Occasion of His 7...
    Author
    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
  • Intuitionistic Fuzzy Logics : Engineering (R0) - Krassimir T. Atanassov
    Intuitionistic Fuzzy Logics
    Engineering (R0)
    Krassimir T. Atanassov
    eText
    Instant Online Reading*
    $159.01
    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
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Formal Languages and Compilation : Texts in Computer Science - Stefano Crespi Reghizzi
    Formal Languages and Compilation
    Texts in Computer Science
    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
  • Interoperability and Open-Source Solutions for the Internet of Things : Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers - Author
    Interoperability and Open-Source Solutions for the Internet of Things
    Second International Workshop, InterOSS-IoT 201...
    Author
    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 - Author
    Knowledge Engineering and Knowledge Management
    EKAW 2016 Satellite Events, EKM and Drift-an-LO...
    Author
    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 - Author
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held...
    Author
    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 : Logic, Epistemology, and the Unity of Science : Book 30 - Author
    The Argument of Mathematics
    Logic, Epistemology, and the Unity of Science :...
    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.99
    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 - Author
    Language, Logic, and Computation
    12th International Tbilisi Symposium, TbiLLC 20...
    Author
    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 - Author
    Rewriting Logic and Its Applications
    10th International Workshop, WRLA 2014, Held as...
    Author
    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
    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
  • Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry - Thomas Macaulay Ferguson
    Meaning and Proscription in Formal Logic
    Variations on the Propositional Logic of Willia...
    Thomas Macaulay Ferguson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Methods in General Rough Sets : Trends in Mathematics - A. Mani
    Algebraic Methods in General Rough Sets
    Trends in Mathematics
    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 : Studies in Universal Logic - Ángel Garrido
    The Lvov-Warsaw School. Past and Present
    Studies in Universal Logic
    Ángel Garrido
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Foundations of Commutative Rings and Their Modules : Algebra and Applications : Book 22 - Fanggui Wang
    Foundations of Commutative Rings and Their Modules
    Algebra and Applications : Book 22
    Fanggui Wang and Hwankoo Kim
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Directed Algebraic Topology and Concurrency - Lisbeth Fajstrup
    Directed Algebraic Topology and Concurrency
    Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram and Martin Raussen
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Mathematical Concepts - Jürgen Jost
    Mathematical Concepts
    Jürgen Jost
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Inductive Fuzzy Classification in Marketing Analytics : Fuzzy Management Methods - Michael Kaufmann
    Inductive Fuzzy Classification in Marketing Analytics
    Fuzzy Management Methods
    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 - Hans van Ditmarsch
    One Hundred Prisoners and a Light Bulb
    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 : History of Analytic Philosophy - J. Galaugher
    Russell's Philosophy of Logical Analysis, 1897-1905
    History of Analytic Philosophy
    J. Galaugher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3284 Results | View 24 / 100
< 1 ... 19 20 21 22 23 ... 33 >
Sort By
Sort By:

Join Our Newsletter

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

Help Centre

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

Shipping

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

About Booktopia

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

Bestsellers

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

Popular Brands

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

Popular Series

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

Popular Authors

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

Popular Subjects

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

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