Ordering for Christmas? Estimate your 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 > Mathematical Logic
Get Free Shipping on orders over $79

Mathematical Logic

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (2869)
  • Books (4121)
  • Audiobooks (26)
  • eTextbooks (2563)

AVAILABILITY

  • All eBooks (2869)
  • New Releases (23)
  • Subscription eBooks (132)

PRICE

FORMATS

LANGUAGE

  • eBook
     (2869)
  • Books
     (4121)
  • Audiobooks
     (26)
2869 Results | View 24 / 100
< 1 ... 24 25 26 27 28 29 >
Sort By
Sort By:
  • Mathematical Logic : Foundations for Information Science - Wei Li
    Mathematical Logic
    Foundations for Information Science
    Wei Li
    eText
    Instant Online Reading*
    $84.99
    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
  • Australian Stories
  • 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
  • Thirty Five Years of Automating Mathematics - F.D. Kamareddine
    Thirty Five Years of Automating Mathematics
    F.D. Kamareddine
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001 - GuoQiang Zhang
    Domain Theory, Logic and Computation
    Proceedings of the 2nd International Symposium ...
    GuoQiang Zhang, ?J. Lawson and ?Ying Ming Liu
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Logic for Concurrency and Synchronisation - Ruy J. De Queiroz
    Logic for Concurrency and Synchronisation
    Ruy J. De Queiroz
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings - Wil van der Aalst
    Applications and Theory of Petri Nets 2003
    24th International Conference, ICATPN 2003, Ein...
    Wil van der Aalst and ?Eike Best
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Text- and Speech-Triggered Information Access : 8th ELSNET Summer School, Chios Island, Greece, July 15-30, 2000, Revised Lectures - Steve Renals
    Text- and Speech-Triggered Information Access
    8th ELSNET Summer School, Chios Island, Greece,...
    Steve Renals and ?Gregory Grefenstette
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Applied Artificial Intelligence : 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings - Ali Moonis
    Developments in Applied Artificial Intelligence
    16th International Conference on Industrial and...
    Ali Moonis, ?Paul Chung and ?Chris Hinde
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Lattice-Valued Logic : An Alternative Approach to Treat Fuzziness and Incomparability - Yang Xu
    Lattice-Valued Logic
    An Alternative Approach to Treat Fuzziness and ...
    Yang Xu, Ruan Da, Keyun Qin and Jun Liu
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Fuzzy Sets and Systems - IFSA 2003 : 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30 - July 2, 2003, Proceedings - Taner Bilgic
    Fuzzy Sets and Systems - IFSA 2003
    10th International Fuzzy Systems Association Wo...
    Taner Bilgic, ?Bernard De Baets and ?Okays Kaynak
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Formal Methods and Software Engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings - Jin Song Dong
    Formal Methods and Software Engineering
    5th International Conference on Formal Engineer...
    Jin Song Dong and ?Jim Woodcock
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Didier Bert
    ZB 2003: Formal Specification and Development in Z and B
    Third International Conference of B and Z Users...
    Didier Bert, ?Jonathan P. Bowen and ?Steve King
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings - Franz Baader
    Automated Deduction - CADE-19
    19th International Conference on Automated Dedu...
    Franz Baader
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling and Using Context : 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings - Patrick Blackburn
    Modeling and Using Context
    4th International and Interdisciplinary Confere...
    Patrick Blackburn, ?Chiara Ghidini and ?Roy M. Turner
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings - Marta Cialdea Mayer
    Automated Reasoning with Analytic Tableaux and Related Methods
    International Conference, TABLEAUX 2003, Rome, ...
    Marta Cialdea Mayer and ?Fiora Pirri
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings - Nuno J. Mamede
    Computational Processing of the Portuguese Language
    6th International Workshop, PROPOR 2003, Faro, ...
    Nuno J. Mamede, ?Jorge Baptista and ?Isabel Trancoso
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modelling with Words : Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework - Jonathan Lawry
    Modelling with Words
    Learning, Fusion, and Reasoning within a Formal...
    Jonathan Lawry, ?Jimi Shanahan and ?Anca Ralescu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proofs and Fundamentals : A First Course in Abstract Mathematics - Ethan D. Bloch
    Proofs and Fundamentals
    A First Course in Abstract Mathematics
    Ethan D. Bloch
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Practical Foundations of Business System Specifications - Haim Kilov
    Practical Foundations of Business System Specifications
    Haim Kilov and Ken Baclavski
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Architecture of Systems Problem Solving - George J. Klir
    Architecture of Systems Problem Solving
    George J. Klir and Doug Elias
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Aided Systems Theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers - Robeto Moreno Diaz
    Computer Aided Systems Theory - EUROCAST 2003
    9th International Workshop on Computer Aided Sy...
    Robeto Moreno Diaz and ?Franz Pichler
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Principles and Practice of Constraint Programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings - Francesca Rossi
    Principles and Practice of Constraint Programming - CP 2003
    9th International Conference, CP 2003, Kinsale,...
    Francesca Rossi
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Granular Computing : An Introduction - Andrzej Bargiela
    Granular Computing
    An Introduction
    Andrzej Bargiela and Witold Pedrycz
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • AI 2003: Advances in Artificial Intelligence : 16th Australian Conference on AI, Perth, Australia, December 3-5, 2003, Proceedings - Lance Chun Che Fung
    AI 2003: Advances in Artificial Intelligence
    16th Australian Conference on AI, Perth, Austra...
    Lance Chun Che Fung and Tomas Gedeon
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Ordered Sets : An Introduction - Bernd Schröder
    Ordered Sets
    An Introduction
    Bernd Schröder
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2003: Advances in Artificial Intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings - Amedeo Cappelli
    AI*IA 2003: Advances in Artificial Intelligence
    8th Congress of the Italian Association for Art...
    Amedeo Cappelli and Franco Turini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Basic Real Analysis - Houshang H. Sohrab
    Basic Real Analysis
    Houshang H. Sohrab
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Modeling - ER 2002 : 21st International Conference on Conceptual Modeling Tampere, Finland, October 7-11, 2002 Proceedings - Stefano Spaccapietra
    Conceptual Modeling - ER 2002
    21st International Conference on Conceptual Mod...
    Stefano Spaccapietra, ?Salvatore March and ?Yahiko Kambayashi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trends in Logic : 50 Years of Studia Logica - Vincent F. Hendricks
    Trends in Logic
    50 Years of Studia Logica
    Vincent F. Hendricks and ?Jacek Malinowski
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning - Ute Schmid
    Inductive Synthesis of Functional Programs
    Universal Planning, Folding of Finite Programs,...
    Ute Schmid
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers - M. Leuschel
    Logic Based Program Synthesis and Transformation
    12th International Workshop, LOPSTR 2002, Madri...
    M. Leuschel
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers - Masami Ito
    Developments in Language Theory
    6th International Conference, DLT 2002, Kyoto, ...
    Masami Ito and ?Masafumi Toyama
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings - Radhia Cousot
    Static Analysis
    10th International Symposium, SAS 2003, San Die...
    Radhia Cousot
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Case-Based Reasoning Research and Development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23-26, 2003, Proceedings - Kevin D. Ashley
    Case-Based Reasoning Research and Development
    5th International Conference on Case-Based Reas...
    Kevin D. Ashley and ?Derek Bridge
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings - Warren A. Hunt
    Computer Aided Verification
    15th International Conference, CAV 2003, Boulde...
    Warren A. Hunt, Jr. and ?Fabio Somenzi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Problems in Set Theory, Mathematical Logic and the Theory of Algorithms - Igor Lavrov
    Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
    Igor Lavrov and Larisa Maksimova
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • A Guide to Classical and Modern Model Theory - Annalisa Marcja
    A Guide to Classical and Modern Model Theory
    Annalisa Marcja and Carlo Toffalori
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Semirings and Affine Equations over Them : Theory and Applications - Jonathan S. Golan
    Semirings and Affine Equations over Them
    Theory and Applications
    Jonathan S. Golan
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Set Theory : The Third Millennium Edition, revised and expanded - Thomas Jech
    Set Theory
    The Third Millennium Edition, revised and expanded
    Thomas Jech
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Learning Classifier Systems : 5th International Workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002, Revised Papers - Pier Luca Lanzi
    Learning Classifier Systems
    5th International Workshop, IWLCS 2002, Granada...
    Pier Luca Lanzi, ?Wolfgang Stolzmann and ?Stewart W. Wilson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings - Thomas D. Nielsen
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    7th European Conference, ECSQARU 2003, Aalborg,...
    Thomas D. Nielsen and ?Nevin L. Zhang
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers - Herman Geuvers
    Types for Proofs and Programs
    Second International Workshop, TYPES 2002, Berg...
    Herman Geuvers and ?Freek Wiedijk
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Modeling -- ER 2003 : 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings - IlYeol Song
    Conceptual Modeling -- ER 2003
    22nd International Conference on Conceptual Mod...
    IlYeol Song, ?Stephen W. Liddle and ?Tok Wang Ling
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Machine Learning: ECML 2003 : 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings - Nada Lavra?
    Machine Learning: ECML 2003
    14th European Conference on Machine Learning, C...
    Nada Lavra?, Dragan Gamberger and Ljupco Todorovski
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Knowledge Discovery in Databases: PKDD 2003 : 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings - Nada Lavra?
    Knowledge Discovery in Databases: PKDD 2003
    7th European Conference on Principles and Pract...
    Nada Lavra?, Dragan Gamberger, Hendrik Blockeel and Ljupco Todorovski
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Software Specification Methods : An Overview Using a Case Study - Marc Frappier
    Software Specification Methods
    An Overview Using a Case Study
    Marc Frappier and Henri Habrias
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Substitutions in Dynamics, Arithmetics and Combinatorics - N. Pytheas Fogg
    Substitutions in Dynamics, Arithmetics and Combinatorics
    N. Pytheas Fogg
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Computability and Complexity in Analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers - Jens Blanck
    Computability and Complexity in Analysis
    4th International Workshop, CCA 2000, Swansea, ...
    Jens Blanck, ?Vasco Brattka and ?Peter Hertling
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings - Sven Koenig
    Abstraction, Reformulation, and Approximation
    5th International Symposium, SARA 2002, Kananas...
    Sven Koenig and Robert C. Holte
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Computational Linguistics : Human-Computer Communication in Natural Language - Roland Hausser
    Foundations of Computational Linguistics
    Human-Computer Communication in Natural Language
    Roland Hausser
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Systems and Software Verification : Model-Checking Techniques and Tools - B. Berard
    Systems and Software Verification
    Model-Checking Techniques and Tools
    B. Berard, M. Bidoit, A. Finkel, F. Laroussinie and P. Schnoebelen
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Refinement - Manfred Broy
    Specification and Development of Interactive Systems
    Focus on Streams, Interfaces, and Refinement
    Manfred Broy and Ketil Stølen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automata Theory and its Applications - Bakhadyr Khoussainov
    Automata Theory and its Applications
    Bakhadyr Khoussainov and Anil Nerode
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Discovery and Data Mining : The Info-Fuzzy Network (IFN) Methodology - O. Maimon
    Knowledge Discovery and Data Mining
    The Info-Fuzzy Network (IFN) Methodology
    O. Maimon and M. Last
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Fuzzy Relational Systems : Foundations and Principles - Radim Belohlávek
    Fuzzy Relational Systems
    Foundations and Principles
    Radim Belohlávek
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Facets of Systems Science - George J. Klir
    Facets of Systems Science
    George J. Klir
    eText
    Instant Online Reading*
    $609.00
    BUY EBOOK
  • FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings - Jose N. Oliveira
    FME 2001: Formal Methods for Increasing Software Productivity
    International Symposium of Formal Methods Europ...
    Jose N. Oliveira and ?Pamela Zave
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • DNA Computing : 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers - Anne Condon
    DNA Computing
    6th International Workshop on DNA-Based Compute...
    Anne Condon and ?Grzegorz Rozenberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Database Theory - ICDT 2001 : 8th International Conference London, UK, January 4-6, 2001 Proceedings - Victor Vianu
    Database Theory - ICDT 2001
    8th International Conference London, UK, Januar...
    Victor Vianu and Jan van den Bosch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Engineering of Intelligent Systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings - Laszlo Monostori
    Engineering of Intelligent Systems
    14th International Conference on Industrial and...
    Laszlo Monostori, Jozsef Vancza and Moonis Ali
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Compiler Construction : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings - Reinhard Wilhelm
    Compiler Construction
    10th International Conference, CC 2001 Held as ...
    Reinhard Wilhelm
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings - Mogens Nielsen
    Foundations of Software Science and Computation Structures
    5th International Conference, FOSSACS 2002. Hel...
    Mogens Nielsen and Uffe Engberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Information Systems : 6th International Conference on Applications of Natural Language to Information Systems, NLDB 2002, Stockholm, Sweden, June 27-28, 2002, Revised Papers - Birger Andersson
    Natural Language Processing and Information Systems
    6th International Conference on Applications of...
    Birger Andersson, Maria Bergholtz and P. Johannesson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings - Peter J. Stuckey
    Logic Programming
    18th International Conference, ICLP 2002, Copen...
    Peter J. Stuckey
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets : Mathematical Foundations - Lech Polkowski
    Rough Sets
    Mathematical Foundations
    Lech Polkowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Robust Adaptation to Non-Native Accents in Automatic Speech Recognition - Silke Goronzy
    Robust Adaptation to Non-Native Accents in Automatic Speech Recognition
    Silke Goronzy
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Systems Theory - EUROCAST 2001 : A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001. Revised Papers - Roberto MorenoDiaz
    Computer Aided Systems Theory - EUROCAST 2001
    A Selection of Papers from the 8th Internationa...
    Roberto MorenoDiaz, Bruno Buchberger and JoseLuis Freire
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings - Salem Benferhat
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    6th European Conference, ECSQARU 2001, Toulouse...
    Salem Benferhat and ?Philippe Besnard
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • A Logical Theory of Nonmonotonic Inference and Belief Change - Alexander Bochman
    A Logical Theory of Nonmonotonic Inference and Belief Change
    Alexander Bochman
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Automated Theorem Proving : Theory and Practice - Monty Newborn
    Automated Theorem Proving
    Theory and Practice
    Monty Newborn
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum : Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999 - Ulrich Berger
    Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
    Symposium Proceedings, San Servolo, Venice, Ita...
    Ulrich Berger, Horst Osswald and Peter Schuster
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Types in Compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers - Robert Harper
    Types in Compilation
    Third International Workshop, TIC 2000, Montrea...
    Robert Harper
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Information Systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000; Revised Papers - Mokrane Bouzeghoub
    Natural Language Processing and Information Systems
    5th International Conference on Applications of...
    Mokrane Bouzeghoub, Zoubida Kedad and Elisabeth Metais
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Techniques and Applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings - Aart Middeldorp
    Rewriting Techniques and Applications
    12th International Conference, RTA 2001, Utrech...
    Aart Middeldorp
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Learning Classifier Systems : Third International Workshop, IWLCS 2000, Paris, France, September 15-16, 2000. Revised Papers - Pier L. Lanzi
    Advances in Learning Classifier Systems
    Third International Workshop, IWLCS 2000, Paris...
    Pier L. Lanzi, ?Wolfgang Stolzmann and ?Stewart W. Wilson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Approaches to Agent-Based Systems : First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers - James L. Rash
    Formal Approaches to Agent-Based Systems
    First International Workshop, FAABS 2000 Greenb...
    James L. Rash, ?Christopher A. Rouff and ?Walter Truszkowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering - Larisa Angstenberger
    Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
    Larisa Angstenberger
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
2869 Results | View 24 / 100
< 1 ... 24 25 26 27 28 29 >
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

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