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

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

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

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

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

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

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

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling
      • Popular Subjects

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

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

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling
      • Subjects

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

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

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

      Browse Kids & YA

    • New Releases
    • Bestselling
      • Popular Subjects

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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3308)
  • Books (6171)
  • Audiobooks (32)
  • eTextbooks (2973)

AVAILABILITY

  • All eBooks (3308)
  • New Releases (23)
  • Coming Soon (8)
  • Subscription eBooks (99)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (3308)
  • Books
    (6171)
  • Audiobooks
    (32)
  • Stationery
    (1)
3308 Results | View 24 / 100
< 1 ... 17 18 19 20 21 ... 34 >
Sort By
Sort By:
  • Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings - Antoine Mine
    Static Analysis
    19th International Symposium, SAS 2012, Deauvil...
    Antoine Mine and David Schmidt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logics in Artificial Intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings - Luis Fariñas del Cerro
    Logics in Artificial Intelligence
    13th European Conference, JELIA 2012, Toulouse,...
    Luis Fariñas del Cerro, ?Andreas Herzig and ?Jérôme Mengin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Stefan Edelkamp
    Model Checking and Artificial Intelligence
    4th Workshop, MoChArt IV, Riva del Garda, Italy...
    Stefan Edelkamp and ?Alessio Lomuscio
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers - Stephen Muggleton
    Inductive Logic Programming
    21st International Conference, ILP 2011, Windso...
    Stephen Muggleton, ?Alireza TamaddoniNezhad and ?Francesca A. Lisi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings - Anuj Dawar
    Logic, Language, Information and Computation
    17th International Workshop, WoLLIC 2010, Brasi...
    Anuj Dawar and ?Ruy de Queiroz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30--June 3, 2011, Proceedings - Harrie de Swart
    Relational and Algebraic Methods in Computer Science
    12th International Conference, RAMICS 2011, Rot...
    Harrie de Swart
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings - Karin Breitman
    Formal Methods and Software Engineering
    11th International Conference on Formal Enginee...
    Karin Breitman and ?Ana Cavalcanti
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Afterpay
  • Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings - John Derrick
    Integrated Formal Methods
    9th International Conference, IFM 2012, Pisa, I...
    John Derrick, ?Stefania Gnesi and ?Diego Latella
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets, Fuzzy Sets, Data Mining and Granular Computing : 13th International Conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011, Proceedings - Sergei O. Kuznetsov
    Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
    13th International Conference, RSFDGrC 2011, Mo...
    Sergei O. Kuznetsov, ?Dominik ?l?zak and ?Daryl H. Hepting
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Algorithms in (Computer) Systems : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011, Proceedings - Alberto MarchettiSpaccamela
    Theory and Practice of Algorithms in (Computer) Systems
    First International ICST Conference, TAPAS 2011...
    Alberto MarchettiSpaccamela and ?Michael Segal
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings - Ian P. Gent
    Principles and Practice of Constraint Programming - CP 2009
    15th International Conference, CP 2009 Lisbon, ...
    Ian P. Gent
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Edmund M. Clarke
    Logic for Programming, Artificial Intelligence, and Reasoning
    16th International Conference, LPAR-16, Dakar, ...
    Edmund M. Clarke and ?Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings - Esra Erdem
    Logic Programming and Nonmonotonic Reasoning
    10th International Conference, LPNMR 2009, Pots...
    Esra Erdem, ?Fangzhen Lin and ?Torsten Schaub
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computational Issues in Fluid Construction Grammar - Luc Steels
    Computational Issues in Fluid Construction Grammar
    Luc Steels
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings - Makoto Kanazawa
    The Mathematics of Language
    12th Biennial Conference, MOL 12, Nara, Japan, ...
    Makoto Kanazawa, ?Marcus Kracht and ?Hiroyuki Seki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Data Engineering and Management : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers - Rajkumar Kannan
    Data Engineering and Management
    Second International Conference, ICDEM 2010, Ti...
    Rajkumar Kannan and Frederic Andres
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorial Algorithms : 23rd International Workshop, IWOCA 2012, Krishnankoil, India, July 19-21, 2012, Revised Selected Papers - W. F. Symth
    Combinatorial Algorithms
    23rd International Workshop, IWOCA 2012, Krishn...
    W. F. Symth and S. Arumugam
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings - Claudio Russo
    Practical Aspects of Declarative Languages
    14th International Symposium, PADL 2012, Philad...
    Claudio Russo and NengFa Zhou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers - Francisco Durán
    Rewriting Logic and Its Applications
    9th International Workshop, WRLA 2012, Held as ...
    Francisco Durán
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2011 : 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings - Filip Murlak
    Mathematical Foundations of Computer Science 2011
    36th International Symposium, MFCS 2011, Warsaw...
    Filip Murlak and ?Piotr Sankowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Evolution of Conceptual Modeling : From a Historical Perspective towards the Future of Conceptual Modeling - Roland Kaschek
    The Evolution of Conceptual Modeling
    From a Historical Perspective towards the Futur...
    Roland Kaschek and ?Lois M.L. Delcambre
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Machine Learning and Knowledge Discovery in Databases, Part II : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part II - Dimitrios Gunopulos
    Machine Learning and Knowledge Discovery in Databases, Part II
    European Conference, ECML PKDD 2010, Athens, Gr...
    Dimitrios Gunopulos, ?Thomas Hofmann and ?Donato Malerba
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Applications of Fuzzy Sets Theory : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings - Gabriella Pasi
    Applications of Fuzzy Sets Theory
    7th International Workshop on Fuzzy Logic and A...
    Gabriella Pasi, Francesco Masulli and Sushmita Mitra
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    6th International Conference, MDAI 2009, Awaji ...
    Vicenç Torra, Yasuo Narukawa and ?Masahiro Inuiguchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reachability Problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings - Giorgio Delzanno
    Reachability Problems
    5th International Workshop, RP 2011, Genoa, Ita...
    Giorgio Delzanno and Igor Potapov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings - Raoul Medina
    Formal Concept Analysis
    6th International Conference, ICFCA 2008, Montr...
    Raoul Medina and ?Sergei Obiedkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming -- CP 2011 : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, Proceedings - Jimmy Lee
    Principles and Practice of Constraint Programming -- CP 2011
    17th International Conference, CP 2011, Perugia...
    Jimmy Lee
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings - Holger Hermanns
    Computer Aided Verification
    19th International Conference, CAV 2007, Berlin...
    Holger Hermanns and Werner Damm
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers - Germán Vidal
    Logic-Based Program Synthesis and Transformation
    21st International Symposium, LOPSTR 2011, Oden...
    Germán Vidal
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Algebra and Coalgebra in Computer Science : 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings - Andrea Corradini
    Algebra and Coalgebra in Computer Science
    4th International Conference, CALCO 2011, Winch...
    Andrea Corradini, ?Bartek Klin and ?Corina Cîrstea
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial General Intelligence : 4th International Conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011, Proceedings - Jürgen Schmidhuber
    Artificial General Intelligence
    4th International Conference, AGI 2011, Mountai...
    Jürgen Schmidhuber, ?Kristinn R. Thorisson and ?Moshe Looks
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets VIII - Andrzej Skowron
    Transactions on Rough Sets VIII
    Andrzej Skowron and James F Peters
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Rough Sets and Knowledge Technology : Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007, Proceedings - Marcin S. Szczuka
    Rough Sets and Knowledge Technology
    Second International Conference, RSKT 2007, Tor...
    Marcin S. Szczuka, Nick Cercone and Pawan Lingras
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Banach Spaces and Descriptive Set Theory : Selected Topics - Pandelis Dodos
    Banach Spaces and Descriptive Set Theory
    Selected Topics
    Pandelis Dodos
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part I - Dimitrios Gunopulos
    Machine Learning and Knowledge Discovery in Databases
    European Conference, ECML PKDD 2010, Athens, Gr...
    Dimitrios Gunopulos, ?Thomas Hofmann and ?Donato Malerba
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XV - James F. Peters
    Transactions on Rough Sets XV
    James F. Peters and ?Andrzej Skowron
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling and Using Context : 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011, Proceedings - Michael Beigl
    Modeling and Using Context
    7th International and Interdisciplinary Confere...
    Michael Beigl, ?Henning Christiansen and ?Thomas R. RothBerghofer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings - Christian Bessiere
    Principles and Practice of Constraint Programming - CP 2007
    13th International Conference, CP 2007, Provide...
    Christian Bessiere
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Advances in Case-Based Reasoning : 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings - Ralph Bergmann
    Advances in Case-Based Reasoning
    9th European Conference, ECCBR 2008, Trier, Ger...
    Ralph Bergmann, KlausDieter Althoff and Alexandre Hanft
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Compiler Construction : 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings - Michael O'Boyle
    Compiler Construction
    21st International Conference, CC 2012, Held as...
    Michael O'Boyle
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers - PierreYves Schobbens
    Recent Trends in Algebraic Development Techniques
    18th International Workshop, WADT 2006, La Roch...
    PierreYves Schobbens and José Luiz Fiadeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings - Jürgen Giesl
    Automated Reasoning
    5th International Joint Conference, IJCAR 2010,...
    Jürgen Giesl and ?Reiner Hähnle
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings - Anil Nerode
    Logical Foundations of Computer Science
    International Symposium, LFCS 2007, New York, N...
    Anil Nerode and Sergei N. Artemov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings - Mitsunori Ogihara
    Theory and Applications of Models of Computation
    8th Annual Conference, TAMC 2011, Tokyo, Japan,...
    Mitsunori Ogihara and ?Jun Tarui
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Learning Theory : 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings - Nader Bshouty
    Learning Theory
    20th Annual Conference on Learning Theory, COLT...
    Nader Bshouty
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings - Franz Baader
    Term Rewriting and Applications
    18th International Conference, RTA 2007, Paris,...
    Franz Baader
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 - AdrianHoria Dediu
    Language and Automata Theory and Applications
    5th International Conference, LATA 2011, Tarrag...
    AdrianHoria Dediu, ?Carlos MartínVide and ?Shunsuke Inenaga
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction in Geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers - Thomas Sturm
    Automated Deduction in Geometry
    7th International Workshop, ADG 2008, Shanghai,...
    Thomas Sturm and ?Christoph Zengler
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008, Proceedings - Rudolf Berghammer
    Relations and Kleene Algebra in Computer Science
    10th International Conference on Relational Met...
    Rudolf Berghammer, ?Bernhard Möller and ?Georg Struth
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday - Thomas Reps
    Program Analysis and Compilation, Theory and Practice
    Essays Dedicated to Reinhard Wilhelm on the Occ...
    Thomas Reps, ?Mooly Sagiv and ?Jörg Bauer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modern Formal Methods and Applications - Hossam A. Gabbar
    Modern Formal Methods and Applications
    Hossam A. Gabbar
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Transactions on Computational Systems Biology VI - Gordon Plotkin
    Transactions on Computational Systems Biology VI
    Gordon Plotkin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday - Natasha Jonoska
    Aspects of Molecular Computing
    Essays Dedicated to Tom Head on the Occasion of...
    Natasha Jonoska, ?Gheorghe P?un and ?Grzegorz Rozenberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Jayadev Misra
    FM 2006: Formal Methods
    14th International Symposium on Formal Methods,...
    Jayadev Misra, ?Tobias Nipkow and ?Emil Sekerinski
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Elements of Finite Model Theory - Leonid Libkin
    Elements of Finite Model Theory
    Leonid Libkin
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Sandro Etalle
    Logic Programming
    22nd International Conference, ICLP 2006, Seatt...
    Sandro Etalle and ?Miroslav Truszczynski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Geometric Modeling and Processing - GMP 2006 : 4th International Conference, GMP 2006, Pittsburgh, PA, USA, July 26-28, 2006, Proceedings - MyungSoo Kim
    Geometric Modeling and Processing - GMP 2006
    4th International Conference, GMP 2006, Pittsbu...
    MyungSoo Kim and ?Kenji Shimada
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings - Armin Biere
    Theory and Applications of Satisfiability Testing - SAT 2006
    9th International Conference, Seattle, WA, USA,...
    Armin Biere and ?Carla P. Gomes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings - Kamel Barkaoui
    Theoretical Aspects of Computing - ICTAC 2006
    Third International Colloquium, Tunis, Tunisia,...
    Kamel Barkaoui, ?Ana Cavalcanti and ?Antonio Cerone
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets V - James Peter
    Transactions on Rough Sets V
    James Peter and Andrzej Skowron
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - JeanChristophe Filliatre
    Types for Proofs and Programs
    International Workshop, TYPES 2004, Jouy-en-Jos...
    JeanChristophe Filliatre, ?Christine PaulinMohring and ?Benjamin Werner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings - Kwangkeun Yi
    Static Analysis
    13th International Symposium, SAS 2006, Seoul, ...
    Kwangkeun Yi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - Frank Pfenning
    Term Rewriting and Applications
    17th International Conference, RTA 2006, Seattl...
    Frank Pfenning
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Axiom of Choice - Horst Herrlich
    Axiom of Choice
    Horst Herrlich
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Natural Language Processing and Information Systems : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006, Proceedings - Christian Kop
    Natural Language Processing and Information Systems
    11th International Conference on Applications o...
    Christian Kop, ?Günther Fliedl and ?Heinrich C. Mayr
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings - Oscar H. Ibarra
    Developments in Language Theory
    10th International Conference, DLT 2006, Santa ...
    Oscar H. Ibarra and ?Zhe Dang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings - Masami Hagiya
    Functional and Logic Programming
    8th International Symposium, FLOPS 2006, Fuji-S...
    Masami Hagiya and ?Philip Wadler
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction in Geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers - Hoon Hong
    Automated Deduction in Geometry
    5th International Workshop, ADG 2004, Gainesvil...
    Hoon Hong and ?Dongming Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers - Wendy MacCaull
    Relational Methods in Computer Science
    8th International Seminar on Relational Methods...
    Wendy MacCaull, ?Michael Winter and ?Ivo Düntsch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European - Peter Sestoft
    Programming Languages and Systems
    15th European Symposium on Programming, ESOP 20...
    Peter Sestoft
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Seventeen Provers of the World : Foreword by Dana S. Scott - Freek Wiedijk
    The Seventeen Provers of the World
    Foreword by Dana S. Scott
    Freek Wiedijk
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers - Patricia M. Hill
    Logic Based Program Synthesis and Transformation
    15th International Symposium, LOPSTR 2005, Lond...
    Patricia M. Hill
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Thomas Ball
    Computer Aided Verification
    18th International Conference, CAV 2006, Seattl...
    Thomas Ball and ?Robert B. Jones
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Database Theory - ICDT 2007 : 11th International Conference, Barcelona, Spain, January 10-12, 2007,       Proceedings - Thomas Schwentick
    Database Theory - ICDT 2007
    11th International Conference, Barcelona, Spain...
    Thomas Schwentick and ?Dan Suciu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Modeling - ER 2005 : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings - Christian Kop
    Conceptual Modeling - ER 2005
    24th International Conference on Conceptual Mod...
    Christian Kop, ?Heinrich C. Mayr and ?John Mylopoulos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings - Jacques Julliand
    B 2007: Formal Specification and Development in B
    7th International Conference of B Users, Besanc...
    Jacques Julliand and ?Olga Kouchnarenko
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings - Zoltán Ésik
    Computer Science Logic
    20th International Workshop, CSL 2006, 15th Ann...
    Zoltán Ésik
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings - S. ArunKumar
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
    26th International Conference, Kolkata, India, ...
    S. ArunKumar and ?Naveen Garg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings - N. Kobayashi
    Programming Languages and Systems
    4th Asian Symposium, APLAS 2006, Sydney, Austra...
    N. Kobayashi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings - Fahiem Bacchus
    Theory and Applications of Satisfiability Testing
    8th International Conference, SAT 2005, St Andr...
    Fahiem Bacchus and ?ToWalsh
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Computational Systems Biology VII - Anna Ingolfsdottir
    Transactions on Computational Systems Biology VII
    Anna Ingolfsdottir, ?Bud Mishra and ?Hanne Riis Nielson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Duration Calculus : A Formal Approach to Real-Time Systems - Chaochen Zhou
    Duration Calculus
    A Formal Approach to Real-Time Systems
    Chaochen Zhou and Michael R. Hansen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Parametric Lambda Calculus : A Metamodel for Computation - Simona Ronchi Della Rocca
    The Parametric Lambda Calculus
    A Metamodel for Computation
    Simona Ronchi Della Rocca and Luca Paolini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers - JeanPierre Banâtre
    Unconventional Programming Paradigms
    International Workshop UPP 2004, Le Mont Saint ...
    JeanPierre Banâtre, ?Pascal Fradet and ?JeanLouis Giavitto
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Structure - Dirk van Dalen
    Logic and Structure
    Dirk van Dalen
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Fuzzy Logic in Management - Christer Carlsson
    Fuzzy Logic in Management
    Christer Carlsson, Mario Fedrizzi and Robert Fuller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Machine Learning and Cybernetics : 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers - Daniel S. Yeung
    Advances in Machine Learning and Cybernetics
    4th International Conference, ICMLC 2005, Guang...
    Daniel S. Yeung, ?ZhiQiang Liu and ?XiZhao Wang
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions - Yves Bertot
    Interactive Theorem Proving and Program Development
    Coq'Art: The Calculus of Inductive Constructions
    Yves Bertot and Pierre Castéran
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Conceptual Modeling - ER 2006 : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings - David W. Embley
    Conceptual Modeling - ER 2006
    25th International Conference on Conceptual Mod...
    David W. Embley, ?Antoni Olivé and ?Sudha Ram
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Phylogenetic Supertrees : Combining information to reveal the Tree of Life - Olaf R.P. BinindaEmonds
    Phylogenetic Supertrees
    Combining information to reveal the Tree of Life
    Olaf R.P. BinindaEmonds
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Logical Aspects of Computational Linguistics : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings - Philippe Blache
    Logical Aspects of Computational Linguistics
    5th International Conference, LACL 2005, Bordea...
    Philippe Blache, ?Edward Stabler and ?Joan Busquets
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers - Michael Domaratzki
    Implementation and Application of Automata
    9th International Conference, CIAA 2004, Kingst...
    Michael Domaratzki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings - Rastislav Bodik
    Compiler Construction
    14th International Conference, CC 2005, Held as...
    Rastislav Bodik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl - Olaf Owe
    From Object-Orientation to Formal Methods
    Essays in Memory of Ole-Johan Dahl
    Olaf Owe, ?Stein Krogdahl and ?Tom Lyche
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough-Neural Computing : Techniques for Computing with Words - Sankar Kumar Pal
    Rough-Neural Computing
    Techniques for Computing with Words
    Sankar Kumar Pal and Lech Polkowski
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers - Christophe Jermann
    Global Optimization and Constraint Satisfaction
    Second International Workshop, COCOS 2003, Laus...
    Christophe Jermann, ?Arnold Neumaier and ?Djamila Sam
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Deontic Logic in Computer Science : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings - Alessio Lomuscio
    Deontic Logic in Computer Science
    7th International Workshop on Deontic Logic in ...
    Alessio Lomuscio and ?Donald Nute
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings - Michael Johnson
    Algebraic Methodology and Software Technology
    11th International Conference, AMAST 2006, Kure...
    Michael Johnson and ?Varmo Vene
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Semantic Web Reasoning : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers - José Júlio Alferes
    Principles and Practice of Semantic Web Reasoning
    4th International Workshop, PPSWR 2006, Budva, ...
    José Júlio Alferes, ?James Bailey and ?Wolfgang May
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3308 Results | View 24 / 100
< 1 ... 17 18 19 20 21 ... 34 >
Sort By
Sort By:

