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

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

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

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

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

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

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

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling
      • Popular Subjects

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

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

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling
      • Subjects

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

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

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

      Browse Kids & YA

    • New Releases
    • Bestselling
      • Popular Subjects

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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3337)
  • Books (6104)
  • Audiobooks (30)
  • eTextbooks (2959)

AVAILABILITY

  • All eBooks (3337)
  • New Releases (21)
  • Coming Soon (4)
  • Subscription eBooks (157)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (3337)
  • Books
    (6104)
  • Audiobooks
    (30)
3337 Results | View 24 / 100
< 1 ... 26 27 28 29 30 ... 34 >
Sort By
Sort By:
  • 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
  • Hot Pre-Orders
  • 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
  • Soft Computing Methods in Human Sciences - Vesa A Niskanen
    Soft Computing Methods in Human Sciences
    Vesa A Niskanen
    eText
    Instant Online Reading*
    $159.01
    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
  • 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
  • Finite-State Methods and Natural Language Processing : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers - Anssi YliJyrä
    Finite-State Methods and Natural Language Processing
    5th International Workshop, FSMNLP 2005, Helsin...
    Anssi YliJyrä, ?Lauri Karttunen and ?Juhani Karhumäki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006, Proceedings - Renata Vieira
    Computational Processing of the Portuguese Language
    7th International Workshop, PROPOR 2006, Itatia...
    Renata Vieira, ?Paulo Quaresma and ?Maria das Graças Volpe Nunes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers - Henning Christiansen
    Constraint Solving and Language Processing
    First International Workshop, CSLP 2004, Roskil...
    Henning Christiansen, ?Peter Rossen Skadhauge and ?Jørgen Villadsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computing System Reliability : Models and Analysis - Min Xie
    Computing System Reliability
    Models and Analysis
    Min Xie, Kim-Leng Poh and Yuan-Shun Dai
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Modeling and Retrieval of Context : Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers - Thomas R. RothBerghofer
    Modeling and Retrieval of Context
    Second International Workshop, MRC 2005, Edinbu...
    Thomas R. RothBerghofer, ?Stefan Schulz and ?David B. Leake
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Machine Translation: From Real Users to Research : 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004, Proceedings - Robert E. Frederking
    Machine Translation: From Real Users to Research
    6th Conference of the Association for Machine T...
    Robert E. Frederking and Kathryn B. Taylor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compiler Construction : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings - Alan Mycroft
    Compiler Construction
    15th International Conference, CC 2006, Held as...
    Alan Mycroft and Andreas Zeller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Neural Nets : 16th Italian Workshop on Neural Nets, WIRN 2005, International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers - Bruno Apolloni
    Neural Nets
    16th Italian Workshop on Neural Nets, WIRN 2005...
    Bruno Apolloni, ?Maria Marinaro and ?Giuseppe Nicosia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning, Action and Interaction in AI Theories and Systems : Essays Dedicated to Luigia Carlucci Aiello - Oliviero Stock
    Reasoning, Action and Interaction in AI Theories and Systems
    Essays Dedicated to Luigia Carlucci Aiello
    Oliviero Stock and ?Marco Schaerf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Teaching Formal Methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings - Raymond Boute
    Teaching Formal Methods
    CoLogNET/FME Symposium, TFM 2004, Ghent, Belgiu...
    Raymond Boute and Neville Dean
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : Foundations and Applications - Bernhard Ganter
    Formal Concept Analysis
    Foundations and Applications
    Bernhard Ganter, ?Gerd Stumme and ?Rudolf Wille
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Logic Functions and Equations : Binary Models for Computer Science - Christian Posthoff
    Logic Functions and Equations
    Binary Models for Computer Science
    Christian Posthoff and Bernd Steinbach
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures - Marcello M. Bonsangue
    Formal Methods for Components and Objects
    Second International Symposium, FMCO 2003, Leid...
    Marcello M. Bonsangue, W.P. de Roever and Frank S. de Boer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inconsistency Tolerance - Anthony Hunter
    Inconsistency Tolerance
    Anthony Hunter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Generation : Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004, Proceedings - Anja Belz
    Natural Language Generation
    Third International Conference, INLG 2004, Broc...
    Anja Belz, ?Roger Evans and ?Paul Piwek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning in Quantum Theory : Sharp and Unsharp Quantum Logics - Maria Luisa Dalla Chiara
    Reasoning in Quantum Theory
    Sharp and Unsharp Quantum Logics
    Maria Luisa Dalla Chiara, Roberto Giuntini and Richard Greechie
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Algorithmics for Hard Problems : Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics - Juraj Hromkovi?
    Algorithmics for Hard Problems
    Introduction to Combinatorial Optimization, Ran...
    Juraj Hromkovi?
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings - Bruno Durand
    STACS 2006
    23rd Annual Symposium on Theoretical Aspects of...
    Bruno Durand and ?Wolfgang Thomas
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computational Linguistics and Intelligent Text Processing : 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings - Alexander Gelbukh
    Computational Linguistics and Intelligent Text Processing
    7th International Conference, CICLing 2006, Mex...
    Alexander Gelbukh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Formal Concept Analysis : 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings - Rokia Missaoui
    Formal Concept Analysis
    4th International Conference, ICFCA 2006, Dresd...
    Rokia Missaoui and ?Jürg Schmid
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Engineering for Industrial Software Development : Using the SOFL Method - Shaoying Liu
    Formal Engineering for Industrial Software Development
    Using the SOFL Method
    Shaoying Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Topics in Orbit Equivalence - Alexander Kechris
    Topics in Orbit Equivalence
    Alexander Kechris and Benjamin D. Miller
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Program Development in Computational Logic : A Decade of Research Advances in Logic-Based Program Development - Maurice Bruynooghe
    Program Development in Computational Logic
    A Decade of Research Advances in Logic-Based Pr...
    Maurice Bruynooghe and ?KungKiu Lau
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Based Program Synthesis and Transformation : 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers - Maurice Bruynooghe
    Logic Based Program Synthesis and Transformation
    13th International Symposium LOPSTR 2003, Uppsa...
    Maurice Bruynooghe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 8th International Conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003. Proceedings - Oscar H. Ibarra
    Implementation and Application of Automata
    8th International Conference, CIAA 2003, Santa ...
    Oscar H. Ibarra and ?Zhe Dang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings - Atsushi Ohori
    Programming Languages and Systems
    First Asian Symposium, APLAS 2003, Beijing, Chi...
    Atsushi Ohori
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advanced Fuzzy Systems Design and Applications - Yaochu Jin
    Advanced Fuzzy Systems Design and Applications
    Yaochu Jin
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Beyond Two : Theory and Applications of Multiple-Valued Logic - Melvin Fitting
    Beyond Two
    Theory and Applications of Multiple-Valued Logic
    Melvin Fitting and ?Ewa Orlowska
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Geophysical Applications of Artificial Neural Networks and Fuzzy Logic - W. Sandham
    Geophysical Applications of Artificial Neural Networks and Fuzzy Logic
    W. Sandham and ?M. Leggett
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Connectionist Approaches in Economics and Management Sciences - Cédric Lesage
    Connectionist Approaches in Economics and Management Sciences
    Cédric Lesage and ?Marie Cottrell
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Topological and Algebraic Structures in Fuzzy Sets : A Handbook of Recent Developments in the Mathematics of Fuzzy Sets - S.E. Rodabaugh
    Topological and Algebraic Structures in Fuzzy Sets
    A Handbook of Recent Developments in the Mathem...
    S.E. Rodabaugh and ?Erich Peter Klement
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Computability and Models : Perspectives East and West - Barry S. Cooper
    Computability and Models
    Perspectives East and West
    Barry S. Cooper and ?Sergei S. Goncharov
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Theory and Applications of Relational Structures as Knowledge Instruments : COST Action 274, TARSKI, Revised Papers - Harrie de Swart
    Theory and Applications of Relational Structures as Knowledge Instruments
    COST Action 274, TARSKI, Revised Papers
    Harrie de Swart, ?Ewa Orlowska and ?Gunther Schmidt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Linguistics and Intelligent Text Processing : 4th International Conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003. Proceedings - Alexander Gelbukh
    Computational Linguistics and Intelligent Text Processing
    4th International Conference, CICLing 2003, Mex...
    Alexander Gelbukh
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings - Egon Börger
    Abstract State Machines 2003: Advances in Theory and Practice
    10th International Workshop, ASM 2003, Taormina...
    Egon Börger, ?Angelo Gargantini and ?Elvinia Riccobene
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Logic System of Concept Graphs with Negation : And Its Relationship to Predicate Logic - Frithjof Dau
    The Logic System of Concept Graphs with Negation
    And Its Relationship to Predicate Logic
    Frithjof Dau
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Machine Learning and Data Mining in Pattern Recognition : Third International Conference, MLDM 2003, Leipzig, Germany, July 5-7, 2003, proceedings - Petra Perner
    Machine Learning and Data Mining in Pattern Recognition
    Third International Conference, MLDM 2003, Leip...
    Petra Perner and ?Azriel Rosenfeld
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings - Zoltán Ésik
    Developments in Language Theory
    7th International Conference, DLT 2003, Szeged,...
    Zoltán Ésik and ?Zoltán Fülöp
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science Logic : 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings - Matthias Baaz
    Computer Science Logic
    17th International Workshop, CSL 2003, 12th Ann...
    Matthias Baaz and ?Johann M. Makowsky
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing : 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings - Guoyin Wang
    Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
    9th International Conference, RSFDGrC 2003, Cho...
    Guoyin Wang, ?Qing Liu and ?Yiyu Yao
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Reading, Writing, and Proving : A Closer Look at Mathematics - Ulrich Daepp
    Reading, Writing, and Proving
    A Closer Look at Mathematics
    Ulrich Daepp and Pamela Gorkin
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • A Beginner's Guide to Discrete Mathematics - W. D. Wallis
    A Beginner's Guide to Discrete Mathematics
    W. D. Wallis
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - David Basin
    Theorem Proving in Higher Order Logics
    16th International Conference, TPHOLs 2003, Rom...
    David Basin and ?Burkhart Wolff
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Typed Lambda Calculi and Applications : 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Martin Hofman
    Typed Lambda Calculi and Applications
    6th International Conference, TLCA 2003, Valenc...
    Martin Hofman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Web Knowledge Management and Decision Support : 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers - Oskar Bartenstein
    Web Knowledge Management and Decision Support
    14th International Conference on Applications o...
    Oskar Bartenstein, ?Ulrich Geske and ?Markus Hannebauer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers - Stan Matwin
    Inductive Logic Programming
    12th International Conference, ILP 2002, Sydney...
    Stan Matwin and ?Claude Sammut
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compiler Construction : 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Görel Hedin
    Compiler Construction
    12th International Conference, CC 2003, Held as...
    Görel Hedin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • DNA Computing : 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers - Masami Hagiya
    DNA Computing
    8th International Workshop on DNA Based Compute...
    Masami Hagiya and ?Azuma Ohuchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers - JeanMarc Champarnaud
    Implementation and Application of Automata
    7th International Conference, CIAA 2002, Tours,...
    JeanMarc Champarnaud and ?Denis Maurel
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Structures for Knowledge Creation and Communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings - Aldo de Moor
    Conceptual Structures for Knowledge Creation and Communication
    11th International Conference on Conceptual Str...
    Aldo de Moor, ?Wilfried Lex and ?Bernhard Ganter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3337 Results | View 24 / 100
< 1 ... 26 27 28 29 30 ... 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