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 (3307)
  • Books (6152)
  • Audiobooks (32)
  • eTextbooks (2973)

AVAILABILITY

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

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (3307)
  • Books
    (6152)
  • Audiobooks
    (32)
  • Stationery
    (1)
3307 Results | View 24 / 100
< 1 ... 16 17 18 19 20 ... 34 >
Sort By
Sort By:
  • The Multivariate Algorithmic Revolution and Beyond : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday - Hans L. Bodlaender
    The Multivariate Algorithmic Revolution and Beyond
    Essays Dedicated to Michael R. Fellows on the O...
    Hans L. Bodlaender, ?Rodney Downey and ?Fedor V. Fomin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    5th International Conference, MDAI 2008, Sabade...
    Vicenç Torra and Yasuo Narukawa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Linguistics and Intelligent Text Processing : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings - Alexander Gelbukh
    Computational Linguistics and Intelligent Text Processing
    8th International Conference, CICLing 2007, Mex...
    Alexander Gelbukh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Artificial Intelligence and Soft Computing - ICAISC 2008 : 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings - Leszek Rutkowski
    Artificial Intelligence and Soft Computing - ICAISC 2008
    9th International Conference Zakopane, Poland, ...
    Leszek Rutkowski, ?Ryszard Tadeusiewicz and ?Lofti A. Zadeh
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Ait Mohamed Otmane
    Theorem Proving in Higher Order Logics
    21st International Conference, TPHOLs 2008, Mon...
    Ait Mohamed Otmane, Sofiene Tahar and César Muñoz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings - Tero Harju
    Developments in Language Theory
    11th International Conference, DLT 2007, Turku,...
    Tero Harju, Juhani Karhumäki and Arto Lepisto
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Luca de Alfaro
    Foundations of Software Science and Computational Structures
    12th International Conference, FOSSACS 2009, He...
    Luca de Alfaro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Australian Stories
  • Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings - Sébastien Ferré
    Formal Concept Analysis
    7th International Conference, ICFCA 2009 Darmst...
    Sébastien Ferré and ?Sebastian Rudolph
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday - Jozef Kelemen
    Computation, Cooperation, and Life
    Essays Dedicated to Gheorghe Paun on the Occasi...
    Jozef Kelemen and ?Alica Kelemenová
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology - Radomir S. Stankovic
    From Boolean Logic to Switching Circuits and Automata
    Towards Modern Information Technology
    Radomir S. Stankovic and Jaakko Astola
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - Bernhard Beckert
    Formal Verification of Object-Oriented Software
    International Conference, FoVeOOS 2010, Paris, ...
    Bernhard Beckert and ?Claude Marché
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings - Gwen Salaun
    Formal Methods for Industrial Critical Systems
    16th International Workshop, FMICS 2011, Trento...
    Gwen Salaun and Bernhard Schatz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Frank Pfenning
    Automated Deduction - CADE-21
    21st International Conference on Automated Dedu...
    Frank Pfenning
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Artificial Intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 - Gerson Zaverucha
    Advances in Artificial Intelligence - SBIA 2008
    19th Brazilian Symposium on Artificial Intellig...
    Gerson Zaverucha and Augusto Loureiro da Costa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings - Wayne Wobcke
    AI 2008: Advances in Artificial Intelligence
    21st Australasian Joint Conference on Artificia...
    Wayne Wobcke and ?Mengjie Zhang
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Logic Programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings - Verónica Dahl
    Logic Programming
    23rd International Conference, ICLP 2007, Porto...
    Verónica Dahl and ?Ilkka Niemelä
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Membrane Computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers - Marian Gheorghe
    Membrane Computing
    12th International Conference, CMC 2011, Fontai...
    Marian Gheorghe, Gheorghe Paun and Grzegorz Rozenberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers - Andy King
    Logic-Based Program Synthesis and Transformation
    17th International Symposium, LOPSTR 2007, Kong...
    Andy King
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - N. Olivetti
    Automated Reasoning with Analytic Tableaux and Related Methods
    16th International Conference, TABLEAUX 2007, A...
    N. Olivetti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computing with Words : Principal Concepts and Ideas - Lotfi A. Zadeh
    Computing with Words
    Principal Concepts and Ideas
    Lotfi A. Zadeh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings - Joao MarquesSilva
    Theory and Applications of Satisfiability Testing - SAT 2007
    10th International Conference, SAT 2007, Lisbon...
    Joao MarquesSilva and Karem A. Sakallah
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
  • 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
3307 Results | View 24 / 100
< 1 ... 16 17 18 19 20 ... 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