Join Our Newsletter

Head Office
34-48 Cosgrove Road, South Strathfield NSW 2136
ABN 90 679 610 890
MOBILE SITE

Help Centre

  • Placing An Order
  • Contact Booktopia
  • Terms Of Business
  • Privacy Policy
  • Become An Affiliate
  • Sitemap

Shipping

  • Track My Order
  • Standard Shipping
  • Express Shipping
  • Shipping Timeframes
  • Delivering Your Order
  • New Zealand Orders

About Booktopia

  • Your Local Bookstore
  • Why Buy From Booktopia?
  • Our Awards
  • Booktopia's Charities
  • Booktopia eBooks
  • Work With Us

Bestsellers

  • Babies & Toddlers' Bestseller List
  • Children's Bestseller List
  • Young Adults' Bestseller List
  • Fiction Bestseller List
  • Non-Fiction Bestseller List

Popular Brands

  • ABC Reading Eggs
  • Australian Women's Weekly
  • Bluey
  • Excel Education
  • Dr Seuss
  • For Dummies
  • Harvard Business Review
  • Harry Potter
  • LEGO
  • Little Golden Books
  • Lonely Planet Travel Books
  • No Fear Shakespeare
  • Penguin Black Classics
  • Peppa Pig
  • Teach Yourself
  • Vintage Classics
  • Where's Wally

