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

      • University

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

      •  

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

      • Vocational

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

      • Fiction

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

      • Kids & YA

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

      • Non-Fiction

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

      • Textbooks

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling

      • Popular Subjects

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

      • Popular Authors

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

      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling

      • Subjects

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

      •  

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

      •  

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

      Browse Kids & YA

    • New Releases
    • Bestselling

      • Popular Subjects

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

Mathematical Logic

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

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

AVAILABILITY

  • All eBooks (2973)
  • New Releases (30)
  • Coming Soon (3)
  • Subscription eBooks (137)

PRICE

FORMATS

LANGUAGE

  • eBook
     (2973)
  • Books
     (4415)
  • Audiobooks
     (28)
  • Audio CDs
     (3)
2973 Results | View 24 / 100
< 1 ... 12 13 14 15 16 ... 30 >
Sort By
Sort By:
  • Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings - Marko Van Eekelen
    Interactive Theorem Proving
    Second International Conference, ITP 2011, Berg...
    Marko Van Eekelen, ?Herman Geuvers and ?Julien Schmaltz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial General Intelligence : 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings - Joscha Bach
    Artificial General Intelligence
    5th International Conference, AGI 2012, Oxford,...
    Joscha Bach, ?Ben Goertzel and ?Matthew Iklé
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings - Alexander Romanovsky
    Reliable Software Technologies - Ada-Europe 2011
    16th Ada-Europe International Conference on Rel...
    Alexander Romanovsky and ?Tullio Vardanega
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conditionals, Information, and Inference : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers - Gabriele KernIsberner
    Conditionals, Information, and Inference
    International Workshop, WCII 2002, Hagen, Germa...
    Gabriele KernIsberner, ?Wilhelm Rödder and ?Friedhelm Kulmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings - Burkhart Wolff
    Testing Software and Systems
    23rd IFIP WG 6.1 International Conference, ICTS...
    Burkhart Wolff and Fatiha Zaidi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Knowledge Processing and Data Analysis : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007,and First International Conference, KPP 2007, Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers - Karl Erich Wolff
    Knowledge Processing and Data Analysis
    First International Conference, KONT 2007, Novo...
    Karl Erich Wolff, ?Dmitry E. Palchunov and ?Nikolay G. Zagoruiko
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Aspects of Computational Linguistics : 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings - Sylvain Pogodalla
    Logical Aspects of Computational Linguistics
    6th International Conference, LACL 2011, Montpe...
    Sylvain Pogodalla and ?JeanPhilippe Prost
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Australian Stories
  • Recent Trends in Algebraic Development Techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers - Till Mossakowski
    Recent Trends in Algebraic Development Techniques
    20th International Workshop, WADT 2010, Etelsen...
    Till Mossakowski and ?HansJörg Kreowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings - Jürgen Dix
    Computational Logic in Multi-Agent Systems
    11th International Workshop, CLIMAX XI, Lisbon,...
    Jürgen Dix, ?Joao Leite and ?Guido Governatori
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformations : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings - Hartmut Ehrig
    Graph Transformations
    5th International Conference, ICGT 2010, Twente...
    Hartmut Ehrig, ?Arend Rensink and ?Grzegorz Rozenberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings - Markus Holzer
    Descriptional Complexity of Formal Systems
    13 International Workshop, DCFS 2011, Gießen/Li...
    Markus Holzer, ?Martin Kutrib and ?Giovanni Pighizzini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings - Kai Brünnler
    Automated Reasoning with Analytic Tableaux and Related Methods
    20th International Conference, TABLEAUX 2011, B...
    Kai Brünnler and ?George Metcalfe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Structures for Discovering Knowledge : 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings - Simon Andrews
    Conceptual Structures for Discovering Knowledge
    19th International Conference on Conceptual Str...
    Simon Andrews, ?Simon Polovina and ?Richard Hill
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday - Gregor Engels
    Graph Transformations and Model-Driven Engineering
    Essays Dedicated to Manfred Nagl on the Occasio...
    Gregor Engels, ?Claus Lewerentz and ?Wilhelm Schäfer
    eText
    Instant Online Reading*
    $179.00
    BUY EBOOK
  • Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Ganesh Gopalakrishnan
    Computer Aided Verification
    23rd International Conference, CAV 2011, Snowbi...
    Ganesh Gopalakrishnan and ?Shaz Qadeer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings - Adenilso Simao
    Formal Methods: Foundations and Applications
    14th Brazilian Symposium, SBMF 2011, Sao Paulo,...
    Adenilso Simao and Carroll Morgan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Objects to Diagrams for Ranges of Functors - Pierre Gillibert
    From Objects to Diagrams for Ranges of Functors
    Pierre Gillibert and Friedrich Wehrung
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Formal Grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers - Philippe de Groote
    Formal Grammar
    14th International Conference, FG 2009, Bordeau...
    Philippe de Groote, ?Markus Egg and ?Laura Kallmeyer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Michael Butler
    FM 2011: Formal Methods
    17th International Symposium on Formal Methods,...
    Michael Butler and ?Wolfram Schulte
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Information Processing VI : 7th IFIP TC 12 International Conference, IIP 2012, Guilin, China, October 12-15, 2012, Proceedings - Zhongzhi Shi
    Intelligent Information Processing VI
    7th IFIP TC 12 International Conference, IIP 20...
    Zhongzhi Shi, ?David Leake and ?Sunil Vadera
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Logic and Grammar : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday - Sylvain Pogodalla
    Logic and Grammar
    Essays Dedicated to Alain Lecomte on the Occasi...
    Sylvain Pogodalla, ?Myriam Quatrini and ?Christian Retoré
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings - Dimitra Giannakopoulou
    FM 2012: Formal Methods
    18th International Symposium, Paris, France, Au...
    Dimitra Giannakopoulou and ?Dominique Mery
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings - Michael Fisher
    Computational Logic in Multi-Agent Systems
    13th International Workshop, CLIMA XIII, Montpe...
    Michael Fisher, ?Leon van der Torre and ?Mehdi Dastani
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Rough Set and Knowledge Technology : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010, Proceedings - Jian Yu
    Rough Set and Knowledge Technology
    5th International Conference, RSKT 2010, Beijin...
    Jian Yu, ?Salvatore Greco and ?Pawan Lingras
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers - Koushik Sen
    Runtime Verification
    Second international Conference, RV 2011, San F...
    Koushik Sen and ?Sarfaz Khurshid
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A Primer of Infinitesimal Analysis - John L. Bell
    A Primer of Infinitesimal Analysis
    John L. Bell
    eText
    Instant Online Reading*
    $113.95
    BUY EBOOK
  • Logic, Methodology and Philosophy of Science VI - J.J. Cohen
    Logic, Methodology and Philosophy of Science VI
    J.J. Cohen, J. Los, H. Pfeiffer and K.-P. Podewski
    eText
    Instant Online Reading*
    $328.90
    BUY EBOOK
  • Logic : An Introduction - Greg Restall
    Logic
    An Introduction
    Greg Restall
    eText
    Instant Online Reading*
    $86.89
    BUY EBOOK
  • Mathematics : A Minimal Introduction - Alexandru Buium
    Mathematics
    A Minimal Introduction
    Alexandru Buium
    eText
    Instant Online Reading*
    $115.50
    BUY EBOOK
  • Fuzzy Sets and Their Applications to Cognitive and Decision Processes : Proceedings of the U.S.-Japan Seminar on Fuzzy Sets and Their Applications, Held at the University of California, Berkeley, California, July 1-4, 1974 - Lotfi A. Zadeh
    Fuzzy Sets and Their Applications to Cognitive and Decision Processes
    Proceedings of the U.S.-Japan Seminar on Fuzzy ...
    Lotfi A. Zadeh, King-Sun Fu and Kokichi Tanaka
    eText
    Instant Online Reading*
    $110.00
    BUY EBOOK
  • Introduction to Mathematical Proofs : A Transition to Advanced Mathematics, Second Edition - Charles E. Roberts Jr.
    Introduction to Mathematical Proofs
    A Transition to Advanced Mathematics, Second Ed...
    Charles E. Roberts Jr.
    eText
    Instant Online Reading*
    $125.40
    BUY EBOOK
  • Introduction to Mathematical Logic - Elliott Mendelson
    Introduction to Mathematical Logic
    Elliott Mendelson
    eText
    Instant Online Reading*
    $125.40
    BUY EBOOK
  • The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings - Akihiro Kanamori
    The Higher Infinite
    Large Cardinals in Set Theory from Their Beginn...
    Akihiro Kanamori
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Saturated Model Theory - Gerald E Sacks
    Saturated Model Theory
    Gerald E Sacks
    eText
    Instant Online Reading*
    $39.60
    BUY EBOOK
  • Modelling Computing Systems : Mathematics for Computer Science - Faron Moller
    Modelling Computing Systems
    Mathematics for Computer Science
    Faron Moller and Georg Struth
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Exploring Mathematics : An Engaging Introduction to Proof - John Meier
    Exploring Mathematics
    An Engaging Introduction to Proof
    John Meier and Derek Smith
    eText
    Instant Online Reading*
    $85.95
    BUY EBOOK
  • Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus - Guerino Mazzola
    Comprehensive Mathematics for Computer Scientists 2
    Calculus and ODEs, Splines, Probability, Fourie...
    Guerino Mazzola, Gérard Milmeister and Jody Weissmann
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • The Homotopy Theory of (∞, 1)-Categories - Julia E. Bergner
    The Homotopy Theory of (∞, 1)-Categories
    Julia E. Bergner
    eText
    Instant Online Reading*
    $75.96
    BUY EBOOK
  • Logical Foundations of Cyber-Physical Systems - André Platzer
    Logical Foundations of Cyber-Physical Systems
    André Platzer
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • The Design of Requirements Modelling Languages : How to Make Formalisms for Problem Solving in Requirements Engineering - Ivan Jureta
    The Design of Requirements Modelling Languages
    How to Make Formalisms for Problem Solving in R...
    Ivan Jureta
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Subjective Logic : A Formalism for Reasoning Under Uncertainty - Audun Jøsang
    Subjective Logic
    A Formalism for Reasoning Under Uncertainty
    Audun Jøsang
    eText
    Instant Online Reading*
    $289.00
    BUY EBOOK
  • Finitely Supported Mathematics : An Introduction - Andrei Alexandru
    Finitely Supported Mathematics
    An Introduction
    Andrei Alexandru and Gabriel Ciobanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Ernst Zermelo : An Approach to His Life and Work - Heinz Dieter Ebbinghaus
    Ernst Zermelo
    An Approach to His Life and Work
    Heinz Dieter Ebbinghaus and Volker Peckhaus
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Process Algebras for Petri Nets : The Alphabetization of Distributed Systems - Roberto Gorrieri
    Process Algebras for Petri Nets
    The Alphabetization of Distributed Systems
    Roberto Gorrieri
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Description Logics in Multimedia Reasoning - Leslie F. Sikos
    Description Logics in Multimedia Reasoning
    Leslie F. Sikos
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Turing Computability : Theory and Applications - Robert I. Soare
    Turing Computability
    Theory and Applications
    Robert I. Soare
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Software Language Engineering : 7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014. Proceedings
    Software Language Engineering
    7th International Conference, SLE 2014, Vastera...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reachability Problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
    Reachability Problems
    8th International Workshop, RP 2014, Oxford, UK...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings - Author
    Static Analysis
    21st International Symposium, SAS 2014, Munich,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Its Applications : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings - Author
    Logic and Its Applications
    5th International Conference, ICLA 2013, Chenna...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Handbook of Model Checking - Author
    Handbook of Model Checking
    Author
    eText
    Instant Online Reading*
    $229.00
    BUY EBOOK
  • Introduction to Concurrency Theory : Transition Systems and CCS - Roberto Gorrieri
    Introduction to Concurrency Theory
    Transition Systems and CCS
    Roberto Gorrieri and Cristian Versari
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Petri Net Synthesis - Eric Badouel
    Petri Net Synthesis
    Eric Badouel, Luca Bernardinello and Philippe Darondeau
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Cylindric-like Algebras and Algebraic Logic
    Cylindric-like Algebras and Algebraic Logic
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures - Ernst-Erich Doberkat
    Special Topics in Mathematics for Computer Scientists
    Sets, Categories, Topologies and Measures
    Ernst-Erich Doberkat
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Erdos Centennial - Author
    Erdos Centennial
    Author
    eText
    Instant Online Reading*
    $289.00
    BUY EBOOK
  • Ernst Zermelo - Collected Works/Gesammelte Werke II : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik - Ernst Zermelo
    Ernst Zermelo - Collected Works/Gesammelte Werke II
    Volume II/Band II - Calculus of Variations, App...
    Ernst Zermelo
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Introduction to Relation Algebras : Relation Algebras, Volume 1 - Steven Givant
    Introduction to Relation Algebras
    Relation Algebras, Volume 1
    Steven Givant
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Advanced Topics in Relation Algebras : Relation Algebras, Volume 2 - Steven Givant
    Advanced Topics in Relation Algebras
    Relation Algebras, Volume 2
    Steven Givant
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI,...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Formal Grammar : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Dusseldorf, Germany, August 2013, Proceedings
    Formal Grammar
    17th and 18th International Conferences, FG 201...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings - Author
    Logic, Language, Information, and Computation
    20th International Workshop, WoLLIC 2013, Darms...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Beauty of Functional Code : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
    The Beauty of Functional Code
    Essays Dedicated to Rinus Plasmeijer on the Occ...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
    Reliable Software Technologies - Ada-Europe 2014
    19th Ada-Europe International Conference on Rel...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Implementation and Application of Automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings - Author
    Implementation and Application of Automata
    19th International Conference, CIAA 2014, Giess...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings
    Logic, Language, Information, and Computation
    21st International Workshop, WoLLIC 2014, Valpa...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
    Tests and Proofs
    8th International Conference, TAP 2014, Held as...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings - Author
    Deontic Logic and Normative Systems
    12th International Conference, DEON 2014, Ghent...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
    Graph Transformation
    7th International Conference, ICGT 2014, Held a...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Artificial General Intelligence : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings
    Artificial General Intelligence
    7th International Conference, AGI 2014, Quebec ...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Developments in Language Theory : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
    Developments in Language Theory
    18th International Conference, DLT 2014, Ekater...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
    Computational Logic in Multi-Agent Systems
    15th International Workshop, CLIMA XV, Prague, ...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
    Descriptional Complexity of Formal Systems
    16th International Workshop, DCFS 2014, Turku, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings - Author
    Computational Processing of the Portuguese Language
    11th International Conference, PROPOR 2014, Sao...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlled Natural Language : 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings - Author
    Controlled Natural Language
    4th International Workshop, CNL 2014, Galway, I...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    Integrated Formal Methods
    11th International Conference, IFM 2014, Bertin...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Reasoning and the Web in the Big Data Era : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
    Reasoning Web. Reasoning and the Web in the Big Data Era
    10th International Summer School 2014, Athens, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
    Runtime Verification
    5th International Conference, RV 2014, Toronto,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • KI 2014: Advances in Artificial Intelligence : 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings - Author
    KI 2014: Advances in Artificial Intelligence
    37th Annual German Conference on AI, Stuttgart,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Correct System Design : Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings - Author
    Correct System Design
    Symposium in Honor of Ernst-Rudiger Olderog on ...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Trends in Functional Programming : 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers - Author
    Trends in Functional Programming
    13th International Symposium, TFP 2012, St Andr...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    4th International Conference, ABZ 2014, Toulous...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    Model-Based Safety and Assessment
    4th International Symposium, IMBSA 2014, Munich...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    Fundamental Approaches to Software Engineering
    18th International Conference, FASE 2015, Held ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning and Mathematics : Essays in Memory of William W. McCune - Author
    Automated Reasoning and Mathematics
    Essays in Memory of William W. McCune
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
    Logic, Language, and Computation
    9th International Tbilisi Symposium on Logic, L...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings - Author
    Software Engineering and Formal Methods
    11th International Conference, SEFM 2013, Madri...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings - Author
    Formal Methods for Industrial Critical Systems
    20th International Workshop, FMICS 2015 Oslo, N...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
    Tests and Proofs
    9th International Conference, TAP 2015, Held as...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings - Author
    Reliable Software Technologies - Ada-Europe 2015
    20th Ada-Europe International Conference on Rel...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
    Dependable Software Engineering: Theories, Tools, and Applications
    First International Symposium, SETTA 2015, Nanj...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Algorithmic Learning Theory : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings
    Algorithmic Learning Theory
    24th International Conference, ALT 2013, Singap...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings - Author
    Hardware and Software: Verification and Testing
    13th International Haifa Verification Conferenc...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets and Current Trends in Computing : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings
    Rough Sets and Current Trends in Computing
    9th International Conference, RSCTC 2014, Grana...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I - Author
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
    6th International Symposium, ISoLA 2014, Imperi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
    Relational and Algebraic Methods in Computer Science
    15th International Conference, RAMiCS 2015, Bra...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    14th International Conference, VMCAI 2013, Rome...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XVI
    Transactions on Rough Sets XVI
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
    Formal Techniques for Distributed Systems
    Joint IFIP WG 6.1 International Conference, FMO...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
2973 Results | View 24 / 100
< 1 ... 12 13 14 15 16 ... 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