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 $79

Mathematical Logic

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (2981)
  • Books (4261)
  • Audiobooks (38)
  • eTextbooks (2669)

AVAILABILITY

  • All eBooks (2981)
  • New Releases (23)
  • Coming Soon (4)
  • Subscription eBooks (137)

PRICE

FORMATS

LANGUAGE

  • eBook
     (2981)
  • Books
     (4261)
  • Audiobooks
     (38)
  • Audio CDs
     (3)
2981 Results | View 24 / 100
< 1 ... 6 7 8 9 10 ... 30 >
Sort By
Sort By:
  • The Congruences of a Finite Lattice : A
    The Congruences of a Finite Lattice
    A "Proof-by-Picture" Approach
    George Grätzer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Springer Handbook of Model-Based Science : Engineering (R0) - Lorenzo Magnani
    Springer Handbook of Model-Based Science
    Engineering (R0)
    Lorenzo Magnani and Tommaso Bertolotti
    eText
    Instant Online Reading*
    $519.00
    BUY EBOOK
  • Pell and Pell-Lucas Numbers with Applications - Thomas Koshy
    Pell and Pell-Lucas Numbers with Applications
    Thomas Koshy
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Using Event-B for Critical Device Software Systems : Computer Science (R0) - Neeraj Kumar Singh
    Using Event-B for Critical Device Software Systems
    Computer Science (R0)
    Neeraj Kumar Singh
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.10
    BUY EBOOK
  • Type Systems for Distributed Programs : Components and Sessions - Ornela Dardha
    Type Systems for Distributed Programs
    Components and Sessions
    Ornela Dardha
    eText
    Instant Online Reading*
    $149.01
    BUY EBOOK
  • Set Theory : With an Introduction to Real Point Sets - Abhijit Dasgupta
    Set Theory
    With an Introduction to Real Point Sets
    Abhijit Dasgupta
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016 - Hiroakira Ono
    Philosophical Logic: Current Trends in Asia
    Proceedings of AWPL-TPLC 2016
    Hiroakira Ono, Syraya Chin-Mu Yang and Kok Yong Lee
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Hot Pre-Orders
  • Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks : Computer Science (R0) - Muhammad Usman
    Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
    Computer Science (R0)
    Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu and Surraya Khanum
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A Course on Basic Model Theory - Haimanti Sarbadhikari
    A Course on Basic Model Theory
    Haimanti Sarbadhikari and Shashi Mohan Srivastava
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Formal Languages and Compilation : Computer Science (R0) - Stefano Crespi Reghizzi
    Formal Languages and Compilation
    Computer Science (R0)
    Stefano Crespi Reghizzi, Luca Breveglieri and Angelo Morzenti
    eText
    Instant Online Reading*
    $149.01
    BUY EBOOK
  • On the Logos : A Naïve View on Ordinary Reasoning and Fuzzy Logic - Enric Trillas
    On the Logos
    A Naïve View on Ordinary Reasoning and Fuzzy Logic
    Enric Trillas
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Jaakko Hintikka on Knowledge and Game-Theoretical Semantics : Philosophy and Religion (R0) - Hans van Ditmarsch
    Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
    Philosophy and Religion (R0)
    Hans van Ditmarsch and Gabriel Sandu
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Structures and Algorithms : Mathematics and the Nature of Knowledge - Jens Erik Fenstad
    Structures and Algorithms
    Mathematics and the Nature of Knowledge
    Jens Erik Fenstad
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings - Christoph Benzmüller
    Rules and Reasoning
    Second International Joint Conference, RuleML+R...
    Christoph Benzmüller, Francesco Ricca, Xavier Parent and Dumitru Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proof Theory : History and Philosophical Significance - Vincent F. Hendricks
    Proof Theory
    History and Philosophical Significance
    Vincent F. Hendricks, ?Stig Andur Pedersen and ?Klaus Frovin Jørgensen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings - Shuvendu K. Lahiri
    Automated Technology for Verification and Analysis
    16th International Symposium, ATVA 2018, Los An...
    Shuvendu K. Lahiri and Chao Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday - Tiziana Margaria
    Models, Mindsets, Meta: The What, the How, and the Why Not?
    Essays Dedicated to Bernhard Steffen on the Occ...
    Tiziana Margaria, Susanne Graf and Kim G. Larsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 15th International Conference, MDAI 2018, Mallorca, Spain, October 15-18, 2018, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    15th International Conference, MDAI 2018, Mallo...
    Vicenç Torra, Yasuo Narukawa, Isabel Aguiló and Manuel González-Hidalgo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings - Md. Aquil Khan
    Logic and Its Applications
    8th Indian Conference, ICLA 2019, Delhi, India,...
    Md. Aquil Khan and Amaldev Manuel
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Flexible Query Answering Systems : 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings - Alfredo Cuzzocrea
    Flexible Query Answering Systems
    13th International Conference, FQAS 2019, Amant...
    Alfredo Cuzzocrea, Sergio Greco, Henrik Legind Larsen, Domenico Saccà and Henning Christiansen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings - Ahmed Bouajjani
    Verification, Model Checking, and Abstract Interpretation
    18th International Conference, VMCAI 2017, Pari...
    Ahmed Bouajjani and David Monniaux
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings - Diana Cristea
    Formal Concept Analysis
    15th International Conference, ICFCA 2019, Fran...
    Diana Cristea, Florence Le Ber and Baris Sertkaya
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings - Atsushi Igarashi
    Programming Languages and Systems
    14th Asian Symposium, APLAS 2016, Hanoi, Vietna...
    Atsushi Igarashi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Web and Wireless Geographical Information Systems : 16th International Symposium, W2GIS 2018, A Coruna, Spain, May 21-22, 2018, Proceedings - Miguel R. Luaces
    Web and Wireless Geographical Information Systems
    16th International Symposium, W2GIS 2018, A Cor...
    Miguel R. Luaces and Farid Karimipour
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings - Pascal Fontaine
    Automated Deduction - CADE 27
    27th International Conference on Automated Dedu...
    Pascal Fontaine
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings - Andreas Herzig
    Frontiers of Combining Systems
    12th International Symposium, FroCoS 2019, Lond...
    Andreas Herzig and Andrei Popescu
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Language, Data, and Knowledge : First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings - Jorge Gracia
    Language, Data, and Knowledge
    First International Conference, LDK 2017, Galwa...
    Jorge Gracia, Francis Bond, John P. McCrae, Paul Buitelaar and Sebastian Hellmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings - Jarkko Kari
    Unveiling Dynamics and Complexity
    13th Conference on Computability in Europe, CiE...
    Jarkko Kari, Florin Manea and Ion Petre
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings - Arnold Beckmann
    Pursuit of the Universal
    12th Conference on Computability in Europe, CiE...
    Arnold Beckmann, Laurent Bienvenu and Nataša Jonoska
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2016 Advances in Artificial Intelligence : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings - Giovanni Adorni
    AI*IA 2016 Advances in Artificial Intelligence
    XVth International Conference of the Italian As...
    Giovanni Adorni, Stefano Cagnoni, Marco Gori and Marco Maratea
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Information Systems : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings - Elisabeth Métais
    Natural Language Processing and Information Systems
    21st International Conference on Applications o...
    Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran and Sunil Vadera
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings - Mizuho Hoshi
    Developments in Language Theory
    22nd International Conference, DLT 2018, Tokyo,...
    Mizuho Hoshi and Shinnosuke Seki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Form : Between Logic and Natural Language - Andrea Iacona
    Logical Form
    Between Logic and Natural Language
    Andrea Iacona
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers - Fabio Fioravanti
    Logic-Based Program Synthesis and Transformation
    27th International Symposium, LOPSTR 2017, Namu...
    Fabio Fioravanti and John P. Gallagher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • On the Move to Meaningful Internet Systems: OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers - Ioana Ciuciu
    On the Move to Meaningful Internet Systems: OTM 2016 Workshops
    Confederated International Workshops: EI2N, FBM...
    Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart and Maria-Esther Vidal
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph-Based Representation and Reasoning : 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019, Proceedings - Dominik Endres
    Graph-Based Representation and Reasoning
    24th International Conference on Conceptual Str...
    Dominik Endres, Mehwish Alam and Diana ?otropa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings - Luca Bortolussi
    Computational Methods in Systems Biology
    17th International Conference, CMSB 2019, Tries...
    Luca Bortolussi and Guido Sanguinetti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings - John Hooker
    Principles and Practice of Constraint Programming
    24th International Conference, CP 2018, Lille, ...
    John Hooker
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings - Maurice H. ter Beek
    Formal Methods - The Next 30 Years
    Third World Congress, FM 2019, Porto, Portugal,...
    Maurice H. ter Beek, Annabelle McIver and José N. Oliveira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings - Didier Galmiche
    Automated Reasoning
    9th International Joint Conference, IJCAR 2018,...
    Didier Galmiche, Stephan Schulz and Roberto Sebastiani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers - Katsumi Inoue
    Inductive Logic Programming
    25th International Conference, ILP 2015, Kyoto,...
    Katsumi Inoue, Hayato Ohwada and Akihiro Yamamoto
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorics on Words : 12th International Conference, WORDS 2019, Loughborough, UK, September 9-13, 2019, Proceedings - Robert Merca?
    Combinatorics on Words
    12th International Conference, WORDS 2019, Loug...
    Robert Merca? and Daniel Reidenbach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings - Wil van der Aalst
    Application and Theory of Petri Nets and Concurrency
    38th International Conference, PETRI NETS 2017,...
    Wil van der Aalst and Eike Best
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings - Giovanni Pighizzini
    Descriptional Complexity of Formal Systems
    19th IFIP WG 1.02 International Conference, DCF...
    Giovanni Pighizzini and Cezar Câmpeanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings - Peter Höfner
    Relational and Algebraic Methods in Computer Science
    16th International Conference, RAMiCS 2017, Lyo...
    Peter Höfner, Damien Pous and Georg Struth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I - Swarat Chaudhuri
    Computer Aided Verification
    28th International Conference, CAV 2016, Toront...
    Swarat Chaudhuri and Azadeh Farzan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Philosophers and Mathematics : Festschrift for Roshdi Rashed - Hassan Tahiri
    The Philosophers and Mathematics
    Festschrift for Roshdi Rashed
    Hassan Tahiri
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Sergiy Bogomolov
    Numerical Software Verification
    9th International Workshop, NSV 2016, Toronto, ...
    Sergiy Bogomolov, Matthieu Martel and Pavithra Prabhakar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings - Mauricio Ayala-Rincón
    Interactive Theorem Proving
    8th International Conference, ITP 2017, Brasili...
    Mauricio Ayala-Rincón and César A. Muñoz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings - Thierry Lecomte
    Formal Methods: Foundations and Applications
    19th Brazilian Symposium, SBMF 2016, Natal, Bra...
    Thierry Lecomte and Leila Ribeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings - Shmuel Tomi Klein
    Language and Automata Theory and Applications
    12th International Conference, LATA 2018, Ramat...
    Shmuel Tomi Klein, Carlos Martín-Vide and Dana Shapira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, and Probability : A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971 - R. Bogdan
    Logic, Language, and Probability
    A Selection of Papers Contributed to Sections I...
    R. Bogdan and I. Niiniluoto
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Implementation and Application of Automata : 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017, Proceedings - Arnaud Carayol
    Implementation and Application of Automata
    22nd International Conference, CIAA 2017, Marne...
    Arnaud Carayol and Cyril Nicaud
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings - Nicola Olivetti
    Automated Reasoning
    8th International Joint Conference, IJCAR 2016,...
    Nicola Olivetti and Ashish Tiwari
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings - Xinyu Feng
    Dependable Software Engineering. Theories, Tools, and Applications
    4th International Symposium, SETTA 2018, Beijin...
    Xinyu Feng, Markus Müller-Olm and Zijiang Yang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semigroups in Complete Lattices : Quantales, Modules and Related Topics - Patrik Eklund
    Semigroups in Complete Lattices
    Quantales, Modules and Related Topics
    Patrik Eklund, Javier Gutie?rrez Garci?a, Ulrich Höhle and Jari Kortelainen
    eText
    Instant Online Reading*
    $199.00
    BUY EBOOK
  • Computing with Foresight and Industry : 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings - Florin Manea
    Computing with Foresight and Industry
    15th Conference on Computability in Europe, CiE...
    Florin Manea, Barnaby Martin, Daniël Paulusma and Giuseppe Primiero
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Current Trends in Web Engineering : ICWE 2017 International Workshops, Liquid Multi-Device Software and EnWoT, practi-O-web, NLPIT, SoWeMine, Rome, Italy, June 5-8, 2017, Revised Selected Papers - Irene Garrigós
    Current Trends in Web Engineering
    ICWE 2017 International Workshops, Liquid Multi...
    Irene Garrigós and Manuel Wimmer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings - Elvira Albert
    Formal Techniques for Distributed Objects, Components, and Systems
    36th IFIP WG 6.1 International Conference, FORT...
    Elvira Albert and Ivan Lanese
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Sandrine Blazy
    Verified Software. Theories, Tools, and Experiments
    8th International Conference, VSTTE 2016, Toron...
    Sandrine Blazy and Marsha Chechik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings - Mohammad Reza Mousavi
    Topics in Theoretical Computer Science
    Second IFIP WG 1.8 International Conference, TT...
    Mohammad Reza Mousavi and Ji?í Sgall
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Bernd Finkbeiner
    Runtime Verification
    19th International Conference, RV 2019, Porto, ...
    Bernd Finkbeiner and Leonardo Mariani
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings - Serenella Cerrito
    Automated Reasoning with Analytic Tableaux and Related Methods
    28th International Conference, TABLEAUX 2019, L...
    Serenella Cerrito and Andrei Popescu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings - Marcello Balduccini
    Logic Programming and Nonmonotonic Reasoning
    14th International Conference, LPNMR 2017, Espo...
    Marcello Balduccini and Tomi Janhunen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings - Alessandro Antonucci
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    14th European Conference, ECSQARU 2017, Lugano,...
    Alessandro Antonucci, Laurence Cholvy and Odile Papini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers - Joaquim Filipe
    Agents and Artificial Intelligence
    8th International Conference, ICAART 2016, Rome...
    Joaquim Filipe and Jaap van den Herik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers - Zhiming Liu
    Formal Aspects of Component Software
    10th International Symposium, FACS 2013, Nancha...
    Zhiming Liu, Jinyun Xue and José Luiz Fiadeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings - Cláudia Nalon
    Automated Reasoning with Analytic Tableaux and Related Methods
    26th International Conference, TABLEAUX 2017, B...
    Cláudia Nalon and Renate A. Schmidt
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Combinatorial Set Theory : With a Gentle Introduction to Forcing - Lorenz J. Halbeisen
    Combinatorial Set Theory
    With a Gentle Introduction to Forcing
    Lorenz J. Halbeisen
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Logical Foundations of Mathematics and Computational Complexity : A Gentle Introduction - Pavel Pudlák
    Logical Foundations of Mathematics and Computational Complexity
    A Gentle Introduction
    Pavel Pudlák
    eText
    Instant Online Reading*
    $289.00
    BUY EBOOK
  • Software Engineering and Methodology for Emerging Domains : 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers - Zheng Li
    Software Engineering and Methodology for Emerging Domains
    16th National Conference, NASAC 2017, Harbin, C...
    Zheng Li, He Jiang, Ge Li, Minghui Zhou and Ming Li
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Complexity of Solving Equation Systems : Computer Science (R0) - Przemys?aw Broniek
    Computational Complexity of Solving Equation Systems
    Computer Science (R0)
    Przemys?aw Broniek
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • The Square of Opposition : A Cornerstone of Thought - Jean-Yves Béziau
    The Square of Opposition
    A Cornerstone of Thought
    Jean-Yves Béziau and Gianfranco Basti
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers - Cyrille Artho
    Formal Techniques for Safety-Critical Systems
    6th International Workshop, FTSCS 2018, Gold Co...
    Cyrille Artho and Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematics and the Mind : An Introduction into Ibn S?n?'s Theory of Knowledge - Hassan Tahiri
    Mathematics and the Mind
    An Introduction into Ibn S?n?'s Theory of Knowl...
    Hassan Tahiri
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Artificial Life and Evolutionary Computation : 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers - Marcello Pelillo
    Artificial Life and Evolutionary Computation
    12th Italian Workshop, WIVACE 2017, Venice, Ita...
    Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra and Marco Villani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Nonsymmetric Operads in Combinatorics : Computer Science (R0) - Samuele Giraudo
    Nonsymmetric Operads in Combinatorics
    Computer Science (R0)
    Samuele Giraudo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Number Theory : An Introduction via the Density of Primes - Benjamin Fine
    Number Theory
    An Introduction via the Density of Primes
    Benjamin Fine and Gerhard Rosenberger
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Fuzziness in Information Systems : How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization - Miroslav Hudec
    Fuzziness in Information Systems
    How to Deal with Crisp and Fuzzy Data in Select...
    Miroslav Hudec
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Popular Lectures on Logic - John-Michael Kuczynski
    Popular Lectures on Logic
    John-Michael Kuczynski
    eBook
    Instant Digital Delivery
    $14.99
    My Library BUY EBOOK
  • Formal Concept Analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings - Jaume Baixeries
    Formal Concept Analysis
    13th International Conference, ICFCA 2015, Nerj...
    Jaume Baixeries, Christian Sacarea and Manuel Ojeda-Aciego
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Rewriting, and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday - Narciso Martí-Oliet
    Logic, Rewriting, and Concurrency
    Essays Dedicated to Jose Meseguer on the Occasi...
    Narciso Martí-Oliet, Peter Csaba Ölveczky and Carolyn Talcott
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • On the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C &TC 2019, Rhodes, Greece, October 21-25, 2019, Proceedings - Hervé Panetto
    On the Move to Meaningful Internet Systems: OTM 2019 Conferences
    Confederated International Conferences: CoopIS,...
    Hervé Panetto, Christophe Debruyne, Martin Hepp, Dave Lewis and Robert Meersman
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Combinatorial Algorithms : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers - Mirka Miller
    Combinatorial Algorithms
    25th International Workshop, IWOCA 2014, Duluth...
    Mirka Miller, Dalibor Froncek and Kratochvíl Jan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings - Author
    Static Analysis
    22nd International Symposium, SAS 2015, Saint-M...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings - Jeffrey Shallit
    Descriptional Complexity of Formal Systems
    17th International Workshop, DCFS 2015, Waterlo...
    Jeffrey Shallit and Alexander Okhotin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorial Algorithms : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers - Zsuzsanna Lipták
    Combinatorial Algorithms
    26th International Workshop, IWOCA 2015, Verona...
    Zsuzsanna Lipták and William F. Smyth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Engineering Multi-Agent Systems : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers - Author
    Engineering Multi-Agent Systems
    4th International Workshop, EMAS 2016, Singapor...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorial Algorithms : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings - Veli Mäkinen
    Combinatorial Algorithms
    27th International Workshop, IWOCA 2016, Helsin...
    Veli Mäkinen, Simon J. Puglisi and Leena Salmela
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 21st International Conference, DLT 2017, Liege, Belgium, August 7-11, 2017, Proceedings - Émilie Charlier
    Developments in Language Theory
    21st International Conference, DLT 2017, Liege,...
    Émilie Charlier, Julien Leroy and Michel Rigo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematics of Program Construction : 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings - Ralf Hinze
    Mathematics of Program Construction
    12th International Conference, MPC 2015, Konigs...
    Ralf Hinze and Janis Voigtländer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorics on Words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings - Dirk Nowotka
    Combinatorics on Words
    10th International Conference, WORDS 2015, Kiel...
    Dirk Nowotka and Florin Manea
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II - Ian F. C. Smith
    Advanced Computing Strategies for Engineering
    25th EG-ICE International Workshop 2018, Lausan...
    Ian F. C. Smith and Bernd Domer
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings - Francesco Calimeri
    Logic Programming and Nonmonotonic Reasoning
    13th International Conference, LPNMR 2015, Lexi...
    Francesco Calimeri, Giovambattista Ianni and Miroslaw Truszczynski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers - James Cussens
    Inductive Logic Programming
    26th International Conference, ILP 2016, London...
    James Cussens and Alessandra Russo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II - Djamal Benslimane
    Database and Expert Systems Applications
    28th International Conference, DEXA 2017, Lyon,...
    Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain and Roland R. Wagner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Engineering Multi-Agent Systems : 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers - Amal El Fallah-Seghrouchni
    Engineering Multi-Agent Systems
    5th International Workshop, EMAS 2017, Sao Paul...
    Amal El Fallah-Seghrouchni, Alessandro Ricci and Tran Cao Son
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I - Djamal Benslimane
    Database and Expert Systems Applications
    28th International Conference, DEXA 2017, Lyon,...
    Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain and Roland R. Wagner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • PRIMA 2016: Principles and Practice of Multi-Agent Systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings - Author
    PRIMA 2016: Principles and Practice of Multi-Agent Systems
    19th International Conference, Phuket, Thailand...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
2981 Results | View 24 / 100
< 1 ... 6 7 8 9 10 ... 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