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 (3443)
  • Books (6293)
  • Audiobooks (44)
  • eTextbooks (3046)

AVAILABILITY

  • All eBooks (3443)
  • New Releases (27)
  • Coming Soon (3)
  • Subscription eBooks (160)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3443)
  • Books
     (6293)
  • Audiobooks
     (44)
  • Audio CDs
     (3)
3443 Results | View 24 / 100
< 1 ... 15 16 17 18 19 ... 35 >
Sort By
Sort By:
  • Scalable Uncertainty Management : First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings - H. Prade
    Scalable Uncertainty Management
    First International Conference, SUM 2007, Washi...
    H. Prade and V. Subrahmanian
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Probabilistic Inductive Logic Programming - Luc De Raedt
    Probabilistic Inductive Logic Programming
    Luc De Raedt, ?Paolo Frasconi and ?Kristian Kersting
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings - Alessandro Armando
    Automated Reasoning
    4th International Joint Conference, IJCAR 2008,...
    Alessandro Armando, ?Peter Baumgartner and ?Gilles Dowek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings - Ron van der Meyden
    Deontic Logic in Computer Science
    9th International Conference, DEON 2008, Luxemb...
    Ron van der Meyden and ?Leendert van der Torre
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Transactions on Rough Sets VII : Commemorating the Life and Work of Zdzislaw Pawlak, Part II - Victor W. Marek
    Transactions on Rough Sets VII
    Commemorating the Life and Work of Zdzislaw Paw...
    Victor W. Marek, ?Ewa Orlowska and ?Roman Slowi?ski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - J. Duparc
    Computer Science Logic
    21 International Workshop, CSL 2007, 16th Annua...
    J. Duparc and T. A. Henzinger
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Machine Learning: ECML 2007 : 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings - Joost N. Kok
    Machine Learning: ECML 2007
    18th European Conference on Machine Learning, W...
    Joost N. Kok, ?Jacek Koronacki and ?Ramon Lopez de Mantaras
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Bestseller Bargains
  • 25 Years of Model Checking : History, Achievements, Perspectives - Orna Grumberg
    25 Years of Model Checking
    History, Achievements, Perspectives
    Orna Grumberg and ?Helmut Veith
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Constraint Handling Rules : Current Research Topics - Tom Schrijvers
    Constraint Handling Rules
    Current Research Topics
    Tom Schrijvers and Thom Frühwirth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers - Sadok Ben Yahia
    Concept Lattices and Their Applications
    Fourth International Conference, CLA 2006 Tunis...
    Sadok Ben Yahia, Engelbert Mephu Nguifo and Radim Belohlavek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings - Maria Garcia Banda
    Logic Programming
    24th International Conference, ICLP 2008 Udine,...
    Maria Garcia Banda and ?Enrico Pontelli
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings - A. Gupta
    Computer Aided Verification
    20th International Conference, CAV 2008 Princet...
    A. Gupta and S. Malik
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Fundamentals of Computation Theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings - Erzsébet CsuhajVarjú
    Fundamentals of Computation Theory
    16th International Symposium, FCT 2007, Budapes...
    Erzsébet CsuhajVarjú and ?Zoltán Ésik
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings - Roberto Amadio
    Foundations of Software Science and Computational Structures
    11th International Conference, FOSSACS 2008, He...
    Roberto Amadio
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings - Till Mossakowski
    Algebra and Coalgebra in Computer Science
    Second International Conference, CALCO 2007, Be...
    Till Mossakowski, ?Ugo Montanari and ?Magne Haveraaen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings - Hans Kleine Buning
    Theory and Applications of Satisfiability Testing - SAT 2008
    11th International Conference, SAT 2008, Guangz...
    Hans Kleine Buning and Xishun Zhao
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Andrei Voronkov
    Rewriting Techniques and Applications
    19th International Conference, RTA 2008 Hagenbe...
    Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings - V. Arvind
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
    27th International Conference, New Delhi, India...
    V. Arvind and ?Sanjiva Prasad
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings - Filip Zelezny
    Inductive Logic Programming
    18th International Conference, ILP 2008 Prague,...
    Filip Zelezny and Nada Lavrac
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers - Carlos MartinVide
    Language and Automata Theory and Applications
    Second International Conference, LATA 2008, Tar...
    Carlos MartinVide, Friedrich Otto and Henning Fernau
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compiler Construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings - Shriram Krishnamurthi
    Compiler Construction
    16th International Conference, CC 2007, Held as...
    Shriram Krishnamurthi and ?Martin Odersky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures - Anna Soos
    Central European Functional Programming School
    Second Summer School, CEFP 2007, Cluj-Napoca, R...
    Anna Soos
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Egon Borger
    Abstract State Machines, B and Z
    First International Conference, ABZ 2008, Londo...
    Egon Borger, Michael Butler and Jonathan P Bowen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings - Chitta Baral
    Logic Programming and Nonmonotonic Reasoning
    9th International Conference, LPNMR 2007, Tempe...
    Chitta Baral, ?Gerhard Brewka and ?John Schlipf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings - Shaoying Liu
    Formal Methods and Software Engineering
    10th International Conference on Formal Enginee...
    Shaoying Liu, Tom Maibaum and Keijiro Araki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets VI : Commemorating Life and Work of Zdislaw Pawlak, Part I - James F. Peters
    Transactions on Rough Sets VI
    Commemorating Life and Work of Zdislaw Pawlak, ...
    James F. Peters, ?Ivo Düntsch and ?Jerzy GrzymalaBusse
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Rough Sets and Intelligent Systems Paradigms : International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings - Marzena Kryszkiewicz
    Rough Sets and Intelligent Systems Paradigms
    International Conference, RSEISP 2007, Warsaw, ...
    Marzena Kryszkiewicz, ?James F. Peters and ?Henryk Rybinski
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Foundations of Fuzzy Logic and Soft Computing : 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings - Patricia Melin
    Foundations of Fuzzy Logic and Soft Computing
    12th International Fuzzy Systems Association Wo...
    Patricia Melin, Athanasios V. Vasilakos and Oscar Castillo
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers - Jaume Bacardit
    Learning Classifier Systems
    10th International Workshop, IWLCS 2006, Seattl...
    Jaume Bacardit, Ester BernadoMansilla and Martin V Butz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers - Germán Puebla
    Logic-Based Program Synthesis and Transformation
    16th International Symposium, LOPSTR 2006, Veni...
    Germán Puebla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Jeremy Gibbons
    Teaching Formal Methods
    Second International Conference, TFM 2009, Eind...
    Jeremy Gibbons and ?Jose Nuno Oliveira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Nachum Dershowitz
    Logic for Programming, Artificial Intelligence, and Reasoning
    14th International Conference, LPAR 2007, Yerev...
    Nachum Dershowitz and ?Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Time for Verification : Essays in Memory of Amir Pnueli - Z. Manna
    Time for Verification
    Essays in Memory of Amir Pnueli
    Z. Manna and D. A. Peled
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Algebraic Informatics : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers - Symeon Bozapalidis
    Algebraic Informatics
    Second International Conference, CAI 2007, Thes...
    Symeon Bozapalidis and ?George Rahonis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings - HsuChun Yen
    Developments in Language Theory
    16th International Conference, DLT 2012, Taipei...
    HsuChun Yen and ?Oscar H. Ibarra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • MICAI 2007: Advances in Artificial Intelligence : 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings - Alexander Gelbukh
    MICAI 2007: Advances in Artificial Intelligence
    6th Mexican International Conference on Artific...
    Alexander Gelbukh and ?Àngel Fernando Kuri Morales
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Machine Learning and Knowledge Discovery in Databases : European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I - Walter Daelemans
    Machine Learning and Knowledge Discovery in Databases
    European Conference, Antwerp, Belgium, Septembe...
    Walter Daelemans, ?Bart Goethals and Katharina Morik
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Cliff B. Jones
    Theoretical Aspects of Computing - ICTAC 2007
    4th International Colloquium, Macau, China, Sep...
    Cliff B. Jones, ?Zhiming Liu and ?Jones Woodcock
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets, Fuzzy Sets, Data Mining and Granular Computing : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007 - Athanasios V. Vasilakos
    Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
    11th International Conference, RSFDGrC 2007, To...
    Athanasios V. Vasilakos, Jerzy Stefanowski and Aijun An
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings - Wolfgang Thomas
    STACS 2007
    24th Annual Symposium on Theoretical Aspects of...
    Wolfgang Thomas and ?Pascal Weil
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • 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
  • 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
3443 Results | View 24 / 100
< 1 ... 15 16 17 18 19 ... 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