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 > Mathematical Logic
Get Free Shipping on orders over $79

Mathematical Logic

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

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

AVAILABILITY

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

PRICE

FORMATS

LANGUAGE

  • eBook
    (2869)
  • Books
    (4130)
  • Audiobooks
    (26)
2869 Results | View 24 / 100
< 1 ... 22 23 24 25 26 ... 29 >
Sort By
Sort By:
  • Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings - Author
    Software Engineering and Formal Methods
    11th International Conference, SEFM 2013, Madri...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings - Author
    Formal Methods for Industrial Critical Systems
    20th International Workshop, FMICS 2015 Oslo, N...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
    Tests and Proofs
    9th International Conference, TAP 2015, Held as...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings - Author
    Reliable Software Technologies - Ada-Europe 2015
    20th Ada-Europe International Conference on Rel...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
    Dependable Software Engineering: Theories, Tools, and Applications
    First International Symposium, SETTA 2015, Nanj...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Algorithmic Learning Theory : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings
    Algorithmic Learning Theory
    24th International Conference, ALT 2013, Singap...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings - Author
    Hardware and Software: Verification and Testing
    13th International Haifa Verification Conferenc...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hot Pre-Orders
  • Rough Sets and Current Trends in Computing : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings
    Rough Sets and Current Trends in Computing
    9th International Conference, RSCTC 2014, Grana...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I - Author
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
    6th International Symposium, ISoLA 2014, Imperi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
    Relational and Algebraic Methods in Computer Science
    15th International Conference, RAMiCS 2015, Bra...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    14th International Conference, VMCAI 2013, Rome...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XVI
    Transactions on Rough Sets XVI
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
    Formal Techniques for Distributed Systems
    Joint IFIP WG 6.1 International Conference, FMO...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science - Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings - Author
    Computer Science - Theory and Applications
    8th International Computer Science Symposium in...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    Foundations of Software Science and Computation Structures
    16th International Conference, FOSSACS 2013, He...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    Integrated Formal Methods
    10th International Conference, IFM 2013, Turku,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
    Automated Deduction -- CADE-24
    24th International Conference on Automated Dedu...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
    The Nature of Computation: Logic, Algorithms, Applications
    9th Conference on Computability in Europe, CiE ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings - Author
    Software Composition
    12th International Conference, SC 2013, Budapes...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
    Logic Programming and Nonmonotonic Reasoning
    12th International Conference, LPNMR 2013, Coru...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
    Computational Logic in Multi-Agent Systems
    14th International Workshop, CLIMA XIV, Corunna...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings - Author
    Runtime Verification
    4th International Conference, RV 2013, Rennes, ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings - Author
    Software Language Engineering
    6th International Conference, SLE 2013, Indiana...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    Hardware and Software: Verification and Testing
    9th International Haifa Verification Conference...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    Certified Programs and Proofs
    Third International Conference, CPP 2013, Melbo...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings - Author
    Relational and Algebraic Methods in Computer Science
    14th International Conference, RAMiCS 2014, Mar...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Categories and Types in Logic, Language, and Physics : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
    Categories and Types in Logic, Language, and Physics
    Essays dedicated to Jim Lambek on the Occasion ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
    Theory and Applications of Models of Computation
    11th Annual Conference, TAMC 2014, Chennai, Ind...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    FM 2014: Formal Methods
    19th International Symposium, Singapore, May 12...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday - Author
    Horizons of the Mind. A Tribute to Prakash Panangaden
    Essays Dedicated to Prakash Panangaden on the O...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets and Intelligent Systems Paradigms : Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings
    Rough Sets and Intelligent Systems Paradigms
    Second International Conference, RSEISP 2014, G...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    Interactive Theorem Proving
    5th International Conference, ITP 2014, Held as...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I - Author
    Mathematical Foundations of Computer Science 2014
    39th International Symposium, MFCS 2014, Budape...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
    Automated Reasoning
    7th International Joint Conference, IJCAR 2014,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Author
    Software Engineering and Formal Methods
    12th International Conference, SEFM 2014, Greno...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Natural Language Processing : 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings - Author
    Advances in Natural Language Processing
    9th International Conference on NLP, PolTAL 201...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
    Programming Languages and Systems
    12th Asian Symposium, APLAS 2014, Singapore, Si...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering for Collective Autonomic Systems : The ASCENS Approach - Author
    Software Engineering for Collective Autonomic Systems
    The ASCENS Approach
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    NASA Formal Methods
    7th International Symposium, NFM 2015, Pasadena...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Author
    Foundations of Software Science and Computation Structures
    18th International Conference, FOSSACS 2015, He...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    16th International Conference, VMCAI 2015, Mumb...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings - Author
    Formal Techniques for Distributed Objects, Components, and Systems
    35th IFIP WG 6.1 International Conference, FORT...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.
    Developments in Language Theory
    19th International Conference, DLT 2015, Liverp...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2015 Advances in Artificial Intelligence : XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings - Author
    AI*IA 2015 Advances in Artificial Intelligence
    XIVth International Conference of the Italian A...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings - Author
    Automated Reasoning with Analytic Tableaux and Related Methods
    24th International Conference, TABLEAUX 2015, W...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
    Frontiers of Combining Systems
    10th International Symposium, FroCoS 2015, Wroc...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
    Logic, Rationality, and Interaction
    5th International Workshop, LORI 2015, Taipei, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • KI 2015: Advances in Artificial Intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
    KI 2015: Advances in Artificial Intelligence
    38th Annual German Conference on AI, Dresden, G...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Chinese Lexical Semantics : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016, Revised Selected Papers
    Chinese Lexical Semantics
    17th Workshop, CLSW 2016, Singapore, Singapore,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematics of Fuzzy Sets and Fuzzy Logic - Barnabas Bede
    Mathematics of Fuzzy Sets and Fuzzy Logic
    Barnabas Bede
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
    Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Constructive Commutative Algebra : Projective Modules Over Polynomial Rings and Dynamical Grobner Bases - Ihsen Yengui
    Constructive Commutative Algebra
    Projective Modules Over Polynomial Rings and Dy...
    Ihsen Yengui
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
    Logical Foundations of Computer Science
    International Symposium, LFCS 2013, San Diego, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    Formal Aspects of Component Software
    9th International Symposium, FACS 2012, Mountai...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Generative and Transformational Techniques in Software Engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers
    Generative and Transformational Techniques in Software Engineering IV
    International Summer School, GTTSE 2011, Braga,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Uncertainty Reasoning for the Semantic Web II : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at Floc, Revised Selected Papers
    Uncertainty Reasoning for the Semantic Web II
    International Workshops URSW 2008-2010 Held at ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
    Recent Trends in Algebraic Development Techniques
    21st International Workshop, WADT 2012, Salaman...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Logics : Essays in Memory of Harald Ganzinger
    Programming Logics
    Essays in Memory of Harald Ganzinger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Essays Dedicted to Samson Abramsky on the Occas...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings
    Theory and Applications of Models of Computation
    10th International Conference, TAMC 2013, Hong ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
    Logic-Based Program Synthesis and Transformation
    22nd International Symposium, LOPSTR 2012, Leuv...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Formal Concept Analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings
    Formal Concept Analysis
    11th International Conference, ICFCA 2013, Dres...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings - Author
    Tests and Proofs
    7th International Conference, TAP 2013, Budapes...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
    Static Analysis
    20th International Symposium, SAS 2013, Seattle...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Symbolic and Quantiative Approaches to Resoning with Uncertainty : 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013, Proceedings - Author
    Symbolic and Quantiative Approaches to Resoning with Uncertainty
    12th European Conference, ECSQARU 2013, Utrecht...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Typed Lambda Calculi and Applications : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings - Author
    Typed Lambda Calculi and Applications
    11th International Conference, TLCA 2013, Eindh...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
    Theory and Applications of Satisfiability Testing - SAT 2013
    16th International Conference, Helsinki, Finlan...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
    ECOOP 2013 -- Object-Oriented Programming
    27th European Conference, Montpellier, France, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
    Descriptional Complexity of Formal Systems
    15th International Workshop, DCFS 2013, London,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings - Author
    Implementation and Application of Automata
    18th International Conference, CIAA 2013, Halif...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
    Structured Object-Oriented Formal Language and Method
    Second International Workshop, SOFL 2012, Kyoto...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
    Interactive Theorem Proving
    4th International Conference, ITP 2013, Rennes,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial General Intelligence : 6th International Conference, AGI 2013, Beijing, China, July 31 -- August 3, 2013, Proceedings
    Artificial General Intelligence
    6th International Conference, AGI 2013, Beijing...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
    Mathematical Foundations of Computer Science 2013
    38th International Symposium, MFCS 2013, Kloste...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
    Principles and Practice of Constraint Programing-CP 2013
    19th International Conference, CP 2013, Uppsala...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings
    Algebraic Informatics
    5th International Conference, CAI 2013, Porquer...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings - Author
    Reachability Problems
    7th International Workshop, RP 2013, Uppsala, S...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • KI 2013: Advances in Artificial Intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013, Proceedings
    KI 2013: Advances in Artificial Intelligence
    36th Annual German Conference on AI, Koblenz, G...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling and Using Context : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings
    Modeling and Using Context
    8th International and Interdisciplinary Confere...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings - Author
    Logic, Rationality, and Interaction
    4th International Workshop, LORI 2013, Hangzhou...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Formal Methods and Software Engineering
    15th International Conference on Formal Enginee...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fuzzy Logic and Applications : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013, Proceedings
    Fuzzy Logic and Applications
    10th International Workshop, WILF 2013, Genoa, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings - Author
    Programming Languages and Systems
    11th International Symposium, APLAS 2013, Melbo...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorial Algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers
    Combinatorial Algorithms
    24th International Workshop, IWOCA 2013, Rouen,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2013: Advances in Artificial Intelligence : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013, Proceedings - Author
    AI*IA 2013: Advances in Artificial Intelligence
    XIIIth International Conference of the Italian ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Structures for Knowledge Representation and Reasoning : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
    Graph Structures for Knowledge Representation and Reasoning
    Third International Workshop, GKR 2013, Beijing...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    Verified Software: Theorie, Tools, Experiments
    5th International Conference, VSTTE 2013, Menlo...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    15th International Conference, VMCAI 2014, San ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings - Author
    Language and Automata Theory and Applications
    8th International Conference, LATA 2014, Madrid...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Information and Knowledge Systems : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
    Foundations of Information and Knowledge Systems
    8th International Symposium, FoIKS 2014, Bordea...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic and Algorithmic Aspects of Differential and Integral Operators : 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers
    Algebraic and Algorithmic Aspects of Differential and Integral Operators
    5th International Meeting, AADIOS 2012, Held at...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Transactions on Rough Sets XVII
    Transactions on Rough Sets XVII
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    From Programs to Systems - The Systems Perspective in Computing
    ETAPS Workshop, FPS 2014, in Honor of Joseph Si...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Computer Science - Theory and Applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
    Computer Science - Theory and Applications
    9th International Computer Science Symposium in...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
    Functional and Logic Programming
    12th International Symposium, FLOPS 2014, Kanaz...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : 12th International Conference, ICFCA 2014, Cluj-Napoca, Romania , June 10-13, 2014. Proceedings
    Formal Concept Analysis
    12th International Conference, ICFCA 2014, Cluj...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings - Author
    Formal Techniques for Distributed Objects, Components, and Systems
    34th IFIP WG 6.1 International Conference, FORT...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Author
    Rewriting and Typed Lambda Calculi
    Joint International Conferences, RTA and TLCA 2...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    Intelligent Computer Mathematics
    CICM 2014 Joint Events: Calculemus, DML, MKM, a...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
2869 Results | View 24 / 100
< 1 ... 22 23 24 25 26 ... 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