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

      • University

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

      •  

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

      • Vocational

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

      • Fiction

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

      • Kids & YA

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

      • Non-Fiction

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

      • Textbooks

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling

      • Popular Subjects

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

      • Popular Authors

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

      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling

      • Subjects

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

      •  

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

      •  

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

      Browse Kids & YA

    • New Releases
    • Bestselling

      • Popular Subjects

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

Mathematical Logic

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (2974)
  • Books (4415)
  • Audiobooks (28)
  • eTextbooks (2654)

AVAILABILITY

  • All eBooks (2974)
  • New Releases (30)
  • Coming Soon (4)
  • Subscription eBooks (137)

PRICE

FORMATS

LANGUAGE

  • eBook
     (2974)
  • Books
     (4415)
  • Audiobooks
     (28)
  • Audio CDs
     (3)
2974 Results | View 24 / 100
< 1 ... 13 14 15 16 17 ... 30 >
Sort By
Sort By:
  • 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
  • Afterpay
  • 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
  • Flexible Query Answering Systems : 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings - Henrik Legind Larsen
    Flexible Query Answering Systems
    15th International Conference, FQAS 2023, Mallo...
    Henrik Legind Larsen, Maria J. Martin-Bautista, M. Dolores Ruiz, Troels Andreasen and Guy De Tré
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Intelligent Computer Mathematics : 16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings - Catherine Dubois
    Intelligent Computer Mathematics
    16th International Conference, CICM 2023, Cambr...
    Catherine Dubois and Manfred Kerber
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • The Mathematical Reasoning : The Logic and the Relativity of Space - Henri Poincaré
    The Mathematical Reasoning
    The Logic and the Relativity of Space
    Henri Poincaré
    eBook
    Instant Digital Delivery
    $5.99
    BUY EBOOK
  • Critical Views of Logic - Mirja Hartimo
    Critical Views of Logic
    Mirja Hartimo, Frode Kjosavik and Øystein Linnebo
    eText
    Instant Online Reading*
    $89.09
    BUY EBOOK
  • Diagrams and Gestures : Mathematics, Philosophy, and Linguistics - Francesco La Mantia
    Diagrams and Gestures
    Mathematics, Philosophy, and Linguistics
    Francesco La Mantia, Charles Alunni and Fernando Zalamea
    eText
    Instant Online Reading*
    $329.00
    BUY EBOOK
  • Programs as Diagrams : From Categorical Computability to Computable Categories - Dusko Pavlovic
    Programs as Diagrams
    From Categorical Computability to Computable Ca...
    Dusko Pavlovic
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Logics in Artificial Intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings - Sarah Gaggl
    Logics in Artificial Intelligence
    18th European Conference, JELIA 2023, Dresden, ...
    Sarah Gaggl, Maria Vanina Martinez and Magdalena Ortiz
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings - Panagiotis Katsaros
    Runtime Verification
    23rd International Conference, RV 2023, Thessal...
    Panagiotis Katsaros and Laura Nenzi
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Advancements in Cybercrime Investigation and Digital Forensics - A. Harisha
    Advancements in Cybercrime Investigation and Digital Forensics
    A. Harisha
    eText
    Instant Online Reading*
    $90.19
    BUY EBOOK
  • Why Machines Learn : The Elegant Maths Behind Modern AI - Anil Ananthaswamy
    Why Machines Learn
    The Elegant Maths Behind Modern AI
    Anil Ananthaswamy
    eBook
    Instant Digital Delivery
    $21.99
    BUY EBOOK
  • Machine Learning and Knowledge Extraction : 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings - Andreas Holzinger
    Machine Learning and Knowledge Extraction
    7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 I...
    Andreas Holzinger, Peter Kieseberg, Federico Cabitza, Andrea Campagner and Edgar Weippl
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Transition to Proofs - Simon Rubinstein-Salzedo
    Transition to Proofs
    Simon Rubinstein-Salzedo
    eText
    Instant Online Reading*
    $63.79
    BUY EBOOK
  • Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers - Balder D. ten Cate
    Logic, Language, and Computation
    6th International Tbilisi Symposium on Logic, L...
    Balder D. ten Cate and ?Henk W. Zeevat
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers - Hendrik Blockeel
    Inductive Logic Programming
    17th International Conference, ILP 2007, Corval...
    Hendrik Blockeel, ?Jan Ramon and ?Jude Shavlik
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Conceptual Modeling - ER 2007 : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings - Christine Parent
    Conceptual Modeling - ER 2007
    26th International Conference on Conceptual Mod...
    Christine Parent, ?KlausDieter Schewe and ?Veda C. Storey
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Transactions on Computational Systems Biology VIII - Corrado Priami
    Transactions on Computational Systems Biology VIII
    Corrado Priami
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers - Katsumi Inoue
    Computational Logic in Multi-Agent Systems
    7th International Workshop, CLIMA VII, Hakodate...
    Katsumi Inoue, ?Ken Satoh and ?Francesca Toni
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings - Z. Shao
    Programming Languages and Systems
    5th Asian Symposium, APLAS 2007, Singapore, Nov...
    Z. Shao
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings - Katsuhisa Horimoto
    Algebraic Biology
    Third International Conference, AB 2008, Castle...
    Katsuhisa Horimoto, Georg Regensburger and Markus Rosenkranz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces - L. Molnár
    Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces
    L. Molnár
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings - Joon Sang Baek
    Provable Security
    Second International Conference, ProvSec 2008, ...
    Joon Sang Baek, Feng Bao and Kefei Chen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scalable Uncertainty Management : First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings - H. Prade
    Scalable Uncertainty Management
    First International Conference, SUM 2007, Washi...
    H. Prade and V. Subrahmanian
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Probabilistic Inductive Logic Programming - Luc De Raedt
    Probabilistic Inductive Logic Programming
    Luc De Raedt, ?Paolo Frasconi and ?Kristian Kersting
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings - Alessandro Armando
    Automated Reasoning
    4th International Joint Conference, IJCAR 2008,...
    Alessandro Armando, ?Peter Baumgartner and ?Gilles Dowek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings - Ron van der Meyden
    Deontic Logic in Computer Science
    9th International Conference, DEON 2008, Luxemb...
    Ron van der Meyden and ?Leendert van der Torre
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Transactions on Rough Sets VII : Commemorating the Life and Work of Zdzislaw Pawlak, Part II - Victor W. Marek
    Transactions on Rough Sets VII
    Commemorating the Life and Work of Zdzislaw Paw...
    Victor W. Marek, ?Ewa Orlowska and ?Roman Slowi?ski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - J. Duparc
    Computer Science Logic
    21 International Workshop, CSL 2007, 16th Annua...
    J. Duparc and T. A. Henzinger
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Machine Learning: ECML 2007 : 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings - Joost N. Kok
    Machine Learning: ECML 2007
    18th European Conference on Machine Learning, W...
    Joost N. Kok, ?Jacek Koronacki and ?Ramon Lopez de Mantaras
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • 25 Years of Model Checking : History, Achievements, Perspectives - Orna Grumberg
    25 Years of Model Checking
    History, Achievements, Perspectives
    Orna Grumberg and ?Helmut Veith
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Constraint Handling Rules : Current Research Topics - Tom Schrijvers
    Constraint Handling Rules
    Current Research Topics
    Tom Schrijvers and Thom Frühwirth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers - Sadok Ben Yahia
    Concept Lattices and Their Applications
    Fourth International Conference, CLA 2006 Tunis...
    Sadok Ben Yahia, Engelbert Mephu Nguifo and Radim Belohlavek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings - Maria Garcia Banda
    Logic Programming
    24th International Conference, ICLP 2008 Udine,...
    Maria Garcia Banda and ?Enrico Pontelli
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings - A. Gupta
    Computer Aided Verification
    20th International Conference, CAV 2008 Princet...
    A. Gupta and S. Malik
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Fundamentals of Computation Theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings - Erzsébet CsuhajVarjú
    Fundamentals of Computation Theory
    16th International Symposium, FCT 2007, Budapes...
    Erzsébet CsuhajVarjú and ?Zoltán Ésik
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings - Roberto Amadio
    Foundations of Software Science and Computational Structures
    11th International Conference, FOSSACS 2008, He...
    Roberto Amadio
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings - Till Mossakowski
    Algebra and Coalgebra in Computer Science
    Second International Conference, CALCO 2007, Be...
    Till Mossakowski, ?Ugo Montanari and ?Magne Haveraaen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings - Hans Kleine Buning
    Theory and Applications of Satisfiability Testing - SAT 2008
    11th International Conference, SAT 2008, Guangz...
    Hans Kleine Buning and Xishun Zhao
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Andrei Voronkov
    Rewriting Techniques and Applications
    19th International Conference, RTA 2008 Hagenbe...
    Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings - V. Arvind
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
    27th International Conference, New Delhi, India...
    V. Arvind and ?Sanjiva Prasad
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings - Filip Zelezny
    Inductive Logic Programming
    18th International Conference, ILP 2008 Prague,...
    Filip Zelezny and Nada Lavrac
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers - Carlos MartinVide
    Language and Automata Theory and Applications
    Second International Conference, LATA 2008, Tar...
    Carlos MartinVide, Friedrich Otto and Henning Fernau
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compiler Construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings - Shriram Krishnamurthi
    Compiler Construction
    16th International Conference, CC 2007, Held as...
    Shriram Krishnamurthi and ?Martin Odersky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures - Anna Soos
    Central European Functional Programming School
    Second Summer School, CEFP 2007, Cluj-Napoca, R...
    Anna Soos
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Egon Borger
    Abstract State Machines, B and Z
    First International Conference, ABZ 2008, Londo...
    Egon Borger, Michael Butler and Jonathan P Bowen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings - Chitta Baral
    Logic Programming and Nonmonotonic Reasoning
    9th International Conference, LPNMR 2007, Tempe...
    Chitta Baral, ?Gerhard Brewka and ?John Schlipf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings - Shaoying Liu
    Formal Methods and Software Engineering
    10th International Conference on Formal Enginee...
    Shaoying Liu, Tom Maibaum and Keijiro Araki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets VI : Commemorating Life and Work of Zdislaw Pawlak, Part I - James F. Peters
    Transactions on Rough Sets VI
    Commemorating Life and Work of Zdislaw Pawlak, ...
    James F. Peters, ?Ivo Düntsch and ?Jerzy GrzymalaBusse
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Rough Sets and Intelligent Systems Paradigms : International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings - Marzena Kryszkiewicz
    Rough Sets and Intelligent Systems Paradigms
    International Conference, RSEISP 2007, Warsaw, ...
    Marzena Kryszkiewicz, ?James F. Peters and ?Henryk Rybinski
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Foundations of Fuzzy Logic and Soft Computing : 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings - Patricia Melin
    Foundations of Fuzzy Logic and Soft Computing
    12th International Fuzzy Systems Association Wo...
    Patricia Melin, Athanasios V. Vasilakos and Oscar Castillo
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers - Jaume Bacardit
    Learning Classifier Systems
    10th International Workshop, IWLCS 2006, Seattl...
    Jaume Bacardit, Ester BernadoMansilla and Martin V Butz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers - Germán Puebla
    Logic-Based Program Synthesis and Transformation
    16th International Symposium, LOPSTR 2006, Veni...
    Germán Puebla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Jeremy Gibbons
    Teaching Formal Methods
    Second International Conference, TFM 2009, Eind...
    Jeremy Gibbons and ?Jose Nuno Oliveira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Nachum Dershowitz
    Logic for Programming, Artificial Intelligence, and Reasoning
    14th International Conference, LPAR 2007, Yerev...
    Nachum Dershowitz and ?Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Time for Verification : Essays in Memory of Amir Pnueli - Z. Manna
    Time for Verification
    Essays in Memory of Amir Pnueli
    Z. Manna and D. A. Peled
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Algebraic Informatics : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers - Symeon Bozapalidis
    Algebraic Informatics
    Second International Conference, CAI 2007, Thes...
    Symeon Bozapalidis and ?George Rahonis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings - HsuChun Yen
    Developments in Language Theory
    16th International Conference, DLT 2012, Taipei...
    HsuChun Yen and ?Oscar H. Ibarra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • MICAI 2007: Advances in Artificial Intelligence : 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings - Alexander Gelbukh
    MICAI 2007: Advances in Artificial Intelligence
    6th Mexican International Conference on Artific...
    Alexander Gelbukh and ?Àngel Fernando Kuri Morales
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Machine Learning and Knowledge Discovery in Databases : European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I - Walter Daelemans
    Machine Learning and Knowledge Discovery in Databases
    European Conference, Antwerp, Belgium, Septembe...
    Walter Daelemans, ?Bart Goethals and Katharina Morik
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Cliff B. Jones
    Theoretical Aspects of Computing - ICTAC 2007
    4th International Colloquium, Macau, China, Sep...
    Cliff B. Jones, ?Zhiming Liu and ?Jones Woodcock
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets, Fuzzy Sets, Data Mining and Granular Computing : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007 - Athanasios V. Vasilakos
    Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
    11th International Conference, RSFDGrC 2007, To...
    Athanasios V. Vasilakos, Jerzy Stefanowski and Aijun An
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings - Wolfgang Thomas
    STACS 2007
    24th Annual Symposium on Theoretical Aspects of...
    Wolfgang Thomas and ?Pascal Weil
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Multivariate Algorithmic Revolution and Beyond : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday - Hans L. Bodlaender
    The Multivariate Algorithmic Revolution and Beyond
    Essays Dedicated to Michael R. Fellows on the O...
    Hans L. Bodlaender, ?Rodney Downey and ?Fedor V. Fomin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    5th International Conference, MDAI 2008, Sabade...
    Vicenç Torra and Yasuo Narukawa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Linguistics and Intelligent Text Processing : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings - Alexander Gelbukh
    Computational Linguistics and Intelligent Text Processing
    8th International Conference, CICLing 2007, Mex...
    Alexander Gelbukh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Artificial Intelligence and Soft Computing - ICAISC 2008 : 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings - Leszek Rutkowski
    Artificial Intelligence and Soft Computing - ICAISC 2008
    9th International Conference Zakopane, Poland, ...
    Leszek Rutkowski, ?Ryszard Tadeusiewicz and ?Lofti A. Zadeh
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Ait Mohamed Otmane
    Theorem Proving in Higher Order Logics
    21st International Conference, TPHOLs 2008, Mon...
    Ait Mohamed Otmane, Sofiene Tahar and César Muñoz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings - Tero Harju
    Developments in Language Theory
    11th International Conference, DLT 2007, Turku,...
    Tero Harju, Juhani Karhumäki and Arto Lepisto
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Luca de Alfaro
    Foundations of Software Science and Computational Structures
    12th International Conference, FOSSACS 2009, He...
    Luca de Alfaro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings - Sébastien Ferré
    Formal Concept Analysis
    7th International Conference, ICFCA 2009 Darmst...
    Sébastien Ferré and ?Sebastian Rudolph
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday - Jozef Kelemen
    Computation, Cooperation, and Life
    Essays Dedicated to Gheorghe Paun on the Occasi...
    Jozef Kelemen and ?Alica Kelemenová
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology - Radomir S. Stankovic
    From Boolean Logic to Switching Circuits and Automata
    Towards Modern Information Technology
    Radomir S. Stankovic and Jaakko Astola
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - Bernhard Beckert
    Formal Verification of Object-Oriented Software
    International Conference, FoVeOOS 2010, Paris, ...
    Bernhard Beckert and ?Claude Marché
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings - Gwen Salaun
    Formal Methods for Industrial Critical Systems
    16th International Workshop, FMICS 2011, Trento...
    Gwen Salaun and Bernhard Schatz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Frank Pfenning
    Automated Deduction - CADE-21
    21st International Conference on Automated Dedu...
    Frank Pfenning
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Artificial Intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 - Gerson Zaverucha
    Advances in Artificial Intelligence - SBIA 2008
    19th Brazilian Symposium on Artificial Intellig...
    Gerson Zaverucha and Augusto Loureiro da Costa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings - Wayne Wobcke
    AI 2008: Advances in Artificial Intelligence
    21st Australasian Joint Conference on Artificia...
    Wayne Wobcke and ?Mengjie Zhang
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Logic Programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings - Verónica Dahl
    Logic Programming
    23rd International Conference, ICLP 2007, Porto...
    Verónica Dahl and ?Ilkka Niemelä
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Membrane Computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers - Marian Gheorghe
    Membrane Computing
    12th International Conference, CMC 2011, Fontai...
    Marian Gheorghe, Gheorghe Paun and Grzegorz Rozenberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers - Andy King
    Logic-Based Program Synthesis and Transformation
    17th International Symposium, LOPSTR 2007, Kong...
    Andy King
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings - N. Olivetti
    Automated Reasoning with Analytic Tableaux and Related Methods
    16th International Conference, TABLEAUX 2007, A...
    N. Olivetti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computing with Words : Principal Concepts and Ideas - Lotfi A. Zadeh
    Computing with Words
    Principal Concepts and Ideas
    Lotfi A. Zadeh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings - Joao MarquesSilva
    Theory and Applications of Satisfiability Testing - SAT 2007
    10th International Conference, SAT 2007, Lisbon...
    Joao MarquesSilva and Karem A. Sakallah
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings - Antoine Mine
    Static Analysis
    19th International Symposium, SAS 2012, Deauvil...
    Antoine Mine and David Schmidt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logics in Artificial Intelligence : 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012, Proceedings - Luis Fariñas del Cerro
    Logics in Artificial Intelligence
    13th European Conference, JELIA 2012, Toulouse,...
    Luis Fariñas del Cerro, ?Andreas Herzig and ?Jérôme Mengin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Stefan Edelkamp
    Model Checking and Artificial Intelligence
    4th Workshop, MoChArt IV, Riva del Garda, Italy...
    Stefan Edelkamp and ?Alessio Lomuscio
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
2974 Results | View 24 / 100
< 1 ... 13 14 15 16 17 ... 30 >
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