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

      • University

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

      •  

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

      • Vocational

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

      • Fiction

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

      • Kids & YA

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

      • Non-Fiction

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

      • Textbooks

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling

      • Popular Subjects

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

      • Popular Authors

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

      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling

      • Subjects

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

      •  

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

      •  

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

      Browse Kids & YA

    • New Releases
    • Bestselling

      • Popular Subjects

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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3432)
  • Books (5946)
  • Audiobooks (43)
  • eTextbooks (3041)

AVAILABILITY

  • All eBooks (3432)
  • New Releases (32)
  • Coming Soon (5)
  • Subscription eBooks (162)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3432)
  • Books
     (5946)
  • Audiobooks
     (43)
  • Audio CDs
     (3)
  • Stationery
     (2)
3432 Results | View 24 / 100
< 1 2 3 4 5 6 7 8 ... 35 >
Sort By
Sort By:
  • Themes from Weir : A Celebration of the Philosophy of Alan Weir - Adam Rieger
    Themes from Weir
    A Celebration of the Philosophy of Alan Weir
    Adam Rieger and Stephan Leuenberger
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Field Arithmetic - Michael D. Fried
    Field Arithmetic
    Michael D. Fried and Moshe Jarden
    eText
    Instant Online Reading*
    $379.01
    BUY EBOOK
  • Logic - Language - Ontology : Selected Works - Urszula B. Wybraniec-Skardowska
    Logic - Language - Ontology
    Selected Works
    Urszula B. Wybraniec-Skardowska
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Puzzle and Proof : A Decade of Problems from the Utah Math Olympiad - Samuel Dittmer
    Puzzle and Proof
    A Decade of Problems from the Utah Math Olympiad
    Samuel Dittmer, Hiram Golze, Grant Molnar and Caleb Stanford
    eText
    Instant Online Reading*
    $75.89
    BUY EBOOK
  • Quantitative Literacy Through Games and Gambling : Textbooks in Mathematics - Mark Hunacek
    Quantitative Literacy Through Games and Gambling
    Textbooks in Mathematics
    Mark Hunacek
    eText
    Instant Online Reading*
    $107.79
    BUY EBOOK
  • Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings - Emil Sekerinski
    Formal Methods Teaching
    6th Formal Methods Teaching Workshop, FMTea 202...
    Emil Sekerinski and Leila Ribeiro
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Combinatory Logic : Pure, Applied and Typed - Katalin Bimbó
    Combinatory Logic
    Pure, Applied and Typed
    Katalin Bimbó
    eText
    Instant Online Reading*
    $131.99
    BUY EBOOK
  • Bestseller Bargains
  • Problems and Solutions in Mathematical Olympiad : Secondary 1 - Zun Shan
    Problems and Solutions in Mathematical Olympiad
    Secondary 1
    Zun Shan and Yi-Yang She
    eText
    Instant Online Reading*
    $63.79
    BUY EBOOK
  • Topics in Model Theory - Anand Pillay
    Topics in Model Theory
    Anand Pillay
    eText
    Instant Online Reading*
    $35.19
    BUY EBOOK
  • Data-Driven Modelling with Fuzzy Sets : A Neutrosophic Perspective - Said Broumi
    Data-Driven Modelling with Fuzzy Sets
    A Neutrosophic Perspective
    Said Broumi
    eText
    Instant Online Reading*
    $358.60
    BUY EBOOK
  • The Pea and the Sun : A Mathematical Paradox - Leonard M. Wapner
    The Pea and the Sun
    A Mathematical Paradox
    Leonard M. Wapner
    eText
    Instant Online Reading*
    $71.49
    BUY EBOOK
  • A Lifetime of Puzzles - Erik D. Demaine
    A Lifetime of Puzzles
    Erik D. Demaine, Martin L. Demaine and Tom Rodgers
    eText
    Instant Online Reading*
    $144.09
    BUY EBOOK
  • From the Top of the Mountain : Are We Really Destined to Disappear? - Rosolino Buccheri
    From the Top of the Mountain
    Are We Really Destined to Disappear?
    Rosolino Buccheri
    eText
    Instant Online Reading*
    $65.99
    BUY EBOOK
  • Mathematical Mind-Benders : AK Peters/CRC Recreational Mathematics Series - Peter Winkler
    Mathematical Mind-Benders
    AK Peters/CRC Recreational Mathematics Series
    Peter Winkler
    eText
    Instant Online Reading*
    $71.49
    BUY EBOOK
  • Taking the
    Taking the "Oof!" Out of Proofs
    Textbooks in Mathematics
    Alexandr Draganov
    eText
    Instant Online Reading*
    $113.29
    BUY EBOOK
  • Godel's Proof : Routledge Classics - Ernest Nagel
    Godel's Proof
    Routledge Classics
    Ernest Nagel and James R. Newman
    eText
    Instant Online Reading*
    $28.59
    BUY EBOOK
  • Logic And Declarative Language - M. Downward
    Logic And Declarative Language
    M. Downward
    eText
    Instant Online Reading*
    $92.39
    BUY EBOOK
  • Logic from A to Z : The Routledge Encyclopedia of Philosophy Glossary of Logical and Mathematical Terms - John B. Bacon
    Logic from A to Z
    The Routledge Encyclopedia of Philosophy Glossa...
    John B. Bacon
    eText
    Instant Online Reading*
    $89.09
    BUY EBOOK
  • An Introduction to Substructural Logics - Greg Restall
    An Introduction to Substructural Logics
    Greg Restall
    eText
    Instant Online Reading*
    $90.19
    BUY EBOOK
  • Philosophical Logic : An Introduction - Sybil Wolfram
    Philosophical Logic
    An Introduction
    Sybil Wolfram
    eText
    Instant Online Reading*
    $123.19
    BUY EBOOK
  • Paradoxes of the Infinite (Routledge Revivals) : Routledge Revivals - Bernard Bolzano
    Paradoxes of the Infinite (Routledge Revivals)
    Routledge Revivals
    Bernard Bolzano
    eText
    Instant Online Reading*
    $92.39
    BUY EBOOK
  • Referential Opacity and Modal Logic : Studies in Philosophy - Dagfinn Follesdal
    Referential Opacity and Modal Logic
    Studies in Philosophy
    Dagfinn Follesdal
    eText
    Instant Online Reading*
    $113.29
    BUY EBOOK
  • Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II - Luca Aceto
    Automata, Languages and Programming
    38th International Colloquium, ICALP 2011, Zuri...
    Luca Aceto
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Formal Concept Analysis : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings - Florent Domenach
    Formal Concept Analysis
    10th International Conference, ICFCA 2012, Leuv...
    Florent Domenach, ?Dmitry I. Ignatov and ?Jonas Poelmans
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Aspects of Computational Linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers - Alain Lecomte
    Logical Aspects of Computational Linguistics
    Second International Conference, LACL'97, Nancy...
    Alain Lecomte, ?Francois Lamarche and ?Guy Perrier
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithmic Learning Theory : 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. - Naoki Abe
    Algorithmic Learning Theory
    12th International Conference, ALT 2001, Washin...
    Naoki Abe, ?Roni Khardon and ?Thomas Zeugmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Linguistics and Intelligent Text Processing : Second International Conference, CICLing 2001, Mexico-City, Mexico, February 18-24, 2001. Proceedings - Alexander Gelbukh
    Computational Linguistics and Intelligent Text Processing
    Second International Conference, CICLing 2001, ...
    Alexander Gelbukh
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming - CP 2001 : 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings - ToWalsh
    Principles and Practice of Constraint Programming - CP 2001
    7th International Conference, CP 2001, Paphos, ...
    ToWalsh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - Jörg Flum
    Computer Science Logic
    13th International Workshop, CSL'99, 8th Annual...
    Jörg Flum and ?Mario RodriguezArtalejo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Applications of Uncertainty Formalisms - Anthony Hunter
    Applications of Uncertainty Formalisms
    Anthony Hunter and ?Simon D. Parsons
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers - João Leite
    Computational Logic in Multi-Agent Systems
    5th International Workshop, CLIMA V, Lisbon, Po...
    João Leite and ?Paolo Torroni
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings - Nicolas Halbwachs
    Computer Aided Verification
    11th International Conference, CAV'99, Trento, ...
    Nicolas Halbwachs and ?Doron Peled
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings - Gordon Fraser
    Tests and Proofs
    4th International Conference, TAP 2010, Malaga,...
    Gordon Fraser and ?Angelo Gargantini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers - Manabu Okumura
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP...
    Manabu Okumura, ?Daisuke Bekki and ?Ken Satoh
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings - Laurence Tratt
    Theory and Practice of Model Transformations
    Third International Conference, ICMT 2010, Mala...
    Laurence Tratt and ?Martin Gogolla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Bernhard Gramlich
    Automated Reasoning
    6th International Joint Conference, IJCAR 2012,...
    Bernhard Gramlich, ?Dale Miller and ?Ulrike Sattler
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science - Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings - Alexander Kulikov
    Computer Science - Theory and Applications
    6th International Computer Science Symposium in...
    Alexander Kulikov and ?Nikolay Vereshchagin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings - Lev D. Beklemishev
    Logic, Language, Information, and Computation
    18th International Workshop, WoLLIC 2011, Phila...
    Lev D. Beklemishev and ?Ruy de Queiroz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Datalog Reloaded : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers - Oege De Moor
    Datalog Reloaded
    First International Workshop, Datalog 2010, Oxf...
    Oege De Moor, Georg Gottlob and Tim Furche
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever - Dennis Dams
    Concurrency, Compositionality, and Correctness
    Essays in Honor of Willem-Paul de Roever
    Dennis Dams, ?Ulrich Hannemann and ?Martin Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings - Toshiaki Aoki
    Formal Methods and Software Engineering
    14th International Conference on Formal Enginee...
    Toshiaki Aoki and ?Kenji Taguchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • CONCUR 2012- Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings - Maciej Koutny
    CONCUR 2012- Concurrency Theory
    23rd International Conference, CONCUR 2012, New...
    Maciej Koutny and ?Irek Ulidowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Objects, Components, Models, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings - Judith Bishop
    Objects, Components, Models, Patterns
    49th International Conference, TOOLS 2011, Zuri...
    Judith Bishop and ?Antonio Vallecillo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programs, Norms and Action : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday - Alexander Artikis
    Logic Programs, Norms and Action
    Essays in Honor of Marek J. Sergot on the Occas...
    Alexander Artikis, ?Robert Craven and ?Nihan Kesim Cicekli
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • e-Business and Telecommunications : 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers - Mohammad S. Obaidat
    e-Business and Telecommunications
    6th International Joint Conference, ICETE 2009,...
    Mohammad S. Obaidat and ?Joaquim Filipe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computers and Games : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers - H. Jaap van den Herik
    Computers and Games
    7th International Conference, CG 2010, Kanazawa...
    H. Jaap van den Herik, ?Hiroyuki Iida and ?Aske Plaat
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings - Viktor Kuncak
    Verification, Model Checking, and Abstract Interpretation
    13th International Conference, VMCAI 2012, Phil...
    Viktor Kuncak and ?Andrey Rybalchenko
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Its Applications : Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings - Mohua Banerjee
    Logic and Its Applications
    Fourth Indian Conference, ICLA 2011, Delhi, Ind...
    Mohua Banerjee and ?Anil Seth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers - Javier Larrosa
    Recent Advances in Constraints
    14th Annual ERCIM International Workshop on Con...
    Javier Larrosa and Barry O'Sullivan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Argumentation in Multi-Agent Systems : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers - Peter McBurney
    Argumentation in Multi-Agent Systems
    8th International Workshop, ArgMAS 2011, Taipei...
    Peter McBurney, ?Simon Parsons and ?Iyad Rahwan
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Advances in Computational Intelligence, Part II : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part II - Salvatore Greco
    Advances in Computational Intelligence, Part II
    14th International Conference on Information Pr...
    Salvatore Greco, ?Bernadette BouchonMeunier and ?Giulianella Coletti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Ludics, Dialogue and Interaction : PRELUDE Project — 2006-2009. Revised Selected Papers - Alain Lecomte
    Ludics, Dialogue and Interaction
    PRELUDE Project — 2006-2009. Revised Selected P...
    Alain Lecomte and Samuel Tronçon
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers - Andy Schürr
    Applications of Graph Transformations with Industrial Relevance
    4th International Symposium, AGTIVE 2011, Budap...
    Andy Schürr, ?Dániel Varró and ?Gergely Varró
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings - Barry S. Cooper
    How the World Computes
    Turing Centenary Conference and 8th Conference ...
    Barry S. Cooper, ?Anuj Dawar and ?Benedikt Löwe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language, Games, and Evolution : Trends in Current Research on Language and Game Theory - Anton Benz
    Language, Games, and Evolution
    Trends in Current Research on Language and Game...
    Anton Benz, ?Christian Ebert and ?Gerhard Jäger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings - Antonio Cerone
    Theoretical Aspects of Computing -- ICTAC 2011
    8th International Colloquium, Johannesburg, Sou...
    Antonio Cerone and Pekka Pihlajasaari
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers - Julio Marino
    Functional and Constraint Logic Programming
    19th International Workshop, WFLP 2010, Madrid,...
    Julio Marino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - Achim Brucker
    Tests and Proofs
    6th International Conference, TAP 2012, Prague,...
    Achim Brucker and ?Jacques Julliand
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • KI 2012: Advances in Artificial Intelligence : 35th Annual German Conference on AI, Saarbrucken, Germany, September 24-27, 2012, Proceedings - Birte Glimm
    KI 2012: Advances in Artificial Intelligence
    35th Annual German Conference on AI, Saarbrucke...
    Birte Glimm and ?Antonio Krüger
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Machine Learning and Knowledge Discovery in Databases, Part III : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part III - Dimitrios Gunopulos
    Machine Learning and Knowledge Discovery in Databases, Part III
    European Conference, ECML PKDD 2010, Athens, Gr...
    Dimitrios Gunopulos, Thomas Hofmann and Donato Malerba
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Object, Models, Components, Patterns : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings - Carlo A. Furia
    Object, Models, Components, Patterns
    50th International Conference, TOOLS Europe 201...
    Carlo A. Furia and ?Sebastian Nanz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ECOOP 2012 -- Object-Oriented Programming : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings - James Noble
    ECOOP 2012 -- Object-Oriented Programming
    26th European Conference, Beijing, China, June ...
    James Noble
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings - Hans Van Ditmarsch
    Logic, Rationality, and Interaction
    Third International Workshop, LORI 2011, Guangz...
    Hans Van Ditmarsch, Jerome Lang and Shier Ju
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Eran Yahav
    Static Analysis
    18th International Symposium, SAS 2011. Venice,...
    Eran Yahav
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fuzzy Logic and Applications : 9th International Workshop, WILF 2011, Trani, Italy, August 29-31, 2011, Proceedings - Alfredo Petrosino
    Fuzzy Logic and Applications
    9th International Workshop, WILF 2011, Trani, I...
    Alfredo Petrosino, Anna Maria Fanelli and Witold Pedrycz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XIV - Hiroshi Sakai
    Transactions on Rough Sets XIV
    Hiroshi Sakai, ?Mihir Chakraborty and ?Dominik ?l?zak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings - Marko Van Eekelen
    Interactive Theorem Proving
    Second International Conference, ITP 2011, Berg...
    Marko Van Eekelen, ?Herman Geuvers and ?Julien Schmaltz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial General Intelligence : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings - Joscha Bach
    Artificial General Intelligence
    5th International Conference, AGI 2012, Oxford,...
    Joscha Bach, ?Ben Goertzel and ?Matthew Iklé
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings - Alexander Romanovsky
    Reliable Software Technologies - Ada-Europe 2011
    16th Ada-Europe International Conference on Rel...
    Alexander Romanovsky and ?Tullio Vardanega
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conditionals, Information, and Inference : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers - Gabriele KernIsberner
    Conditionals, Information, and Inference
    International Workshop, WCII 2002, Hagen, Germa...
    Gabriele KernIsberner, ?Wilhelm Rödder and ?Friedhelm Kulmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings - Burkhart Wolff
    Testing Software and Systems
    23rd IFIP WG 6.1 International Conference, ICTS...
    Burkhart Wolff and Fatiha Zaidi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Processing and Data Analysis : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International Conference, KPP 2007, Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers - Karl Erich Wolff
    Knowledge Processing and Data Analysis
    First International Conference, KONT 2007, Novo...
    Karl Erich Wolff, ?Dmitry E. Palchunov and ?Nikolay G. Zagoruiko
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Aspects of Computational Linguistics : 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings - Sylvain Pogodalla
    Logical Aspects of Computational Linguistics
    6th International Conference, LACL 2011, Montpe...
    Sylvain Pogodalla and ?JeanPhilippe Prost
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers - Till Mossakowski
    Recent Trends in Algebraic Development Techniques
    20th International Workshop, WADT 2010, Etelsen...
    Till Mossakowski and ?HansJörg Kreowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings - Jürgen Dix
    Computational Logic in Multi-Agent Systems
    11th International Workshop, CLIMAX XI, Lisbon,...
    Jürgen Dix, ?Joao Leite and ?Guido Governatori
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformations : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings - Hartmut Ehrig
    Graph Transformations
    5th International Conference, ICGT 2010, Twente...
    Hartmut Ehrig, ?Arend Rensink and ?Grzegorz Rozenberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings - Markus Holzer
    Descriptional Complexity of Formal Systems
    13 International Workshop, DCFS 2011, Gießen/Li...
    Markus Holzer, ?Martin Kutrib and ?Giovanni Pighizzini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Kai Brünnler
    Automated Reasoning with Analytic Tableaux and Related Methods
    20th International Conference, TABLEAUX 2011, B...
    Kai Brünnler and ?George Metcalfe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Structures for Discovering Knowledge : 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings - Simon Andrews
    Conceptual Structures for Discovering Knowledge
    19th International Conference on Conceptual Str...
    Simon Andrews, ?Simon Polovina and ?Richard Hill
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday - Gregor Engels
    Graph Transformations and Model-Driven Engineering
    Essays Dedicated to Manfred Nagl on the Occasio...
    Gregor Engels, ?Claus Lewerentz and ?Wilhelm Schäfer
    eText
    Instant Online Reading*
    $179.00
    BUY EBOOK
  • Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Ganesh Gopalakrishnan
    Computer Aided Verification
    23rd International Conference, CAV 2011, Snowbi...
    Ganesh Gopalakrishnan and ?Shaz Qadeer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings - Adenilso Simao
    Formal Methods: Foundations and Applications
    14th Brazilian Symposium, SBMF 2011, Sao Paulo,...
    Adenilso Simao and Carroll Morgan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Objects to Diagrams for Ranges of Functors - Pierre Gillibert
    From Objects to Diagrams for Ranges of Functors
    Pierre Gillibert and Friedrich Wehrung
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Formal Grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers - Philippe de Groote
    Formal Grammar
    14th International Conference, FG 2009, Bordeau...
    Philippe de Groote, ?Markus Egg and ?Laura Kallmeyer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Michael Butler
    FM 2011: Formal Methods
    17th International Symposium on Formal Methods,...
    Michael Butler and ?Wolfram Schulte
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Information Processing VI : 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012, Proceedings - Zhongzhi Shi
    Intelligent Information Processing VI
    7th IFIP TC 12 International Conference, IIP 20...
    Zhongzhi Shi, ?David Leake and ?Sunil Vadera
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Logic and Grammar : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday - Sylvain Pogodalla
    Logic and Grammar
    Essays Dedicated to Alain Lecomte on the Occasi...
    Sylvain Pogodalla, ?Myriam Quatrini and ?Christian Retoré
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Dimitra Giannakopoulou
    FM 2012: Formal Methods
    18th International Symposium, Paris, France, Au...
    Dimitra Giannakopoulou and ?Dominique Mery
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings - Michael Fisher
    Computational Logic in Multi-Agent Systems
    13th International Workshop, CLIMA XIII, Montpe...
    Michael Fisher, ?Leon van der Torre and ?Mehdi Dastani
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Rough Set and Knowledge Technology : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010, Proceedings - Jian Yu
    Rough Set and Knowledge Technology
    5th International Conference, RSKT 2010, Beijin...
    Jian Yu, ?Salvatore Greco and ?Pawan Lingras
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers - Koushik Sen
    Runtime Verification
    Second international Conference, RV 2011, San F...
    Koushik Sen and ?Sarfaz Khurshid
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers - Balder D. ten Cate
    Logic, Language, and Computation
    6th International Tbilisi Symposium on Logic, L...
    Balder D. ten Cate and ?Henk W. Zeevat
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers - Hendrik Blockeel
    Inductive Logic Programming
    17th International Conference, ILP 2007, Corval...
    Hendrik Blockeel, ?Jan Ramon and ?Jude Shavlik
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Conceptual Modeling - ER 2007 : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings - Christine Parent
    Conceptual Modeling - ER 2007
    26th International Conference on Conceptual Mod...
    Christine Parent, ?KlausDieter Schewe and ?Veda C. Storey
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Transactions on Computational Systems Biology VIII - Corrado Priami
    Transactions on Computational Systems Biology VIII
    Corrado Priami
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers - Katsumi Inoue
    Computational Logic in Multi-Agent Systems
    7th International Workshop, CLIMA VII, Hakodate...
    Katsumi Inoue, ?Ken Satoh and ?Francesca Toni
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings - Z. Shao
    Programming Languages and Systems
    5th Asian Symposium, APLAS 2007, Singapore, Nov...
    Z. Shao
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings - Katsuhisa Horimoto
    Algebraic Biology
    Third International Conference, AB 2008, Castle...
    Katsuhisa Horimoto, Georg Regensburger and Markus Rosenkranz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces - L. Molnár
    Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces
    L. Molnár
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3432 Results | View 24 / 100
< 1 2 3 4 5 6 7 8 ... 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