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

      • University

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

      •  

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

      • Vocational

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

      • Fiction

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

      • Kids & YA

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

      • Non-Fiction

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

      • Textbooks

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling

      • Popular Subjects

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

      • Popular Authors

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

      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling

      • Subjects

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

      •  

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

      •  

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

      Browse Kids & YA

    • New Releases
    • Bestselling

      • Popular Subjects

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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3339)
  • Books (6037)
  • Audiobooks (30)
  • eTextbooks (2959)

AVAILABILITY

  • All eBooks (3339)
  • New Releases (21)
  • Coming Soon (4)
  • Subscription eBooks (159)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (3339)
  • Books
     (6037)
  • Audiobooks
     (30)
3339 Results | View 24 / 100
< 1 ... 9 10 11 12 13 ... 34 >
Sort By
Sort By:
  • Metadata and Semantic Research : 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017, Proceedings - Emmanouel Garoufallou
    Metadata and Semantic Research
    11th International Conference, MTSR 2017, Talli...
    Emmanouel Garoufallou, Sirje Virkus, Rania Siatri and Damiana Koutsomiha
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Introduction to Software Quality : Computer Science (R0) - Gerard O’Regan
    Introduction to Software Quality
    Computer Science (R0)
    Gerard O’Regan
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Lvov-Warsaw School. Past and Present : Studies in Universal Logic - Ángel Garrido
    The Lvov-Warsaw School. Past and Present
    Studies in Universal Logic
    Ángel Garrido
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Foundations of Commutative Rings and Their Modules : Algebra and Applications : Book 22 - Fanggui Wang
    Foundations of Commutative Rings and Their Modules
    Algebra and Applications : Book 22
    Fanggui Wang and Hwankoo Kim
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Directed Algebraic Topology and Concurrency - Lisbeth Fajstrup
    Directed Algebraic Topology and Concurrency
    Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram and Martin Raussen
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Mathematical Concepts - Jürgen Jost
    Mathematical Concepts
    Jürgen Jost
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Inductive Fuzzy Classification in Marketing Analytics : Fuzzy Management Methods - Michael Kaufmann
    Inductive Fuzzy Classification in Marketing Analytics
    Fuzzy Management Methods
    Michael Kaufmann
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Afterpay
  • Turing's Revolution : The Impact of His Ideas about Computability - Giovanni Sommaruga
    Turing's Revolution
    The Impact of His Ideas about Computability
    Giovanni Sommaruga and Thomas Strahm
    eText
    Instant Online Reading*
    $199.00
    BUY EBOOK
  • One Hundred Prisoners and a Light Bulb - Hans van Ditmarsch
    One Hundred Prisoners and a Light Bulb
    Hans van Ditmarsch and Barteld Kooi
    eText
    Instant Online Reading*
    $34.99
    BUY EBOOK
  • Janus-Faced Probability : Mathematics and Statistics (R0) - Paolo Rocchi
    Janus-Faced Probability
    Mathematics and Statistics (R0)
    Paolo Rocchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlling Language in Industry : Controlled Languages for Technical Documents - Stephen Crabbe
    Controlling Language in Industry
    Controlled Languages for Technical Documents
    Stephen Crabbe
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Russell's Philosophy of Logical Analysis, 1897-1905 : History of Analytic Philosophy - J. Galaugher
    Russell's Philosophy of Logical Analysis, 1897-1905
    History of Analytic Philosophy
    J. Galaugher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • String Analysis for Software Verification and Security : Computer Science (R0) - Tevfik Bultan
    String Analysis for Software Verification and Security
    Computer Science (R0)
    Tevfik Bultan, Fang Yu, Muath Alkhalaf and Abdulbaki Aydin
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Dependence Logic : Theory and Applications - Samson Abramsky
    Dependence Logic
    Theory and Applications
    Samson Abramsky, Juha Kontinen, Jouko Väänänen and Heribert Vollmer
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Practical MATLAB : With Modeling, Simulation, and Processing Projects - Irfan Turk
    Practical MATLAB
    With Modeling, Simulation, and Processing Projects
    Irfan Turk
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • MATLAB Deep Learning : With Machine Learning, Neural Networks and Artificial Intelligence - Phil Kim
    MATLAB Deep Learning
    With Machine Learning, Neural Networks and Arti...
    Phil Kim
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics - Fabio Mogavero
    Logics in Computer Science
    A Study on Extensions of Temporal and Strategic...
    Fabio Mogavero
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models of Strategic Reasoning : Logics, Games, and Communities - Johan van Benthem
    Models of Strategic Reasoning
    Logics, Games, and Communities
    Johan van Benthem, Sujata Ghosh and Rineke Verbrugge
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Author
    Automated Technology for Verification and Analysis
    13th International Symposium, ATVA 2015, Shangh...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII : Computer Science (R0) - Abdelkader Hameurlain
    Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII
    Computer Science (R0)
    Abdelkader Hameurlain, Josef Küng and Roland Wagner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings - Rosalie Iemhoff
    Logic, Language, Information, and Computation
    26th International Workshop, WoLLIC 2019, Utrec...
    Rosalie Iemhoff, Michael Moortgat and Ruy de Queiroz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Chinese Computing : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9-14, 2019, Proceedings, Part I - Jie Tang
    Natural Language Processing and Chinese Computing
    8th CCF International Conference, NLPCC 2019, D...
    Jie Tang, Min-Yen Kan, Dongyan Zhao, Sujian Li and Hongying Zan
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Data Integration in the Life Sciences : 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings - Sören Auer
    Data Integration in the Life Sciences
    13th International Conference, DILS 2018, Hanno...
    Sören Auer and Maria-Esther Vidal
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings - Alexandre Madeira
    Dynamic Logic. New Trends and Applications
    First International Workshop, DALI 2017, Brasil...
    Alexandre Madeira and Mário Benevides
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web: ESWC 2018 Satellite Events : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers - Aldo Gangemi
    The Semantic Web: ESWC 2018 Satellite Events
    ESWC 2018 Satellite Events, Heraklion, Crete, G...
    Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph and Mehwish Alam
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings - T.V. Gopal
    Theory and Applications of Models of Computation
    15th Annual Conference, TAMC 2019, Kitakyushu, ...
    T.V. Gopal and Junzo Watada
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings - Sergei Artemov
    Logical Foundations of Computer Science
    International Symposium, LFCS 2018, Deerfield B...
    Sergei Artemov and Anil Nerode
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings - Étienne André
    Formal Modeling and Analysis of Timed Systems
    17th International Conference, FORMATS 2019, Am...
    Étienne André and Mariëlle Stoelinga
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings - Roderick Bloem
    Hardware and Software: Verification and Testing
    12th International Haifa Verification Conferenc...
    Roderick Bloem and Eli Arbel
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings - Author
    Logic and Its Applications
    7th Indian Conference, ICLA 2017, Kanpur, India...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Handbook of Formal Methods in Human-Computer Interaction : Human-Computer Interaction Series - Judy Bowen
    The Handbook of Formal Methods in Human-Computer Interaction
    Human-Computer Interaction Series
    Judy Bowen, Benjamin Weyers, Philippe Palanque and Alan Dix
    eText
    Instant Online Reading*
    $369.01
    BUY EBOOK
  • Leśniewski's Systems of Logic and Foundations of Mathematics : Trends in Logic : Book 37 - Rafal Urbaniak
    Leśniewski's Systems of Logic and Foundations of Mathematics
    Trends in Logic : Book 37
    Rafal Urbaniak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • An Introduction to the Language of Category Theory : Mathematics and Statistics (R0) - Steven Roman
    An Introduction to the Language of Category Theory
    Mathematics and Statistics (R0)
    Steven Roman
    eText
    Instant Online Reading*
    $99.00
    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
  • Formal Matrices : Algebra and Applications : Book 23 - Piotr Krylov
    Formal Matrices
    Algebra and Applications : Book 23
    Piotr Krylov and Askar Tuganbaev
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Information Processing and Management of Uncertainty in Knowledge-Based Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20-24, 2016, Proceedings, Part I - Joao Paulo Carvalho
    Information Processing and Management of Uncertainty in Knowledge-Based Systems
    16th International Conference, IPMU 2016, Eindh...
    Joao Paulo Carvalho, Bernadette Bouchon-Meunier, Susana Vieira, Marie-Jeanne Lesot and Ronald R. Yager
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Modern Logic 1850-1950, East and West : Studies in Universal Logic - Francine F. Abeles
    Modern Logic 1850-1950, East and West
    Studies in Universal Logic
    Francine F. Abeles
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Heyting Algebras : Duality Theory - Leo Esakia
    Heyting Algebras
    Duality Theory
    Leo Esakia
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Information Processing and Management of Uncertainty in Knowledge-Based Systems : 16th International Conference, IPMU 2016, Eindhoven, The Netherlands, June 20 - 24, 2016, Proceedings, Part II - Joao Paulo Carvalho
    Information Processing and Management of Uncertainty in Knowledge-Based Systems
    16th International Conference, IPMU 2016, Eindh...
    Joao Paulo Carvalho, Marie-Jeanne Lesot, Uzay Kaymak, Susana Vieira and Ronald R. Yager
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Representation Theory : A Homological Algebra Point of View - Alexander Zimmermann
    Representation Theory
    A Homological Algebra Point of View
    Alexander Zimmermann
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Philosophy's Loss of Logic to Mathematics : An Inadequately Understood Take-Over - Woosuk Park
    Philosophy's Loss of Logic to Mathematics
    An Inadequately Understood Take-Over
    Woosuk Park
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Meaning in Dialogue : An Interactive Approach to Logic and Reasoning - James Trafford
    Meaning in Dialogue
    An Interactive Approach to Logic and Reasoning
    James Trafford
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Flatland : A Romance of Many Dimensions - Edwin Abbott Abbott
    Flatland
    A Romance of Many Dimensions
    Edwin Abbott Abbott
    eBook
    Instant Digital Delivery
    $1.99
    My Library BUY EBOOK
  • A Tangled Tale : Unraveling mathematical mystery in a whimsical world of puzzles and wordplay - Lewis Carroll
    A Tangled Tale
    Unraveling mathematical mystery in a whimsical ...
    Lewis Carroll
    eBook
    Instant Digital Delivery
    $1.99
    My Library BUY EBOOK
  • Higher Segal Spaces : Lecture Notes in Mathematics : Book 2244 - Tobias Dyckerhoff
    Higher Segal Spaces
    Lecture Notes in Mathematics : Book 2244
    Tobias Dyckerhoff and Mikhail Kapranov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016, Proceedings - Author
    Developments in Language Theory
    20th International Conference, DLT 2016, Montre...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • OWL: Experiences and Directions - Reasoner Evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers - Author
    OWL: Experiences and Directions - Reasoner Evaluation
    13th International Workshop, OWLED 2016, and 5t...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II - Author
    Computer Aided Verification
    29th International Conference, CAV 2017, Heidel...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures - Giovambattista Ianni
    Reasoning Web. Semantic Interoperability on the Web
    13th International Summer School 2017, London, ...
    Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber and Steffen Staab
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings - Michael Butler
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    6th International Conference, ABZ 2018, Southam...
    Michael Butler, Alexander Raschke, Thai Son Hoang and Klaus Reichl
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings - Cezar Câmpeanu
    Descriptional Complexity of Formal Systems
    18th IFIP WG 1.2 International Conference, DCFS...
    Cezar Câmpeanu, Florin Manea and Jeffrey Shallit
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computing and Combinatorics : 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings - Author
    Computing and Combinatorics
    22nd International Conference, COCOON 2016, Ho ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings - Herman Geuvers
    Intelligent Computer Mathematics
    10th International Conference, CICM 2017, Edinb...
    Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe and Olaf Teschke
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday - Author
    From Reactive Systems to Cyber-Physical Systems
    Essays Dedicated to Scott A. Smolka on the Occa...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Structures for Knowledge Representation and Reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers - Madalina Croitoru
    Graph Structures for Knowledge Representation and Reasoning
    4th International Workshop, GKR 2015, Buenos Ai...
    Madalina Croitoru, Pierre Marquis, Sebastian Rudolph and Gem Stapleton
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fuzzy Logic and Applications : 12th International Workshop, WILF 2018, Genoa, Italy, September 6-7, 2018, Revised Selected Papers - Robert Fullér
    Fuzzy Logic and Applications
    12th International Workshop, WILF 2018, Genoa, ...
    Robert Fullér, Silvio Giove and Francesco Masulli
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings - Michael Kohlhase
    Intelligent Computer Mathematics
    9th International Conference, CICM 2016, Bialys...
    Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura and Frank Tompa
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II - Author
    Computer Aided Verification
    28th International Conference, CAV 2016, Toront...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Business Process Management : 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings - Josep Carmona
    Business Process Management
    15th International Conference, BPM 2017, Barcel...
    Josep Carmona, Gregor Engels and Akhil Kumar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Explainable Artificial Intelligence : 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures - Markus Krötzsch
    Reasoning Web. Explainable Artificial Intelligence
    15th International Summer School 2019, Bolzano,...
    Markus Krötzsch and Daria Stepanova
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers - Christiano Braga
    Formal Aspects of Component Software
    12th International Conference, FACS 2015, Niter...
    Christiano Braga and Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings - Author
    Mathematics of Program Construction
    13th International Conference, MPC 2019, Porto,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings - Author
    Diagrammatic Representation and Inference
    10th International Conference, Diagrams 2018, E...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Inductive Logic Programming : 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017, Revised Selected Papers - Nicolas Lachiche
    Inductive Logic Programming
    27th International Conference, ILP 2017, Orlean...
    Nicolas Lachiche and Christel Vrain
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers - Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    4th International Workshop, SOFL+MSVL 2014, Lux...
    Shaoying Liu and Zhenhua Duan
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings - Author
    Software Engineering and Formal Methods
    14th International Conference, SEFM 2016, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings - Kyungmin Bae
    Formal Aspects of Component Software
    15th International Conference, FACS 2018, Pohan...
    Kyungmin Bae and Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Natural Language Processing and Chinese Computing : 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9-14, 2019, Proceedings, Part II - Jie Tang
    Natural Language Processing and Chinese Computing
    8th CCF International Conference, NLPCC 2019, D...
    Jie Tang, Min-Yen Kan, Dongyan Zhao, Sujian Li and Hongying Zan
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Multi-Agent Systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers - Author
    Multi-Agent Systems
    12th European Conference, EUMAS 2014, Prague, C...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings - David N. Jansen
    Formal Modeling and Analysis of Timed Systems
    16th International Conference, FORMATS 2018, Be...
    David N. Jansen and Pavithra Prabhakar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings - Author
    Rules and Reasoning
    International Joint Conference, RuleML+RR 2017,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2019 : 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings - Robert Mark Hierons
    Theoretical Aspects of Computing - ICTAC 2019
    16th International Colloquium, Hammamet, Tunisi...
    Robert Mark Hierons and Mohamed Mosbah
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Maurizio Proietti
    Logic-Based Program Synthesis and Transformation
    24th International Symposium, LOPSTR 2014, Cant...
    Maurizio Proietti and Hirohisa Seki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings - João Silva
    Computational Processing of the Portuguese Language
    12th International Conference, PROPOR 2016, Tom...
    João Silva, Ricardo Ribeiro, Paulo Quaresma, André Adami and António Branco
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - Marco Bernardo
    Formal Methods for Multicore Programming
    15th International School on Formal Methods for...
    Marco Bernardo and Einar Broch Johnsen
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Formal Grammar : 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings - Annie Foret
    Formal Grammar
    20th and 21st International Conferences, FG 201...
    Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald and Sylvain Pogodalla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptive Set Theoretic Methods in Automata Theory : Decidability and Topological Complexity - Micha? Skrzypczak
    Descriptive Set Theoretic Methods in Automata Theory
    Decidability and Topological Complexity
    Micha? Skrzypczak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings - Rahul Jain
    Theory and Applications of Models of Computation
    12th Annual Conference, TAMC 2015, Singapore, M...
    Rahul Jain, Sanjay Jain and Frank Stephan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human Language Technology. Challenges for Computer Science and Linguistics : 7th Language and Technology Conference, LTC 2015, Pozna?, Poland, November 27-29, 2015, Revised Selected Papers - Zygmunt Vetulani
    Human Language Technology. Challenges for Computer Science and Linguistics
    7th Language and Technology Conference, LTC 201...
    Zygmunt Vetulani, Joseph Mariani and Marek Kubis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings - Bernhard K. Aichernig
    Tests and Proofs
    10th International Conference, TAP 2016, Held a...
    Bernhard K. Aichernig and Carlo A. Furia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives of System Informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers - Author
    Perspectives of System Informatics
    10th International Andrei Ershov Informatics Co...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3339 Results | View 24 / 100
< 1 ... 9 10 11 12 13 ... 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

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