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 $79

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3433)
  • Books (5965)
  • Audiobooks (43)
  • eTextbooks (3042)

AVAILABILITY

  • All eBooks (3433)
  • New Releases (33)
  • Coming Soon (2)
  • Subscription eBooks (161)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3433)
  • Books
     (5965)
  • Audiobooks
     (43)
  • Audio CDs
     (3)
  • Stationery
     (2)
3433 Results | View 24 / 100
< 1 ... 30 31 32 33 34 35 >
Sort By
Sort By:
  • Computer Science - Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings - Pascal Weil
    Computer Science - Theory and Applications
    12th International Computer Science Symposium i...
    Pascal Weil
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers - Martín Abadi
    Trustworthy Global Computing
    8th International Symposium, TGC 2013, Buenos A...
    Martín Abadi and Alberto Lluch Lafuente
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2018 - Advances in Artificial Intelligence : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings - Chiara Ghidini
    AI*IA 2018 - Advances in Artificial Intelligence
    XVIIth International Conference of the Italian ...
    Chiara Ghidini, Bernardo Magnini, Andrea Passerini and Paolo Traverso
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Grammar : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers - Annie Foret
    Formal Grammar
    22nd International Conference, FG 2017, Toulous...
    Annie Foret, Reinhard Muskens and Sylvain Pogodalla
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings - Serena Villata
    PRIMA 2017: Principles and Practice of Multi-Agent Systems
    20th International Conference, Nice, France, Oc...
    Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre and Bo An
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday - Thomas Gibson-Robinson
    Concurrency, Security, and Puzzles
    Essays Dedicated to Andrew William Roscoe on th...
    Thomas Gibson-Robinson, Philippa Hopcroft and Ranko Lazi?
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers - Mihoko Otake
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, ...
    Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh and Daisuke Bekki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hot Pre-Orders
  • On the Move to Meaningful Internet Systems. OTM 2018 Conferences : Confederated International Conferences: CoopIS, C &TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II - Hervé Panetto
    On the Move to Meaningful Internet Systems. OTM 2018 Conferences
    Confederated International Conferences: CoopIS,...
    Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna and Robert Meersman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers - Zhenhua Duan
    Structured Object-Oriented Formal Language and Method
    Third International Workshop, SOFL+MSVL 2013, Q...
    Zhenhua Duan and Shaoying Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Search, Integration, and Personalization : 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14-15, 2018, Revised Selected Papers - Dimitris Kotzinos
    Information Search, Integration, and Personalization
    12th International Workshop, ISIP 2018, Fukuoka...
    Dimitris Kotzinos, Dominique Laurent, Nicolas Spyratos, Yuzuru Tanaka and Rin-ichiro Taniguchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications - Gerard O'Regan
    Concise Guide to Formal Methods
    Theory, Fundamentals and Industry Applications
    Gerard O'Regan
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification, and Validation : 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers - Anna-Lena Lamprecht
    Leveraging Applications of Formal Methods, Verification, and Validation
    6th International Symposium, ISoLA 2014, Corfu,...
    Anna-Lena Lamprecht
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • VLSI Design and Test : 23rd International Symposium, VDAT 2019, Indore, India, July 4-6, 2019, Revised Selected Papers - Anirban Sengupta
    VLSI Design and Test
    23rd International Symposium, VDAT 2019, Indore...
    Anirban Sengupta, Sudeb Dasgupta, Virendra Singh, Rohit Sharma and Santosh Kumar Vishvakarma
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Theoretical Computer Science : 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings - Lian Li
    Theoretical Computer Science
    36th National Conference, NCTCS 2018, Shanghai,...
    Lian Li, Pinyan Lu and Kun He
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial Intelligence : 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21-25, 2019, Proceedings - Sergei O. Kuznetsov
    Artificial Intelligence
    17th Russian Conference, RCAI 2019, Ulyanovsk, ...
    Sergei O. Kuznetsov and Aleksandr I. Panov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Trends in Databases and Information Systems : ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8-11, 2019, Proceedings - Tatjana Welzer
    New Trends in Databases and Information Systems
    ADBIS 2019 Short Papers, Workshops BBIGAP, QAUC...
    Tatjana Welzer, Johann Eder, Vili Podgorelec, Robert Wrembel and Aida Kamišali? Latifi?
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Philosophical Logic : Mathematics and Statistics (R0) - Author
    Recent Trends in Philosophical Logic
    Mathematics and Statistics (R0)
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations - Maria Luisa Dalla Chiara
    Quantum Computation and Logic
    How Quantum Computers Have Inspired Logical Inv...
    Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini and Giuseppe Sergioli
    eText
    Instant Online Reading*
    $199.00
    BUY EBOOK
  • The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics : Philosophy and Religion (R0) - John L. Bell
    The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
    Philosophy and Religion (R0)
    John L. Bell
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Theoretical Computer Science : 37th National Conference, NCTCS 2019, Lanzhou, China, August 2-4, 2019, Revised Selected Papers - Xiaoming Sun
    Theoretical Computer Science
    37th National Conference, NCTCS 2019, Lanzhou, ...
    Xiaoming Sun, Kun He and Xiaoyun Chen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding : Third China Conference, CCKS 2018, Tianjin, China, August 14-17, 2018, Revised Selected Papers - Jun Zhao
    Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding
    Third China Conference, CCKS 2018, Tianjin, Chi...
    Jun Zhao, Frank van Harmelen, Jie Tang, Xianpei Han and Xianyong Li
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • An Invitation to General Algebra and Universal Constructions : Mathematics and Statistics (R0) - George M. Bergman
    An Invitation to General Algebra and Universal Constructions
    Mathematics and Statistics (R0)
    George M. Bergman
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • New Directions in Paraconsistent Logic : 5th WCP, Kolkata, India, February 2014 - Mihir Chakraborty
    New Directions in Paraconsistent Logic
    5th WCP, Kolkata, India, February 2014
    Mihir Chakraborty, Jean-Yves Beziau and Soma Dutta
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington's Principle - Yong Cheng
    Incompleteness for Higher-Order Arithmetic
    An Example Based on Harrington's Principle
    Yong Cheng
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering : AMINSE 2017, Tbilisi, Georgia, December 6-9 - George Jaiani
    Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering
    AMINSE 2017, Tbilisi, Georgia, December 6-9
    George Jaiani and David Natroshvili
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Intangible Life : Functorial Connections in Relational Biology - A.H. Louie
    Intangible Life
    Functorial Connections in Relational Biology
    A.H. Louie
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Congruences of a Finite Lattice : A
    The Congruences of a Finite Lattice
    A "Proof-by-Picture" Approach
    George Grätzer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proof Technology in Mathematics Research and Teaching : Education (R0) - Gila Hanna
    Proof Technology in Mathematics Research and Teaching
    Education (R0)
    Gila Hanna, David A. Reid and Michael de Villiers
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • The Mathematics of Paul Erdős II : Mathematics and Statistics (R0) - Jaroslav Nešet?il
    The Mathematics of Paul Erdős II
    Mathematics and Statistics (R0)
    Jaroslav Nešet?il, Steve Butler and Ronald L. Graham
    eText
    Instant Online Reading*
    $379.01
    BUY EBOOK
  • Commutative Algebra : Recent Advances in Commutative Rings, Integer-Valued Polynomials, and Polynomial Functions - Marco Fontana
    Commutative Algebra
    Recent Advances in Commutative Rings, Integer-V...
    Marco Fontana, Sophie Frisch and Sarah Glaz
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Recent Progress in General Topology III - K.P. Hart
    Recent Progress in General Topology III
    K.P. Hart, J. van Mill and P. Simon
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Conformal Field Theories and Tensor Categories : Proceedings of a Workshop Held at Beijing International Center for Mathematical Research - Chengming Bai
    Conformal Field Theories and Tensor Categories
    Proceedings of a Workshop Held at Beijing Inter...
    Chengming Bai, Jürgen Fuchs, Yi-Zhi Huang, Liang Kong and Christoph Schweigert
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Theory of Graded Consequence : A General Framework for Logics of Uncertainty - Mihir Kumar Chakraborty
    Theory of Graded Consequence
    A General Framework for Logics of Uncertainty
    Mihir Kumar Chakraborty and Soma Dutta
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proof Theory and Algebra in Logic : Philosophy and Religion (R0) - Hiroakira Ono
    Proof Theory and Algebra in Logic
    Philosophy and Religion (R0)
    Hiroakira Ono
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Rohit Parikh on Logic, Language and Society : Philosophy and Religion (R0) - Can Ba?kent
    Rohit Parikh on Logic, Language and Society
    Philosophy and Religion (R0)
    Can Ba?kent, Lawrence S. Moss and Ramaswamy Ramanujam
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Martin Davis on Computability, Computational Logic, and Mathematical Foundations : Philosophy and Religion (R0) - Eugenio G. Omodeo
    Martin Davis on Computability, Computational Logic, and Mathematical Foundations
    Philosophy and Religion (R0)
    Eugenio G. Omodeo
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Hybrid Metaheuristics : 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings - Maria J. Blesa
    Hybrid Metaheuristics
    10th International Workshop, HM 2016, Plymouth,...
    Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello and Alessandro Di Nuovo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XX : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XX
    Computer Science (R0)
    James F. Peters and Andrzej Skowron
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings - Augusto Sampaio
    Theoretical Aspects of Computing - ICTAC 2016
    13th International Colloquium, Taipei, Taiwan, ...
    Augusto Sampaio and Farn Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers - Phillip James
    Recent Trends in Algebraic Development Techniques
    23rd IFIP WG 1.3 International Workshop, WADT 2...
    Phillip James and Markus Roggenbach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings - Piotrek Hofman
    Developments in Language Theory
    23rd International Conference, DLT 2019, Warsaw...
    Piotrek Hofman and Micha? Skrzypczak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers - Yukiko Nakano
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI,...
    Yukiko Nakano, Ken Satoh and Daisuke Bekki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings - Simon Collart-Dutilleul
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    Third International Conference, RSSRail 2019, L...
    Simon Collart-Dutilleul, Thierry Lecomte and Alexander Romanovsky
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Bart Jacobs
    Foundations of Software Science and Computation Structures
    19th International Conference, FOSSACS 2016, He...
    Bart Jacobs and Christof Löding
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings - Fernando Castor
    Programming Languages
    20th Brazilian Symposium, SBLP 2016, Maringa, B...
    Fernando Castor and Yu David Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - María del Mar Gallardo
    Model Checking Software
    25th International Symposium, SPIN 2018, Malaga...
    María del Mar Gallardo and Pedro Merino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings - Michal Hospodár
    Descriptional Complexity of Formal Systems
    21st IFIP WG 1.02 International Conference, DCF...
    Michal Hospodár, Galina Jirásková and Stavros Konstantinidis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trusted Systems : 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers - Moti Yung
    Trusted Systems
    7th International Conference, INTRUST 2015, Bei...
    Moti Yung, Jianbiao Zhang and Zhen Yang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Erika Ábrahám
    Theory and Practice of Formal Methods
    Essays Dedicated to Frank de Boer on the Occasi...
    Erika Ábrahám, Marcello Bonsangue and Einar Broch Johnsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantic Technology : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers - Guilin Qi
    Semantic Technology
    5th Joint International Conference, JIST 2015, ...
    Guilin Qi, Kouji Kozaki, Jeff Z. Pan and Siwei Yu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - John Fitzgerald
    FM 2016: Formal Methods
    21st International Symposium, Limassol, Cyprus,...
    John Fitzgerald, Constance Heitmeyer, Stefania Gnesi and Anna Philippou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings - Kazuhiro Ogata
    Formal Methods and Software Engineering
    18th International Conference on Formal Enginee...
    Kazuhiro Ogata, Mark Lawford and Shaoying Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings - Bill Roscoe
    Formal Methods: Foundations and Applications
    18th Brazilian Symposium, SBMF 2015, Belo Horiz...
    Bill Roscoe and Márcio Cornélio
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Marsha Chechik
    Tools and Algorithms for the Construction and Analysis of Systems
    22nd International Conference, TACAS 2016, Held...
    Marsha Chechik and Jean-François Raskin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers - Francisco Botana
    Automated Deduction in Geometry
    10th International Workshop, ADG 2014, Coimbra,...
    Francisco Botana and Pedro Quaresma
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings - Laure Petrucci
    Critical Systems: Formal Methods and Automated Verification
    Joint 22nd International Workshop on Formal Met...
    Laure Petrucci, Ana Cavalcanti and Cristina Seceleanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Pattern Recognition : 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10-13, 2019, Proceedings - Gernot A. Fink
    Pattern Recognition
    41st DAGM German Conference, DAGM GCPR 2019, Do...
    Gernot A. Fink, Simone Frintrop and Xiaoyi Jiang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Intelligence Methods for Bioinformatics and Biostatistics : 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers - Massimo Bartoletti
    Computational Intelligence Methods for Bioinformatics and Biostatistics
    14th International Meeting, CIBB 2017, Cagliari...
    Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau and Roberto Tagliaferri
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers - Jaap van den Herik
    Agents and Artificial Intelligence
    9th International Conference, ICAART 2017, Port...
    Jaap van den Herik, Ana Paula Rocha and Joaquim Filipe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Author
    Fundamental Approaches to Software Engineering
    19th International Conference, FASE 2016, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings - Yvo Desmedt
    Information Security
    16th International Conference, ISC 2013, Dallas...
    Yvo Desmedt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings - Author
    Rule Technologies. Research, Tools, and Applications
    10th International Symposium, RuleML 2016, Ston...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers - Marija Slavkovik
    Multi-Agent Systems
    16th European Conference, EUMAS 2018, Bergen, N...
    Marija Slavkovik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings - Stephan Merz
    Interactive Theorem Proving
    7th International Conference, ITP 2016, Nancy, ...
    Stephan Merz and Jasmin Christian Blanchette
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XVIII : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XVIII
    Computer Science (R0)
    James F. Peters, Andrzej Skowron, Tianrui Li, Yan Yang and Hung Son Nguyen
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday - Arend Rensink
    ModelEd, TestEd, TrustEd
    Essays Dedicated to Ed Brinksma on the Occasion...
    Arend Rensink, Joost-Pieter Katoen and Rom Langerak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Moreno Falaschi
    Logic-Based Program Synthesis and Transformation
    25th International Symposium, LOPSTR 2015, Sien...
    Moreno Falaschi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Essays on Frege : Between Science and Literature - Gisela Bengtsson
    New Essays on Frege
    Between Science and Literature
    Gisela Bengtsson, Simo Säätelä and Alois Pichler
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings - Sanjai Rayadurgam
    NASA Formal Methods
    8th International Symposium, NFM 2016, Minneapo...
    Sanjai Rayadurgam and Oksana Tkachuk
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Computer Science - Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings - Alexander S. Kulikov
    Computer Science - Theory and Applications
    11th International Computer Science Symposium i...
    Alexander S. Kulikov and Gerhard J. Woeginger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I - Daniel Kroening
    Computer Aided Verification
    27th International Conference, CAV 2015, San Fr...
    Daniel Kroening and Corina S. P?s?reanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II - Daniel Kroening
    Computer Aided Verification
    27th International Conference, CAV 2015, San Fr...
    Daniel Kroening and Corina S. P?s?reanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Web Reasoning and Rule Systems : 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings - Magdalena Ortiz
    Web Reasoning and Rule Systems
    10th International Conference, RR 2016, Aberdee...
    Magdalena Ortiz and Stefan Schlobach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web : 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018, Proceedings - Author
    The Semantic Web
    15th International Conference, ESWC 2018, Herak...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Web Logic Rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. - Wolfgang Faber
    Reasoning Web. Web Logic Rules
    11th International Summer School 2015, Berlin, ...
    Wolfgang Faber and Adrian Paschke
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Text, Speech, and Dialogue : 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11-13, 2019, Proceedings - Kamil Ekštein
    Text, Speech, and Dialogue
    22nd International Conference, TSD 2019, Ljublj...
    Kamil Ekštein
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings - Michel Rueher
    Principles and Practice of Constraint Programming
    22nd International Conference, CP 2016, Toulous...
    Michel Rueher
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings - Matthew Hague
    Reachability Problems
    11th International Workshop, RP 2017, London, U...
    Matthew Hague and Igor Potapov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings - Author
    FME 2003: Formal Methods
    International Symposium of Formal Methods Europ...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers - Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    5th International Workshop, SOFL+MSVL 2015, Par...
    Shaoying Liu and Zhenhua Duan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings - David Parker
    Quantitative Evaluation of Systems
    16th International Conference, QEST 2019, Glasg...
    David Parker and Verena Wolf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings - Amund Skavhaug
    Computer Safety, Reliability, and Security
    SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR...
    Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch and Friedemann Bitsch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings - Maurice H. ter Beek
    Critical Systems: Formal Methods and Automated Verification
    Joint 21st International Workshop on Formal Met...
    Maurice H. ter Beek, Stefania Gnesi and Alexander Knapp
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers - Fred Mesnard
    Logic-Based Program Synthesis and Transformation
    28th International Symposium, LOPSTR 2018, Fran...
    Fred Mesnard and Peter J. Stuckey
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 16th International Conference, MDAI 2019, Milan, Italy, September 4-6, 2019, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    16th International Conference, MDAI 2019, Milan...
    Vicenç Torra, Yasuo Narukawa, Gabriella Pasi and Marco Viviani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday - Sam Lindley
    A List of Successes That Can Change the World
    Essays Dedicated to Philip Wadler on the Occasi...
    Sam Lindley, Conor McBride, Phil Trinder and Don Sannella
    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
  • Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Godel's Theorems - Roman Murawski
    Recursive Functions and Metamathematics
    Problems of Completeness and Decidability, Gode...
    Roman Murawski
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • What is Fundamental? : Physics and Astronomy (R0) - Anthony Aguirre
    What is Fundamental?
    Physics and Astronomy (R0)
    Anthony Aguirre, Brendan Foster and Zeeya Merali
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics - Jan von Plato
    Saved from the Cellar
    Gerhard Gentzen's Shorthand Notes on Logic and ...
    Jan von Plato
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Descriptor Revision : Belief Change through Direct Choice - Sven Ove Hansson
    Descriptor Revision
    Belief Change through Direct Choice
    Sven Ove Hansson
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Contextualism, Factivity and Closure : A Union That Should Not Take Place? - Stefano Leardi
    Contextualism, Factivity and Closure
    A Union That Should Not Take Place?
    Stefano Leardi and Nicla Vassallo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concise Computer Mathematics : Tutorials on Theory and Problems - Ovidiu Bagdasar
    Concise Computer Mathematics
    Tutorials on Theory and Problems
    Ovidiu Bagdasar
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Models and Inferences in Science : Philosophy and Religion (R0) - Emiliano Ippoliti
    Models and Inferences in Science
    Philosophy and Religion (R0)
    Emiliano Ippoliti, Fabio Sterpetti and Tom Nickles
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Where is the Godel-point hiding : Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals - Anna Horská
    Where is the Godel-point hiding
    Gentzen's Consistency Proof of 1936 and His Rep...
    Anna Horská
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Advances in Natural Deduction : A Celebration of Dag Prawitz's Work - Luiz Carlos Pereira
    Advances in Natural Deduction
    A Celebration of Dag Prawitz's Work
    Luiz Carlos Pereira, Valeria de Paiva and Edward Haeusler
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
3433 Results | View 24 / 100
< 1 ... 30 31 32 33 34 35 >
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