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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3306)
  • Books (6166)
  • Audiobooks (32)
  • eTextbooks (2973)

AVAILABILITY

  • All eBooks (3306)
  • New Releases (24)
  • Coming Soon (8)
  • Subscription eBooks (99)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (3306)
  • Books
    (6166)
  • Audiobooks
    (32)
  • Stationery
    (1)
3306 Results | View 24 / 100
< 1 2 3 4 5 6 7 8 ... 34 >
Sort By
Sort By:
  • An Introduction to the Language of Category Theory : Mathematics and Statistics (R0) - Steven Roman
    An Introduction to the Language of Category Theory
    Mathematics and Statistics (R0)
    Steven Roman
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Nonstandard Analysis for the Working Mathematician : Mathematics and Statistics (R0) - Author
    Nonstandard Analysis for the Working Mathematician
    Mathematics and Statistics (R0)
    Author
    eText
    Instant Online Reading*
    $149.01
    BUY EBOOK
  • Constraints Meet Concurrency : Mathematics and Statistics (R0) - Jacopo Mauro
    Constraints Meet Concurrency
    Mathematics and Statistics (R0)
    Jacopo Mauro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Analytic Function Theory of Several Variables : Elements of Oka's Coherence - Junjiro Noguchi
    Analytic Function Theory of Several Variables
    Elements of Oka's Coherence
    Junjiro Noguchi
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Product Lifecycle Management to Support Industry 4.0 : 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings - Author
    Product Lifecycle Management to Support Industry 4.0
    15th IFIP WG 5.1 International Conference, PLM ...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Leo Esakia on Duality in Modal and Intuitionistic Logics : Outstanding Contributions to Logic : Book 4 - Guram Bezhanishvili
    Leo Esakia on Duality in Modal and Intuitionistic Logics
    Outstanding Contributions to Logic : Book 4
    Guram Bezhanishvili
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Johan van Benthem on Logic and Information Dynamics : Outstanding Contributions to Logic : Book 5 - Alexandru Baltag
    Johan van Benthem on Logic and Information Dynamics
    Outstanding Contributions to Logic : Book 5
    Alexandru Baltag
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Bestseller Bargains
  • Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings - Patrick Blackburn
    Logic, Rationality, and Interaction
    7th International Workshop, LORI 2019, Chongqin...
    Patrick Blackburn, Emiliano Lorini and Meiyun Guo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings - Francesco Calimeri
    Practical Aspects of Declarative Languages
    20th International Symposium, PADL 2018, Los An...
    Francesco Calimeri, Kevin Hamlen and Nicola Leone
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Advances in Soft Computing : 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 - November 2, 2019, Proceedings - Lourdes Martínez-Villaseñor
    Advances in Soft Computing
    18th Mexican International Conference on Artifi...
    Lourdes Martínez-Villaseñor, Ildar Batyrshin and Antonio Marín-Hernández
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trends in Artificial Intelligence: PRICAI 2016 Workshops : PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, IWEC 2016, and RSAI 2016, Phuket, Thailand, August 22-23, 2016, Revised Selected Papers - Masayuki Numao
    Trends in Artificial Intelligence: PRICAI 2016 Workshops
    PeHealth 2016, I3A 2016, AIED 2016, AI4T 2016, ...
    Masayuki Numao, Thanaruk Theeramunkong, Thepchai Supnithi, Mahasak Ketcham and Patiyuth Pramkeaw
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Rationality, and Interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings - Alexandru Baltag
    Logic, Rationality, and Interaction
    6th International Workshop, LORI 2017, Sapporo,...
    Alexandru Baltag, Jeremy Seligman and Tomoyuki Yamada
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multi-Agent Systems and Agreement Technologies : 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers - Francesco Belardinelli
    Multi-Agent Systems and Agreement Technologies
    15th European Conference, EUMAS 2017, and 5th I...
    Francesco Belardinelli and Estefanía Argente
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings - Author
    Quantitative Evaluation of Systems
    15th International Conference, QEST 2018, Beiji...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings - Bernd Fischer
    Theoretical Aspects of Computing - ICTAC 2018
    15th International Colloquium, Stellenbosch, So...
    Bernd Fischer and Tarmo Uustalu
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings - Radu Calinescu
    Software Engineering and Formal Methods
    13th International Conference, SEFM 2015, York,...
    Radu Calinescu and Bernhard Rumpe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday - Maurice H. ter Beek
    From Software Engineering to Formal Methods and Tools, and Back
    Essays Dedicated to Stefania Gnesi on the Occas...
    Maurice H. ter Beek, Alessandro Fantechi and Laura Semini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web - ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part II - Chiara Ghidini
    The Semantic Web - ISWC 2019
    18th International Semantic Web Conference, Auc...
    Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojt?ch Svátek and Fabien Gandon
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Foundations of Information and Knowledge Systems : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings - Flavio Ferrarotti
    Foundations of Information and Knowledge Systems
    10th International Symposium, FoIKS 2018, Budap...
    Flavio Ferrarotti and Stefan Woltran
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Information Technology in Bio- and Medical Informatics : 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings - M. Elena Renda
    Information Technology in Bio- and Medical Informatics
    6th International Conference, ITBAM 2015, Valen...
    M. Elena Renda, Miroslav Bursa, Andreas Holzinger and Sami Khuri
    eBook
    Instant Digital Delivery
    RRP $64.99
    $58.99
    BUY EBOOK
  • Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings - Annette ten Teije
    Artificial Intelligence in Medicine
    16th Conference on Artificial Intelligence in M...
    Annette ten Teije, Christian Popow, John H. Holmes and Lucia Sacchi
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures - Ralf Lämmel
    Grand Timely Topics in Software Engineering
    International Summer School GTTSE 2015, Braga, ...
    Ralf Lämmel, Jácome Cunha, João P. Fernandes, Vadim Zaytsev and João Saraiva
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23-26, 2019, Proceedings - Author
    KI 2019: Advances in Artificial Intelligence
    42nd German Conference on AI, Kassel, Germany, ...
    Author
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • The Semantic Web - ISWC 2019 : 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I - Chiara Ghidini
    The Semantic Web - ISWC 2019
    18th International Semantic Web Conference, Auc...
    Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojt?ch Svátek and Fabien Gandon
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Soft Computing : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I - Félix Castro
    Advances in Soft Computing
    16th Mexican International Conference on Artifi...
    Félix Castro, Sabino Miranda-Jiménez and Miguel González-Mendoza
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Bor-Yuh Evan Chang
    Static Analysis
    26th International Symposium, SAS 2019, Porto, ...
    Bor-Yuh Evan Chang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Computational Intelligence : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II - Félix Castro
    Advances in Computational Intelligence
    16th Mexican International Conference on Artifi...
    Félix Castro, Sabino Miranda-Jiménez and Miguel González-Mendoza
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings - Jules Desharnais
    Relational and Algebraic Methods in Computer Science
    17th International Conference, RAMiCS 2018, Gro...
    Jules Desharnais, Walter Guttmann and Stef Joosten
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings - Floriana Esposito
    AI*IA 2017 Advances in Artificial Intelligence
    XVIth International Conference of the Italian A...
    Floriana Esposito, Roberto Basili, Stefano Ferilli and Francesca A. Lisi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures - Marco Bernardo
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    16th International School on Formal Methods for...
    Marco Bernardo, Rocco De Nicola and Jane Hillston
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mereology and the Sciences : Parts and Wholes in the Contemporary Scientific Context - Claudio Calosi
    Mereology and the Sciences
    Parts and Wholes in the Contemporary Scientific...
    Claudio Calosi and Pierluigi Graziani
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers - Tsuyoshi Murata
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2014 Workshops, LENLS, JURISIN, and G...
    Tsuyoshi Murata, Koji Mineshima and Daisuke Bekki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Health Information Science : 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings - Siuly Siuly
    Health Information Science
    6th International Conference, HIS 2017, Moscow,...
    Siuly Siuly, Zhisheng Huang, Uwe Aickelin, Rui Zhou and Stanislav Klimenko
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity - Thomas Zeume
    Small Dynamic Complexity Classes
    An Investigation into Dynamic Descriptive Compl...
    Thomas Zeume
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Statistical Language and Speech Processing : 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017, Proceedings - Nathalie Camelin
    Statistical Language and Speech Processing
    5th International Conference, SLSP 2017, Le Man...
    Nathalie Camelin, Yannick Estève and Carlos Martín-Vide
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Case-Based Reasoning Research and Development : 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings - Michael T. Cox
    Case-Based Reasoning Research and Development
    26th International Conference, ICCBR 2018, Stoc...
    Michael T. Cox, Peter Funk and Shahina Begum
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings - J. Christopher Beck
    Principles and Practice of Constraint Programming
    23rd International Conference, CP 2017, Melbour...
    J. Christopher Beck
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings - Marco Bozzano
    Model-Based Safety and Assessment
    5th International Symposium, IMBSA 2017, Trento...
    Marco Bozzano and Yiannis Papadopoulos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings - Brijesh Dongol
    Formal Methods Teaching
    Third International Workshop and Tutorial, FMTe...
    Brijesh Dongol, Luigia Petre and Graeme Smith
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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 and Alberto Lluch Lafuente
    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 - Author
    Concurrency, Security, and Puzzles
    Essays Dedicated to Andrew William Roscoe on th...
    Author
    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
  • 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*
    $109.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 - Author
    Theoretical Computer Science
    36th National Conference, NCTCS 2018, Shanghai,...
    Author
    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 - Author
    New Trends in Databases and Information Systems
    ADBIS 2019 Short Papers, Workshops BBIGAP, QAUC...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Philosophical Logic : Mathematics and Statistics (R0) - Roberto Ciuni
    Recent Trends in Philosophical Logic
    Mathematics and Statistics (R0)
    Roberto Ciuni, Heinrich Wansing and Caroline Willkommen
    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 : The Western Ontario Series in Philosophy of Science : Book 82 - John L. Bell
    The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
    The Western Ontario Series in Philosophy of Sci...
    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 - Author
    Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering
    AMINSE 2017, Tbilisi, Georgia, December 6-9
    Author
    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
  • Springer Handbook of Model-Based Science : Engineering (R0) - Lorenzo Magnani
    Springer Handbook of Model-Based Science
    Engineering (R0)
    Lorenzo Magnani
    eText
    Instant Online Reading*
    $519.00
    BUY EBOOK
  • Pell and Pell-Lucas Numbers with Applications - Thomas Koshy
    Pell and Pell-Lucas Numbers with Applications
    Thomas Koshy
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh
    Using Event-B for Critical Device Software Systems
    Neeraj Kumar Singh
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Type Systems for Distributed Programs : Components and Sessions - Ornela Dardha
    Type Systems for Distributed Programs
    Components and Sessions
    Ornela Dardha
    eText
    Instant Online Reading*
    $149.01
    BUY EBOOK
  • Set Theory : With an Introduction to Real Point Sets - Abhijit Dasgupta
    Set Theory
    With an Introduction to Real Point Sets
    Abhijit Dasgupta
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • On Characters of Finite Groups : Mathematics and Statistics (R0) - Michel Broué
    On Characters of Finite Groups
    Mathematics and Statistics (R0)
    Michel Broué
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016 - Hiroakira Ono
    Philosophical Logic: Current Trends in Asia
    Proceedings of AWPL-TPLC 2016
    Hiroakira Ono, Syraya Chin-Mu Yang and Kok Yong Lee
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks : Computer Science (R0) - Muhammad Usman
    Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
    Computer Science (R0)
    Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu and Surraya Khanum
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A Course on Basic Model Theory - Haimanti Sarbadhikari
    A Course on Basic Model Theory
    Haimanti Sarbadhikari and Shashi Mohan Srivastava
    eText
    Instant Online Reading*
    $89.99
    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*
    $129.00
    BUY EBOOK
  • On the Logos : A Naïve View on Ordinary Reasoning and Fuzzy Logic - Enric Trillas
    On the Logos
    A Naïve View on Ordinary Reasoning and Fuzzy Logic
    Enric Trillas
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • New Structures for Physics : Physics and Astronomy (R0) - Bob Coecke
    New Structures for Physics
    Physics and Astronomy (R0)
    Bob Coecke
    eBook
    Instant Digital Delivery
    RRP $219.00
    $197.99
    BUY EBOOK
  • Jaakko Hintikka on Knowledge and Game-Theoretical Semantics : Outstanding Contributions to Logic : Book 12 - Hans van Ditmarsch
    Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
    Outstanding Contributions to Logic : Book 12
    Hans van Ditmarsch and Gabriel Sandu
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Structures and Algorithms : Mathematics and the Nature of Knowledge - Jens Erik Fenstad
    Structures and Algorithms
    Mathematics and the Nature of Knowledge
    Jens Erik Fenstad
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings - Christoph Benzmüller
    Rules and Reasoning
    Second International Joint Conference, RuleML+R...
    Christoph Benzmüller, Francesco Ricca, Xavier Parent and Dumitru Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proof Theory : History and Philosophical Significance - Vincent F. Hendricks
    Proof Theory
    History and Philosophical Significance
    Vincent F. Hendricks, Stig Andur Pedersen and Klaus Frovin Jørgensen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings - Shuvendu K. Lahiri
    Automated Technology for Verification and Analysis
    16th International Symposium, ATVA 2018, Los An...
    Shuvendu K. Lahiri and Chao Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday - Tiziana Margaria
    Models, Mindsets, Meta: The What, the How, and the Why Not?
    Essays Dedicated to Bernhard Steffen on the Occ...
    Tiziana Margaria, Susanne Graf and Kim G. Larsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 15th International Conference, MDAI 2018, Mallorca, Spain, October 15-18, 2018, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    15th International Conference, MDAI 2018, Mallo...
    Vicenç Torra, Yasuo Narukawa, Isabel Aguiló and Manuel González-Hidalgo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings - Md. Aquil Khan
    Logic and Its Applications
    8th Indian Conference, ICLA 2019, Delhi, India,...
    Md. Aquil Khan and Amaldev Manuel
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Flexible Query Answering Systems : 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings - Alfredo Cuzzocrea
    Flexible Query Answering Systems
    13th International Conference, FQAS 2019, Amant...
    Alfredo Cuzzocrea, Sergio Greco, Henrik Legind Larsen, Domenico Saccà and Henning Christiansen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings - Ahmed Bouajjani
    Verification, Model Checking, and Abstract Interpretation
    18th International Conference, VMCAI 2017, Pari...
    Ahmed Bouajjani and David Monniaux
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings - Diana Cristea
    Formal Concept Analysis
    15th International Conference, ICFCA 2019, Fran...
    Diana Cristea, Florence Le Ber and Baris Sertkaya
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings - Atsushi Igarashi
    Programming Languages and Systems
    14th Asian Symposium, APLAS 2016, Hanoi, Vietna...
    Atsushi Igarashi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Web and Wireless Geographical Information Systems : 16th International Symposium, W2GIS 2018, A Coruna, Spain, May 21-22, 2018, Proceedings - Miguel R. Luaces
    Web and Wireless Geographical Information Systems
    16th International Symposium, W2GIS 2018, A Cor...
    Miguel R. Luaces and Farid Karimipour
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings - Pascal Fontaine
    Automated Deduction - CADE 27
    27th International Conference on Automated Dedu...
    Pascal Fontaine
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings - Andreas Herzig
    Frontiers of Combining Systems
    12th International Symposium, FroCoS 2019, Lond...
    Andreas Herzig and Andrei Popescu
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Language, Data, and Knowledge : First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings - Author
    Language, Data, and Knowledge
    First International Conference, LDK 2017, Galwa...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings - Jarkko Kari
    Unveiling Dynamics and Complexity
    13th Conference on Computability in Europe, CiE...
    Jarkko Kari, Florin Manea and Ion Petre
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings - Arnold Beckmann
    Pursuit of the Universal
    12th Conference on Computability in Europe, CiE...
    Arnold Beckmann, Laurent Bienvenu and Nataša Jonoska
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2016 Advances in Artificial Intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings - Giovanni Adorni
    AI*IA 2016 Advances in Artificial Intelligence
    XVth International Conference of the Italian As...
    Giovanni Adorni, Stefano Cagnoni, Marco Gori and Marco Maratea
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Information Systems : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings - Elisabeth Métais
    Natural Language Processing and Information Systems
    21st International Conference on Applications o...
    Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran and Sunil Vadera
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings - Author
    Developments in Language Theory
    22nd International Conference, DLT 2018, Tokyo,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3306 Results | View 24 / 100
< 1 2 3 4 5 6 7 8 ... 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