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

      • University

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

      •  

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

      • Vocational

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

      • Fiction

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

      • Kids & YA

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

      • Non-Fiction

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

      • Textbooks

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling

      • Popular Subjects

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

      • Popular Authors

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

      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling

      • Subjects

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

      •  

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

      •  

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

      Browse Kids & YA

    • New Releases
    • Bestselling

      • Popular Subjects

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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3339)
  • Books (6043)
  • Audiobooks (30)
  • eTextbooks (2959)

AVAILABILITY

  • All eBooks (3339)
  • New Releases (21)
  • Coming Soon (4)
  • Subscription eBooks (159)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3339)
  • Books
     (6043)
  • Audiobooks
     (30)
3339 Results | View 24 / 100
< 1 ... 12 13 14 15 16 ... 34 >
Sort By
Sort By:
  • Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings - Jacques Fleuriot
    Artificial Intelligence and Symbolic Computation
    13th International Conference, AISC 2018, Suzho...
    Jacques Fleuriot, Dongming Wang and Jacques Calmet
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Nir Piterman
    Hardware and Software: Verification and Testing
    11th International Haifa Verification Conferenc...
    Nir Piterman
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • The Semantic Web - ISWC 2018 : 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part II - Author
    The Semantic Web - ISWC 2018
    17th International Semantic Web Conference, Mon...
    Author
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings - Dirk Beyer
    Tests and Proofs
    13th International Conference, TAP 2019, Held a...
    Dirk Beyer and Chantal Keller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI Approaches to the Complexity of Legal Systems : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers - Ugo Pagallo
    AI Approaches to the Complexity of Legal Systems
    AICOL International Workshops 2015-2017: AICOL-...
    Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor and Serena Villata
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Rough Sets : International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings - Author
    Rough Sets
    International Joint Conference, IJCRS 2018, Quy...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web - ISWC 2018 : 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018, Proceedings, Part I - Author
    The Semantic Web - ISWC 2018
    17th International Semantic Web Conference, Mon...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Australian Stories
  • Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers - Author
    Software Engineering and Formal Methods
    SEFM 2014 Collocated Workshops: HOFM, SAFOME, O...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematical Aspects of Computer and Information Sciences : 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings - Johannes Blömer
    Mathematical Aspects of Computer and Information Sciences
    7th International Conference, MACIS 2017, Vienn...
    Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia and Dimitris E. Simos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computability and Complexity : Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday - Adam Day
    Computability and Complexity
    Essays Dedicated to Rodney G. Downey on the Occ...
    Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov and Frances Rosamond
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Duality Theories for Boolean Algebras with Operators : Mathematics and Statistics (R0) - Steven Givant
    Duality Theories for Boolean Algebras with Operators
    Mathematics and Statistics (R0)
    Steven Givant
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Epistemology, Context, and Formalism : Synthese Library : Book 369 - Author
    Epistemology, Context, and Formalism
    Synthese Library : Book 369
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Mathematics of Coordinated Inference : A Study of Generalized Hat Problems - Christopher S. Hardin
    The Mathematics of Coordinated Inference
    A Study of Generalized Hat Problems
    Christopher S. Hardin and Alan D. Taylor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Handbook of Philosophical Logic : Volume IV: Topics in the Philosophy of Language - Dov M. Gabbay
    Handbook of Philosophical Logic
    Volume IV: Topics in the Philosophy of Language
    Dov M. Gabbay and Franz Guenthner
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Conceptual Spaces : Elaborations and Applications - Author
    Conceptual Spaces
    Elaborations and Applications
    Author
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Fundamentals of Algebraic Topology : Mathematics and Statistics (R0) - Steven H. Weintraub
    Fundamentals of Algebraic Topology
    Mathematics and Statistics (R0)
    Steven H. Weintraub
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Hilbert's Program : An Essay on Mathematical Instrumentalism - M. Detlefsen
    Hilbert's Program
    An Essay on Mathematical Instrumentalism
    M. Detlefsen
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Axiomatic Method and Category Theory : Synthese Library : Book 364 - Andrei Rodin
    Axiomatic Method and Category Theory
    Synthese Library : Book 364
    Andrei Rodin
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Set Theory : Exploring Independence and Truth - Ralf Schindler
    Set Theory
    Exploring Independence and Truth
    Ralf Schindler
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • A Model-Theoretic Approach to Proof Theory : Mathematics and Statistics (R0) - Henryk Kotlarski
    A Model-Theoretic Approach to Proof Theory
    Mathematics and Statistics (R0)
    Henryk Kotlarski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives in Computational Complexity : The Somenath Biswas Anniversary Volume - Author
    Perspectives in Computational Complexity
    The Somenath Biswas Anniversary Volume
    Author
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Moduli of Curves : CIMAT Guanajuato, Mexico 2016 - Leticia Brambila Paz
    Moduli of Curves
    CIMAT Guanajuato, Mexico 2016
    Leticia Brambila Paz
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs - Mauricio Ayala-Rincón
    Applied Logic for Computer Scientists
    Computational Deduction and Formal Proofs
    Mauricio Ayala-Rincón and Flávio L. C. de Moura
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Artificial Intelligence : 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings - Author
    Artificial Intelligence
    16th Russian Conference, RCAI 2018, Moscow, Rus...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Management in Organizations : 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019, Proceedings - Author
    Knowledge Management in Organizations
    14th International Conference, KMO 2019, Zamora...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantum Physics, Fuzzy Sets and Logic : Steps Towards a Many-Valued Interpretation of Quantum Mechanics - Jaros?aw Pykacz
    Quantum Physics, Fuzzy Sets and Logic
    Steps Towards a Many-Valued Interpretation of Q...
    Jaros?aw Pykacz
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice - Nicolas Clerbout
    Linking Game-Theoretical Approaches with Constructive Type Theory
    Dialogical Strategies, CTT demonstrations and t...
    Nicolas Clerbout and Shahid Rahman
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Data Analytics and Management in Data Intensive Domains : 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9-12, 2018, Revised Selected Papers - Yannis Manolopoulos
    Data Analytics and Management in Data Intensive Domains
    20th International Conference, DAMDID/RCDL 2018...
    Yannis Manolopoulos and Sergey Stupnikov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scientific Objectivity and Its Contexts - Evandro Agazzi
    Scientific Objectivity and Its Contexts
    Evandro Agazzi
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Homological and Computational Methods in Commutative Algebra : Dedicated to Winfried Bruns on the Occasion of his 70th Birthday - Aldo Conca
    Homological and Computational Methods in Commutative Algebra
    Dedicated to Winfried Bruns on the Occasion of ...
    Aldo Conca, Tim Römer and Joseph Gubeladze
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Problems and Proofs in Numbers and Algebra - Richard S. Millman
    Problems and Proofs in Numbers and Algebra
    Richard S. Millman, Peter J. Shiue and Eric Brendan Kahn
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Lie Groups, Differential Equations, and Geometry : Advances and Surveys - Giovanni Falcone
    Lie Groups, Differential Equations, and Geometry
    Advances and Surveys
    Giovanni Falcone
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • The Hyperuniverse Project and Maximality - Author
    The Hyperuniverse Project and Maximality
    Author
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • The Colorado Mathematical Olympiad: The Third Decade and Further Explorations : From the Mountains of Colorado to the Peaks of Mathematics - Alexander Soifer
    The Colorado Mathematical Olympiad: The Third Decade and Further Explorations
    From the Mountains of Colorado to the Peaks of ...
    Alexander Soifer
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • A New Perspective on Nonmonotonic Logics : Computer Science (R0) - Dov M. Gabbay
    A New Perspective on Nonmonotonic Logics
    Computer Science (R0)
    Dov M. Gabbay and Karl Schlechta
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Writing Proofs in Analysis - Jonathan M. Kane
    Writing Proofs in Analysis
    Jonathan M. Kane
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Model Theory in Algebra, Analysis and Arithmetic : Cetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori - Lou van den Dries
    Model Theory in Algebra, Analysis and Arithmetic
    Cetraro, Italy 2012, Editors: H. Dugald Macpher...
    Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay and Alex J.
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland : Science Networks. Historical Studies : Book 48 - Roman Murawski
    The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
    Science Networks. Historical Studies : Book 48
    Roman Murawski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Philosophy of Mathematics Today : Episteme : Book 22 - György Darvas
    Philosophy of Mathematics Today
    Episteme : Book 22
    György Darvas and E. Agazzi
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Nonstandard Analysis for the Working Mathematician - Author
    Nonstandard Analysis for the Working Mathematician
    Author
    eText
    Instant Online Reading*
    $149.01
    BUY EBOOK
  • Constraints Meet Concurrency : Atlantis Studies in Computing : Book 5 - Jacopo Mauro
    Constraints Meet Concurrency
    Atlantis Studies in Computing : Book 5
    Jacopo Mauro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Flatland : A Romance of Many Dimensions - Edwin Abbott Abbott
    Flatland
    A Romance of Many Dimensions
    Edwin Abbott Abbott
    eBook
    Instant Digital Delivery
    $1.99
    My Library BUY EBOOK
  • A Tangled Tale : Unraveling mathematical mystery in a whimsical world of puzzles and wordplay - Lewis Carroll
    A Tangled Tale
    Unraveling mathematical mystery in a whimsical ...
    Lewis Carroll
    eBook
    Instant Digital Delivery
    $1.99
    My Library BUY EBOOK
  • Higher Segal Spaces : Lecture Notes in Mathematics : Book 2244 - Tobias Dyckerhoff
    Higher Segal Spaces
    Lecture Notes in Mathematics : Book 2244
    Tobias Dyckerhoff and Mikhail Kapranov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016, Proceedings - Author
    Developments in Language Theory
    20th International Conference, DLT 2016, Montre...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • OWL: Experiences and Directions - Reasoner Evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers - Author
    OWL: Experiences and Directions - Reasoner Evaluation
    13th International Workshop, OWLED 2016, and 5t...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II - Author
    Computer Aided Verification
    29th International Conference, CAV 2017, Heidel...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures - Giovambattista Ianni
    Reasoning Web. Semantic Interoperability on the Web
    13th International Summer School 2017, London, ...
    Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber and Steffen Staab
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings - Michael Butler
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    6th International Conference, ABZ 2018, Southam...
    Michael Butler, Alexander Raschke, Thai Son Hoang and Klaus Reichl
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings - Cezar Câmpeanu
    Descriptional Complexity of Formal Systems
    18th IFIP WG 1.2 International Conference, DCFS...
    Cezar Câmpeanu, Florin Manea and Jeffrey Shallit
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computing and Combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings - Author
    Computing and Combinatorics
    22nd International Conference, COCOON 2016, Ho ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings - Herman Geuvers
    Intelligent Computer Mathematics
    10th International Conference, CICM 2017, Edinb...
    Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe and Olaf Teschke
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday - Author
    From Reactive Systems to Cyber-Physical Systems
    Essays Dedicated to Scott A. Smolka on the Occa...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers - Madalina Croitoru
    Graph Structures for Knowledge Representation and Reasoning
    4th International Workshop, GKR 2015, Buenos Ai...
    Madalina Croitoru, Pierre Marquis, Sebastian Rudolph and Gem Stapleton
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fuzzy Logic and Applications : 12th International Workshop, WILF 2018, Genoa, Italy, September 6-7, 2018, Revised Selected Papers - Robert Fullér
    Fuzzy Logic and Applications
    12th International Workshop, WILF 2018, Genoa, ...
    Robert Fullér, Silvio Giove and Francesco Masulli
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings - Michael Kohlhase
    Intelligent Computer Mathematics
    9th International Conference, CICM 2016, Bialys...
    Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura and Frank Tompa
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II - Author
    Computer Aided Verification
    28th International Conference, CAV 2016, Toront...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings - Josep Carmona
    Business Process Management
    15th International Conference, BPM 2017, Barcel...
    Josep Carmona, Gregor Engels and Akhil Kumar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Explainable Artificial Intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures - Markus Krötzsch
    Reasoning Web. Explainable Artificial Intelligence
    15th International Summer School 2019, Bolzano,...
    Markus Krötzsch and Daria Stepanova
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers - Christiano Braga
    Formal Aspects of Component Software
    12th International Conference, FACS 2015, Niter...
    Christiano Braga and Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings - Author
    Mathematics of Program Construction
    13th International Conference, MPC 2019, Porto,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings - Author
    Diagrammatic Representation and Inference
    10th International Conference, Diagrams 2018, E...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Inductive Logic Programming : 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017, Revised Selected Papers - Nicolas Lachiche
    Inductive Logic Programming
    27th International Conference, ILP 2017, Orlean...
    Nicolas Lachiche and Christel Vrain
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers - Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    4th International Workshop, SOFL+MSVL 2014, Lux...
    Shaoying Liu and Zhenhua Duan
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings - Author
    Software Engineering and Formal Methods
    14th International Conference, SEFM 2016, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings - Kyungmin Bae
    Formal Aspects of Component Software
    15th International Conference, FACS 2018, Pohan...
    Kyungmin Bae and Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Chinese Computing : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9-14, 2019, Proceedings, Part II - Jie Tang
    Natural Language Processing and Chinese Computing
    8th CCF International Conference, NLPCC 2019, D...
    Jie Tang, Min-Yen Kan, Dongyan Zhao, Sujian Li and Hongying Zan
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Multi-Agent Systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers - Author
    Multi-Agent Systems
    12th European Conference, EUMAS 2014, Prague, C...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings - David N. Jansen
    Formal Modeling and Analysis of Timed Systems
    16th International Conference, FORMATS 2018, Be...
    David N. Jansen and Pavithra Prabhakar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings - Author
    Rules and Reasoning
    International Joint Conference, RuleML+RR 2017,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings - Robert Mark Hierons
    Theoretical Aspects of Computing - ICTAC 2019
    16th International Colloquium, Hammamet, Tunisi...
    Robert Mark Hierons and Mohamed Mosbah
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Maurizio Proietti
    Logic-Based Program Synthesis and Transformation
    24th International Symposium, LOPSTR 2014, Cant...
    Maurizio Proietti and Hirohisa Seki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings - João Silva
    Computational Processing of the Portuguese Language
    12th International Conference, PROPOR 2016, Tom...
    João Silva, Ricardo Ribeiro, Paulo Quaresma, André Adami and António Branco
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - Marco Bernardo
    Formal Methods for Multicore Programming
    15th International School on Formal Methods for...
    Marco Bernardo and Einar Broch Johnsen
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings - Annie Foret
    Formal Grammar
    20th and 21st International Conferences, FG 201...
    Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald and Sylvain Pogodalla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Complexity - Micha? Skrzypczak
    Descriptive Set Theoretic Methods in Automata Theory
    Decidability and Topological Complexity
    Micha? Skrzypczak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings - Rahul Jain
    Theory and Applications of Models of Computation
    12th Annual Conference, TAMC 2015, Singapore, M...
    Rahul Jain, Sanjay Jain and Frank Stephan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human Language Technology. Challenges for Computer Science and Linguistics : 7th Language and Technology Conference, LTC 2015, Pozna?, Poland, November 27-29, 2015, Revised Selected Papers - Zygmunt Vetulani
    Human Language Technology. Challenges for Computer Science and Linguistics
    7th Language and Technology Conference, LTC 201...
    Zygmunt Vetulani, Joseph Mariani and Marek Kubis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings - Bernhard K. Aichernig
    Tests and Proofs
    10th International Conference, TAP 2016, Held a...
    Bernhard K. Aichernig and Carlo A. Furia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers - Author
    Perspectives of System Informatics
    10th International Andrei Ershov Informatics Co...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers - Ralf Hinze
    Implementation and Application of Functional Languages
    24th International Symposium, IFL 2012, Oxford,...
    Ralf Hinze
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Logic, Language, and Computation : 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers - Author
    Logic, Language, and Computation
    10th International Tbilisi Symposium on Logic, ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers - Author
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-B...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings - Author
    Static Analysis
    23rd International Symposium, SAS 2016, Edinbur...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Structures for Knowledge Representation and Reasoning : 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers - Author
    Graph Structures for Knowledge Representation and Reasoning
    5th International Workshop, GKR 2017, Melbourne...
    Author
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Trustworthy Global Computing : 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers - Author
    Trustworthy Global Computing
    10th International Symposium, TGC 2015 Madrid, ...
    Author
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab - Author
    It's All About Coordination
    Essays to Celebrate the Lifelong Scientific Ach...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantic Keyword-Based Search on Structured Data Sources : COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers - Author
    Semantic Keyword-Based Search on Structured Data Sources
    COST Action IC1302 Second International KEYSTON...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Digital Libraries: Data, Information, and Knowledge for Digital Lives : 19th International Conference on Asia-Pacific Digital Libraries, ICADL 2017, Bangkok, Thailand, November 13-15, 2017, Proceedings - Sally Jo Cunningham
    Digital Libraries: Data, Information, and Knowledge for Digital Lives
    19th International Conference on Asia-Pacific D...
    Sally Jo Cunningham, Fabio Crestani and Songphan Choemprayong
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Dragan Bošna?ki
    Model Checking Software
    23rd International Symposium, SPIN 2016, Co-loc...
    Dragan Bošna?ki and Anton Wijs
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unconventional Computation and Natural Computation : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings - Martyn Amos
    Unconventional Computation and Natural Computation
    15th International Conference, UCNC 2016, Manch...
    Martyn Amos and Anne Condon
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support : Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings - Kenji Suzuki
    Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support
    Second International Workshop, iMIMIC 2019, and...
    Kenji Suzuki, Mauricio Reyes, Tanveer Syeda-Mahmood, Ender Konukoglu and Anant Madabhushi
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings - Author
    Automated Deduction - CADE 26
    26th International Conference on Automated Dedu...
    Author
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings - Carlo A. Furia
    Integrated Formal Methods
    14th International Conference, IFM 2018, Maynoo...
    Carlo A. Furia and Kirsten Winter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings - Author
    Logic, Language, Information, and Computation
    24th International Workshop, WoLLIC 2017, Londo...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers - Author
    Logic-Based Program Synthesis and Transformation
    26th International Symposium, LOPSTR 2016, Edin...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory : Studies in Fuzziness and Soft Computing : Book 336 - Radko Mesiar
    On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
    Studies in Fuzziness and Soft Computing : Book 336
    Radko Mesiar and Susanne Saminger-Platz
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • An Invitation to Abstract Mathematics : Undergraduate Texts in Mathematics - Béla Bajnok
    An Invitation to Abstract Mathematics
    Undergraduate Texts in Mathematics
    Béla Bajnok
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Essentials of Constraint Programming : Cognitive Technologies - Thom Frühwirth
    Essentials of Constraint Programming
    Cognitive Technologies
    Thom Frühwirth and Slim Abdennadher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3339 Results | View 24 / 100
< 1 ... 12 13 14 15 16 ... 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

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