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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3306)
  • Books (6156)
  • Audiobooks (32)
  • eTextbooks (2972)

AVAILABILITY

  • All eBooks (3306)
  • New Releases (24)
  • Coming Soon (8)
  • Subscription eBooks (99)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3306)
  • Books
     (6156)
  • Audiobooks
     (32)
  • Stationery
     (1)
3306 Results | View 24 / 100
< 1 ... 4 5 6 7 8 ... 34 >
Sort By
Sort By:
  • 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
  • Iconicity and Abduction : Studies in Applied Philosophy, Epistemology and Rational Ethics : Book 29 - Gianluca Caterina
    Iconicity and Abduction
    Studies in Applied Philosophy, Epistemology and...
    Gianluca Caterina and Rocco Gangle
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Applied and Computational Matrix Analysis : MAT-TRIAD, Coimbra, Portugal, September 2015 Selected, Revised Contributions - Natália Bebiano
    Applied and Computational Matrix Analysis
    MAT-TRIAD, Coimbra, Portugal, September 2015 Se...
    Natália Bebiano
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Nonsymmetric Operads in Combinatorics - Samuele Giraudo
    Nonsymmetric Operads in Combinatorics
    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
  • Mathematical Structures of Natural Intelligence : Mathematics and Statistics (R0) - Yair Neuman
    Mathematical Structures of Natural Intelligence
    Mathematics and Statistics (R0)
    Yair Neuman
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Australian Stories
  • 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 - Author
    Developments in Language Theory
    21st International Conference, DLT 2017, Liege,...
    Author
    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
  • Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers - Author
    Unifying Theories of Programming
    6th International Symposium, UTP 2016, Reykjavi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Technology in Bio- and Medical Informatics : 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings - M. Elena Renda
    Information Technology in Bio- and Medical Informatics
    7th International Conference, ITBAM 2016, Porto...
    M. Elena Renda, Miroslav Bursa, Andreas Holzinger and Sami Khuri
    eBook
    Instant Digital Delivery
    RRP $84.99
    $76.99
    BUY EBOOK
  • Rewriting Logic and Its Applications : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers - Dorel Lucanu
    Rewriting Logic and Its Applications
    11th International Workshop, WRLA 2016, Held as...
    Dorel Lucanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Machines, Computations, and Universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings - Benedek Nagy
    Machines, Computations, and Universality
    7th International Conference, MCU 2015, Famagus...
    Benedek Nagy and Jerome Durand-Lose
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Reminiscences of the Vienna Circle and the Mathematical Colloquium : Vienna Circle Collection : Book 20 - B.F. McGuinness
    Reminiscences of the Vienna Circle and the Mathematical Colloquium
    Vienna Circle Collection : Book 20
    Karl Menger, B.F. McGuinness, L. Golland and Abe Sklar
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    BUY EBOOK
  • Springer Handbook of Model-Based Science : Engineering (R0) - Lorenzo Magnani
    Springer Handbook of Model-Based Science
    Engineering (R0)
    Lorenzo Magnani
    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 - Neeraj Kumar Singh
    Using Event-B for Critical Device Software Systems
    Neeraj Kumar Singh
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.99
    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
  • On Characters of Finite Groups : Mathematics and Statistics (R0) - Michel Broué
    On Characters of Finite Groups
    Mathematics and Statistics (R0)
    Michel Broué
    eText
    Instant Online Reading*
    $74.99
    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
  • 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*
    $129.00
    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
  • New Structures for Physics : Physics and Astronomy (R0) - Bob Coecke
    New Structures for Physics
    Physics and Astronomy (R0)
    Bob Coecke
    eBook
    Instant Digital Delivery
    RRP $219.00
    $197.99
    BUY EBOOK
  • Jaakko Hintikka on Knowledge and Game-Theoretical Semantics : Outstanding Contributions to Logic : Book 12 - Hans van Ditmarsch
    Jaakko Hintikka on Knowledge and Game-Theoretical Semantics
    Outstanding Contributions to Logic : Book 12
    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 - Author
    Language, Data, and Knowledge
    First International Conference, LDK 2017, Galwa...
    Author
    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 - Author
    Developments in Language Theory
    22nd International Conference, DLT 2018, Tokyo,...
    Author
    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
  • 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
  • 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 - Author
    Numerical Software Verification
    9th International Workshop, NSV 2016, Toronto, ...
    Author
    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 and Cyril Nicaud
    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 - Author
    Dependable Software Engineering. Theories, Tools, and Applications
    4th International Symposium, SETTA 2018, Beijin...
    Author
    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 - Author
    Topics in Theoretical Computer Science
    Second IFIP WG 1.8 International Conference, TT...
    Author
    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 - Author
    Agents and Artificial Intelligence
    8th International Conference, ICAART 2016, Rome...
    Author
    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
3306 Results | View 24 / 100
< 1 ... 4 5 6 7 8 ... 34 >
Sort By
Sort By:

Join Our Newsletter

Head Office
34-48 Cosgrove Road, South Strathfield NSW 2136
ABN 90 679 610 890
MOBILE SITE

Help Centre

  • Placing An Order
  • Contact Booktopia
  • Terms Of Business
  • Privacy Policy
  • Become An Affiliate
  • Sitemap

Shipping

  • Track My Order
  • Standard Shipping
  • Express Shipping
  • Shipping Timeframes
  • Delivering Your Order
  • New Zealand Orders

About Booktopia

  • Your Local Bookstore
  • Why Buy From Booktopia?
  • Our Awards
  • Booktopia's Charities
  • Booktopia eBooks
  • Work With Us

Bestsellers

  • Babies & Toddlers' Bestseller List
  • Children's Bestseller List
  • Young Adults' Bestseller List
  • Fiction Bestseller List
  • Non-Fiction Bestseller List

Popular Brands

  • ABC Reading Eggs
  • Australian Women's Weekly
  • Bluey
  • Excel Education
  • Dr Seuss
  • For Dummies
  • Harvard Business Review
  • Harry Potter
  • LEGO
  • Little Golden Books
  • Lonely Planet Travel Books
  • No Fear Shakespeare
  • Penguin Black Classics
  • Peppa Pig
  • Teach Yourself
  • Vintage Classics
  • Where's Wally

Popular Series

  • A Court of Thorns and Roses
  • A Game of Thrones
  • Bridgerton
  • Diary of a Wimpy Kid
  • Dune
  • Jack Reacher
  • Jack West
  • Little People, Big Dreams
  • Lord of the Rings
  • Nevermoor
  • Outlander
  • The Bad Guys
  • The Treehouse Series
  • The Wheel of Time
  • The Witcher
  • Wings of Fire
  • Wolf Girl

Popular Authors

  • Brene Brown
  • Bruce Pascoe
  • David Walliams
  • Di Morrissey
  • Donna Hay
  • Fiona McIntosh
  • Helen Garner
  • Jane Harper
  • Liane Moriarty
  • Matthew Reilly
  • Peter FitzSimons
  • Sally Rooney
  • Sarah J. Maas
  • Taylor Jenkins Reid
  • Tim Winton
  • Trent Dalton
  • Yotam Ottolenghi

Popular Subjects

  • Biographies & True Stories
  • Business & Management
  • Cooking, Food & Drink
  • Crafts & Handiwork
  • Family & Health
  • Fitness & Diet
  • History
  • Self-Help & Personal Development
  • Australian Fiction
  • Crime & Mystery
  • Classic Fiction
  • Fantasy Fiction
  • Modern & Contemporary Fiction
  • Manga
  • Picture Books
  • Young Adult Fiction
Voted Australia’s Favourite Bookstore by Australian Book Buyers

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