Popular Series

  • A Court of Thorns and Roses
  • A Game of Thrones
  • Bridgerton
  • Diary of a Wimpy Kid
  • Dune
  • Jack Reacher
  • Jack West
  • Little People, Big Dreams
  • Lord of the Rings
  • Nevermoor
  • Outlander
  • The Bad Guys
  • The Treehouse Series
  • The Wheel of Time
  • The Witcher
  • Wings of Fire
  • Wolf Girl

Popular Authors

  • Brene Brown
  • Bruce Pascoe
  • David Walliams
  • Di Morrissey
  • Donna Hay
  • Fiona McIntosh
  • Helen Garner
  • Jane Harper
  • Liane Moriarty
  • Matthew Reilly
  • Peter FitzSimons
  • Sally Rooney
  • Sarah J. Maas
  • Taylor Jenkins Reid
  • Tim Winton
  • Trent Dalton
  • Yotam Ottolenghi

Popular Subjects

  • Biographies & True Stories
  • Business & Management
  • Cooking, Food & Drink
  • Crafts & Handiwork
  • Family & Health
  • Fitness & Diet
  • History
  • Self-Help & Personal Development
  • Australian Fiction
  • Crime & Mystery
  • Classic Fiction
  • Fantasy Fiction
  • Modern & Contemporary Fiction
  • Manga
  • Picture Books
  • Young Adult Fiction
Voted Australia’s Favourite Bookstore by Australian Book Buyers

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