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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3444)
  • Books (6316)
  • Audiobooks (44)
  • eTextbooks (3045)

AVAILABILITY

  • All eBooks (3444)
  • New Releases (31)
  • Coming Soon (2)
  • Subscription eBooks (161)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3444)
  • Books
     (6316)
  • Audiobooks
     (44)
  • Audio CDs
     (3)
3444 Results | View 24 / 100
< 1 ... 29 30 31 32 33 ... 35 >
Sort By
Sort By:
  • Hermann Gunther Graßmann (1809-1877) : Visionary Mathematician, Scientist and Neohumanist Scholar - Gert Schubring
    Hermann Gunther Graßmann (1809-1877)
    Visionary Mathematician, Scientist and Neohuman...
    Gert Schubring
    eBook
    Instant Digital Delivery
    RRP $319.00
    $287.09
    BUY EBOOK
  • Provably Correct Systems : Computer Science (R0) - Mike Hinchey
    Provably Correct Systems
    Computer Science (R0)
    Mike Hinchey, Jonathan P. Bowen and Ernst-Rüdiger Olderog
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Industrial Deployment of System Engineering Methods : Computer Science (R0) - Alexander Romanovsky
    Industrial Deployment of System Engineering Methods
    Computer Science (R0)
    Alexander Romanovsky and Martyn Thomas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Refinement in Z and Object-Z : Foundations and Advanced Applications - John Derrick
    Refinement in Z and Object-Z
    Foundations and Advanced Applications
    John Derrick and Eerke A. Boiten
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Basic Real Analysis : Mathematics and Statistics (R0) - Houshang H. Sohrab
    Basic Real Analysis
    Mathematics and Statistics (R0)
    Houshang H. Sohrab
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • J. Michael Dunn on Information Based Logics : Philosophy and Religion (R0) - Katalin Bimbo
    J. Michael Dunn on Information Based Logics
    Philosophy and Religion (R0)
    Katalin Bimbo
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Rethinking Logic : Logic in Relation to Mathematics, Evolution, and Method - Carlo Cellucci
    Rethinking Logic
    Logic in Relation to Mathematics, Evolution, an...
    Carlo Cellucci
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Afterpay
  • Ewa Orłowska on Relational Methods in Logic and Computer Science : Philosophy and Religion (R0) - Joanna Goli?ska-Pilarek
    Ewa Orłowska on Relational Methods in Logic and Computer Science
    Philosophy and Religion (R0)
    Joanna Goli?ska-Pilarek and Micha? Zawidzki
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Mathematical Logic : On Numbers, Sets, Structures, and Symmetry - Roman Kossak
    Mathematical Logic
    On Numbers, Sets, Structures, and Symmetry
    Roman Kossak
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Feferman on Foundations : Logic, Mathematics, Philosophy - Gerhard Jäger
    Feferman on Foundations
    Logic, Mathematics, Philosophy
    Gerhard Jäger and Wilfried Sieg
    eText
    Instant Online Reading*
    $329.00
    BUY EBOOK
  • Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings - Catherine Dubois
    Tests and Proofs
    12th International Conference, TAP 2018, Held a...
    Catherine Dubois and Burkhart Wolff
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Alessandro Abate
    Formal Modeling and Analysis of Timed Systems
    15th International Conference, FORMATS 2017, Be...
    Alessandro Abate and Gilles Geeraerts
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015. Proceedings - Author
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    13th European Conference, ECSQARU 2015, Compieg...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XIX : Computer Science (R0) - James F. Peters
    Transactions on Rough Sets XIX
    Computer Science (R0)
    James F. Peters, Andrzej Skowron, Dominik ?l?zak, Hung Son Nguyen and Jan G. Bazan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings - Francesco Ranzato
    Static Analysis
    24th International Symposium, SAS 2017, New Yor...
    Francesco Ranzato
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithmic Aspects of Cloud Computing : First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers - Ioannis Karydis
    Algorithmic Aspects of Cloud Computing
    First International Workshop, ALGOCLOUD 2015, P...
    Ioannis Karydis, Spyros Sioutas, Peter Triantafillou and Dimitrios Tsoumakos
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings - Adrian-Horia Dediu
    Language and Automata Theory and Applications
    10th International Conference, LATA 2016, Pragu...
    Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide and Jan Janoušek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Michael Butler
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    5th International Conference, ABZ 2016, Linz, A...
    Michael Butler, Miklos Biro, Klaus-Dieter Schewe and Atif Mashkoor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reachability Problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings - Igor Potapov
    Reachability Problems
    10th International Workshop, RP 2016, Aalborg, ...
    Igor Potapov, Ji?í Srba and Kim Guldstrand Larsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantic Technology : 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings - Zhe Wang
    Semantic Technology
    7th Joint International Conference, JIST 2017, ...
    Zhe Wang, Anni-Yasmin Turhan, Kewen Wang and Xiaowang Zhang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings - Leen Lambers
    Graph Transformation
    11th International Conference, ICGT 2018, Held ...
    Leen Lambers and Jens Weber
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers - Marcello M. Bonsangue
    Coalgebraic Methods in Computer Science
    12th IFIP WG 1.3 International Workshop, CMCS 2...
    Marcello M. Bonsangue
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Implementation and Application of Automata : 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015, Proceedings - Frank Drewes
    Implementation and Application of Automata
    20th International Conference, CIAA 2015, Umea,...
    Frank Drewes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorics on Words : 11th International Conference, WORDS 2017, Montreal, QC, Canada, September 11-15, 2017, Proceedings - Sre?ko Brlek
    Combinatorics on Words
    11th International Conference, WORDS 2017, Mont...
    Sre?ko Brlek, Francesco Dolce, Christophe Reutenauer and Élise Vandomme
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computers and Games : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers - H. Jaap van den Herik
    Computers and Games
    8th International Conference, CG 2013, Yokohama...
    H. Jaap van den Herik, Hiroyuki Iida and Aske Plaat
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Machines, Computations, and Universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings - Jérôme Durand-Lose
    Machines, Computations, and Universality
    8th International Conference, MCU 2018, Fontain...
    Jérôme Durand-Lose and Sergey Verlan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science -- Theory and Applications : 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings - Lev D. Beklemishev
    Computer Science -- Theory and Applications
    10th International Computer Science Symposium i...
    Lev D. Beklemishev and Daniil V. Musatov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - Arie Gurfinkel
    Verified Software: Theories, Tools, and Experiments
    7th International Conference, VSTTE 2015, San F...
    Arie Gurfinkel and Sanjit A. Seshia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation : 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings - Rachid Echahed
    Graph Transformation
    9th International Conference, ICGT 2016, in Mem...
    Rachid Echahed and Mark Minas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers - Sachiyo Arai
    New Frontiers in Artificial Intelligence
    JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENL...
    Sachiyo Arai, Kazuhiro Kojima, Koji Mineshima, Daisuke Bekki and Yuiko Ohta
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Dang Van Hung
    Theoretical Aspects of Computing - ICTAC 2017
    14th International Colloquium, Hanoi, Vietnam, ...
    Dang Van Hung and Deepak Kapur
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. - Author
    Intelligent Computer Mathematics
    International Conference, CICM 2015, Washington...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings - Lawrence S. Moss
    Logic, Language, Information, and Computation
    25th International Workshop, WoLLIC 2018, Bogot...
    Lawrence S. Moss, Ruy de Queiroz and Maricarmen Martinez
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • KI 2016: Advances in Artificial Intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings - Author
    KI 2016: Advances in Artificial Intelligence
    39th Annual German Conference on AI, Klagenfurt...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings - Francesco Parisi-Presicce
    Graph Transformation
    8th International Conference, ICGT 2015, Held a...
    Francesco Parisi-Presicce and Bernhard Westfechtel
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings - Clare Dixon
    Frontiers of Combining Systems
    11th International Symposium, FroCoS 2017, Bras...
    Clare Dixon and Marcelo Finger
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings - Valeria de Paiva
    Logic, Language, Information, and Computation
    22nd International Workshop, WoLLIC 2015, Bloom...
    Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant and Anjolina G. de Oliveira
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings - Guillermo Simari
    Foundations of Information and Knowledge Systems
    9th International Symposium, FoIKS 2016, Linz, ...
    Guillermo Simari and Marc Gyssens
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • On the Move to Meaningful Internet Systems. OTM 2017 Conferences : Confederated International Conferences: CoopIS, C &TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II - Hervé Panetto
    On the Move to Meaningful Internet Systems. OTM 2017 Conferences
    Confederated International Conferences: CoopIS,...
    Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou and Robert Meersman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cellular Automata and Discrete Complex Systems : 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings - Jan M. Baetens
    Cellular Automata and Discrete Complex Systems
    24th IFIP WG 1.5 International Workshop, AUTOMA...
    Jan M. Baetens and Martin Kutrib
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Grammar 2018 : 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings - Annie Foret
    Formal Grammar 2018
    23rd International Conference, FG 2018, Sofia, ...
    Annie Foret, Greg Kobele and Sylvain Pogodalla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers - Ichiro Hasuo
    Coalgebraic Methods in Computer Science
    13th IFIP WG 1.3 International Workshop, CMCS 2...
    Ichiro Hasuo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings - Cyrille Artho
    Automated Technology for Verification and Analysis
    14th International Symposium, ATVA 2016, Chiba,...
    Cyrille Artho, Axel Legay and Doron Peled
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings - Xinyu Feng
    Programming Languages and Systems
    13th Asian Symposium, APLAS 2015, Pohang, South...
    Xinyu Feng and Sungwoo Park
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings - Christian Urban
    Interactive Theorem Proving
    6th International Conference, ITP 2015, Nanjing...
    Christian Urban and Xingyuan Zhang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings - Jouko Väänänen
    Logic, Language, Information, and Computation
    23rd International Workshop, WoLLIC 2016, Puebl...
    Jouko Väänänen, Åsa Hirvonen and Ruy de Queiroz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II - Giuseppe F. Italiano
    Mathematical Foundations of Computer Science 2015
    40th International Symposium, MFCS 2015, Milan,...
    Giuseppe F. Italiano, Giovanni Pighizzini and Donald T. Sannella
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Modeling : 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings - Heinrich C. Mayr
    Conceptual Modeling
    36th International Conference, ER 2017, Valenci...
    Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma and Oscar Pastor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I - Giuseppe F Italiano
    Mathematical Foundations of Computer Science 2015
    40th International Symposium, MFCS 2015, Milan,...
    Giuseppe F Italiano, Giovanni Pighizzini and Donald T. Sannella
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • An Architectonic for Science : The Structuralist Program - C.U. Moulines
    An Architectonic for Science
    The Structuralist Program
    C.U. Moulines, J.D. Sneed and W. Balzer
    eBook
    Instant Digital Delivery
    RRP $559.00
    $503.99
    BUY EBOOK
  • Doing Worlds with Words : Formal Semantics without Formal Metaphysics - J. Peregrin
    Doing Worlds with Words
    Formal Semantics without Formal Metaphysics
    J. Peregrin
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Truthlikeness : Philosophy and Religion (R0) - I. Niiniluoto
    Truthlikeness
    Philosophy and Religion (R0)
    I. Niiniluoto
    eBook
    Instant Digital Delivery
    RRP $349.00
    $335.05
    BUY EBOOK
  • Mathematical Intuition : Phenomenology and Mathematical Knowledge - R.L. Tieszen
    Mathematical Intuition
    Phenomenology and Mathematical Knowledge
    R.L. Tieszen
    eBook
    Instant Digital Delivery
    RRP $319.00
    $287.99
    BUY EBOOK
  • Mathematical Intuitionism and Intersubjectivity : A Critical Exposition of Arguments for Intuitionism - Tomasz Placek
    Mathematical Intuitionism and Intersubjectivity
    A Critical Exposition of Arguments for Intuitio...
    Tomasz Placek
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Mathesis Universalis, Computability and Proof : Philosophy and Religion (R0) - Stefania Centrone
    Mathesis Universalis, Computability and Proof
    Philosophy and Religion (R0)
    Stefania Centrone, Sara Negri, Deniz Sarikaya and Peter M. Schuster
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Trick or Truth? : The Mysterious Connection Between Physics and Mathematics - Anthony Aguirre
    Trick or Truth?
    The Mysterious Connection Between Physics and M...
    Anthony Aguirre, Brendan Foster and Zeeya Merali
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings - Nan Guan
    Dependable Software Engineering. Theories, Tools, and Applications
    5th International Symposium, SETTA 2019, Shangh...
    Nan Guan, Joost-Pieter Katoen and Jun Sun
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Wandering Towards a Goal : How Can Mindless Mathematical Laws Give Rise to Aims and Intention? - Anthony Aguirre
    Wandering Towards a Goal
    How Can Mindless Mathematical Laws Give Rise to...
    Anthony Aguirre, Brendan Foster and Zeeya Merali
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • AI*IA 2019 - Advances in Artificial Intelligence : XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings - Mario Alviano
    AI*IA 2019 - Advances in Artificial Intelligence
    XVIIIth International Conference of the Italian...
    Mario Alviano, Gianluigi Greco and Francesco Scarcello
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Simplicial Methods for Higher Categories : Segal-type Models of Weak n-Categories - Simona Paoli
    Simplicial Methods for Higher Categories
    Segal-type Models of Weak n-Categories
    Simona Paoli
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • New Trends in Databases and Information Systems : ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, Nicosia, Cyprus, September 24-27, 2017, Proceedings - M?r?te Kirikova
    New Trends in Databases and Information Systems
    ADBIS 2017 Short Papers and Workshops, AMSD, Bi...
    M?r?te Kirikova, Kjetil Nørvåg, George A. Papadopoulos, Johann Gamper and Stefano Rizzi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Proof Theory : Mathematics and Statistics (R0) - Thomas Studer
    Advances in Proof Theory
    Mathematics and Statistics (R0)
    Thomas Studer, Reinhard Kahle and Thomas Strahm
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude - Peter Csaba Ölveczky
    Designing Reliable Distributed Systems
    A Formal Methods Approach Based on Executable M...
    Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings - Kun He
    Theoretical Computer Science
    35th National Conference, NCTCS 2017, Wuhan, Ch...
    Kun He, Lian Li, Dingzhu Du and En Zhu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information and Communication Technologies in Education, Research, and Industrial Applications : 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers - Vitaliy Yakovyna
    Information and Communication Technologies in Education, Research, and Industrial Applications
    11th International Conference, ICTERI 2015, Lvi...
    Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych and Sotiris Batsakis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Engineering and Semantic Web : 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings - Przemys?aw Ró?ewski
    Knowledge Engineering and Semantic Web
    8th International Conference, KESW 2017, Szczec...
    Przemys?aw Ró?ewski and Christoph Lange
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Towards an Arithmetical Logic : The Arithmetical Foundations of Logic - Yvon Gauthier
    Towards an Arithmetical Logic
    The Arithmetical Foundations of Logic
    Yvon Gauthier
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Road to Universal Logic : Festschrift for the 50th Birthday of Jean-Yves Beziau Volume II - Arnold Koslow
    The Road to Universal Logic
    Festschrift for the 50th Birthday of Jean-Yves ...
    Arnold Koslow and Arthur Buchsbaum
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Kripke's Worlds : An Introduction to Modal Logics via Tableaux - Olivier Gasquet
    Kripke's Worlds
    An Introduction to Modal Logics via Tableaux
    Olivier Gasquet, Andreas Herzig, Bilal Said and François Schwarzentruber
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland : Mathematics and Statistics (R0) - Roman Murawski
    The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
    Mathematics and Statistics (R0)
    Roman Murawski and Maria Kantor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Philosophy of Mathematics Today : Mathematics and Statistics (R0) - György Darvas
    Philosophy of Mathematics Today
    Mathematics and Statistics (R0)
    György Darvas and E. Agazzi
    eBook
    Instant Digital Delivery
    RRP $159.00
    $152.67
    BUY EBOOK
  • Nonstandard Analysis for the Working Mathematician : Mathematics and Statistics (R0) - Manfred P. H. Wolff
    Nonstandard Analysis for the Working Mathematician
    Mathematics and Statistics (R0)
    Manfred P. H. Wolff and Peter A. Loeb
    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 - Paolo Chiabert
    Product Lifecycle Management to Support Industry 4.0
    15th IFIP WG 5.1 International Conference, PLM ...
    Paolo Chiabert, Abdelaziz Bouras, Frédéric Noël and José Ríos
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Johan van Benthem on Logic and Information Dynamics : Philosophy and Religion (R0) - Alexandru Baltag
    Johan van Benthem on Logic and Information Dynamics
    Philosophy and Religion (R0)
    Alexandru Baltag and Sonja Smets
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • 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 - Author
    Logic, Rationality, and Interaction
    6th International Workshop, LORI 2017, Sapporo,...
    Author
    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 - Annabelle McIver
    Quantitative Evaluation of Systems
    15th International Conference, QEST 2018, Beiji...
    Annabelle McIver and Andras Horvath
    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.51
    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 - Christoph Benzmüller
    KI 2019: Advances in Artificial Intelligence
    42nd German Conference on AI, Kassel, Germany, ...
    Christoph Benzmüller and Heiner Stuckenschmidt
    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 - Author
    The Semantic Web - ISWC 2019
    18th International Semantic Web Conference, Auc...
    Author
    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 - Author
    Advances in Computational Intelligence
    16th Mexican International Conference on Artifi...
    Author
    eText
    Instant Online Reading*
    $99.00
    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
3444 Results | View 24 / 100
< 1 ... 29 30 31 32 33 ... 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