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

Mathematical Logic

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (2869)
  • Books (4044)
  • Audiobooks (26)
  • eTextbooks (2554)

AVAILABILITY

  • All eBooks (2869)
  • New Releases (24)
  • Subscription eBooks (132)

PRICE

FORMATS

LANGUAGE

  • eBook
    (2869)
  • Books
    (4044)
  • Audiobooks
    (26)
2869 Results | View 24 / 100
< 1 ... 25 26 27 28 29 >
Sort By
Sort By:
  • Combinatorics on Words : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20, 2013, Proceedings
    Combinatorics on Words
    9th International Conference, WORDS 2013, Turku...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Language and Automata Theory and Applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings - Author
    Language and Automata Theory and Applications
    7th International Conference, LATA 2013, Bilbao...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Constraint Solving and Language Processing : 7th International Workshop, CSLP 2012, Orleans, France, September 13-14, 2012, Revised Selected Papers - Author
    Constraint Solving and Language Processing
    7th International Workshop, CSLP 2012, Orleans,...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Developments in Language Theory : 17th International Conference, DLT 2013, Marne-la-Vallee, France, June 18-21, 2013, Proceedings
    Developments in Language Theory
    17th International Conference, DLT 2013, Marne-...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Frontiers of Combining Systems : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings
    Frontiers of Combining Systems
    9th International Symposium, FroCoS 2013, Nancy...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • On Fuzziness : A Homage to Lotfi A. Zadeh - Volume 1 - Author
    On Fuzziness
    A Homage to Lotfi A. Zadeh - Volume 1
    Author
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • On Fuzziness : A Homage to Lotfi A. Zadeh - Volume 2 - Rudolf Seising
    On Fuzziness
    A Homage to Lotfi A. Zadeh - Volume 2
    Rudolf Seising
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Afterpay
  • Unconventional Computation and Natural Computation : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings - Author
    Unconventional Computation and Natural Computation
    12th International Conference, UCNC 2013, Milan...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Inductive Logic Programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers
    Inductive Logic Programming
    22nd International Conference, ILP 2012, Dubrov...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Noneist Explorations I : The Sylvan Jungle - Volume 2 - Richard Routley
    Noneist Explorations I
    The Sylvan Jungle - Volume 2
    Richard Routley and Val Routley
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Adaptive and Learning Systems : Theory and Applications - Kumpati S. Narendra
    Adaptive and Learning Systems
    Theory and Applications
    Kumpati S. Narendra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Essays on Belnap-­Dunn Logic
    New Essays on Belnap-­Dunn Logic
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Diagonalization in Formal Mathematics - Paulo Guilherme Santos
    Diagonalization in Formal Mathematics
    Paulo Guilherme Santos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Geometry - Israel M. Gelfand
    Geometry
    Israel M. Gelfand and Tatiana Alekseyevskaya (Gelfand)
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Artificial Intelligence. An International Perspective : An International Perspective - Max Bramer
    Artificial Intelligence. An International Perspective
    An International Perspective
    Max Bramer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings - Sergei Artemov
    Logical Foundations of Computer Science
    International Symposium, LFCS 2009, Deerfield B...
    Sergei Artemov and ?Anil Nerode
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlled Natural Language : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers - Norbert E Fuchs
    Controlled Natural Language
    Workshop on Controlled Natural Language, CNL 20...
    Norbert E Fuchs
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings - James Delgrande
    Logic Programming and Nonmonotonic Reasoning
    11th International Conference, LPNMR 2011, Vanc...
    James Delgrande and ?Wolfgang Faber
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language and Meaning : 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers - Maria Aloni
    Logic, Language and Meaning
    18th Amsterdam Colloquium, Amsterdam, The Nethe...
    Maria Aloni, Vadim Kimmelman and Floris Roelofsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Frontiers of Combining Systems : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings - Silvio Ghilardi
    Frontiers of Combining Systems
    7th International Symposium, FroCoS 2009, Trent...
    Silvio Ghilardi and ?Roberto Sebastiani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Aspects of Computational Linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings - Denis Bechet
    Logical Aspects of Computational Linguistics
    7th International Conference, LACL 2012, Nantes...
    Denis Bechet and Alexandre Dikovsky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unconventional Computation : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings - Cristian S. Calude
    Unconventional Computation
    10th International Conference, UC 2011, Turku, ...
    Cristian S. Calude, ?Jarkko Kari and ?Ion Petre
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relations and Kleene Algebra in Computer Science : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings - Rudolf Berghammer
    Relations and Kleene Algebra in Computer Science
    11th International Conference on Relational Met...
    Rudolf Berghammer, ?Ali Jaoua and ?Bernhard Möller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Machine Learning and Data Mining in Pattern Recognition : 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012, Proceedings - Petra Perner
    Machine Learning and Data Mining in Pattern Recognition
    8th International Conference, MLDM 2012, Berlin...
    Petra Perner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XII - Roman Slowi?ski
    Transactions on Rough Sets XII
    Roman Slowi?ski, ?Pawan Lingras and ?Duoqian Miao
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Transactions on Rough Sets XI - James F. Peters
    Transactions on Rough Sets XI
    James F. Peters and Andrzej Skowron
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Applications and Theory of Petri Nets : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings - Giuliana Franceschinis
    Applications and Theory of Petri Nets
    30th International Conference, PETRI NETS 2009,...
    Giuliana Franceschinis and ?Karsten Wolf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 15th International Conference, CIAA 2010, Manitoba, Canada, August 12-15, 2010. Revised Selected Papers - Michael Domaratzki
    Implementation and Application of Automata
    15th International Conference, CIAA 2010, Manit...
    Michael Domaratzki and ?Kai Salomaa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Madhusudan Parthasarathy
    Computer Aided Verification
    24th International Conference, CAV 2012, Berkel...
    Madhusudan Parthasarathy and Sanjit A. Seshia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings - Erich Grädel
    Computer Science Logic
    23rd International Workshop, CSL 2009, 18th Ann...
    Erich Grädel and ?Reinhard Kahle
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday - Jens Palsberg
    Semantics and Algebraic Specification
    Essays Dedicated to Peter D. Mosses on the Occa...
    Jens Palsberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Progress in Cryptology -  INDOCRYPT 2009 : 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings - Bimal Kumar Roy
    Progress in Cryptology - INDOCRYPT 2009
    10th International Conference on Cryptology in ...
    Bimal Kumar Roy and ?Nicolas Sendrier
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlled Natural Language : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers - Michael Rosner
    Controlled Natural Language
    Second International Workshop, CNL 2010, Marett...
    Michael Rosner and Norbert E. Fuchs
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers - Michael Fisher
    Computational Logic in Multi-Agent Systems
    9th International Workshop, CLIMA IX, Dresden, ...
    Michael Fisher, ?Fariba Sadri and ?Michael Thielscher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Neural Networks - ISNN 2012 : 9th International Symposium on Neural Networks, ISNN 2012, Shenyang, China, July 11-14, 2012. Proceedings, Part I - Jun Wang
    Advances in Neural Networks - ISNN 2012
    9th International Symposium on Neural Networks,...
    Jun Wang, Gary G. Yen and Marios M. Polycarpou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers - SvenBodo Scholz
    Implementation and Application of Functional Languages
    20th International Symposium, IFL 2008, Hatfiel...
    SvenBodo Scholz and ?Olaf Chitil
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scalable Uncertainty Management : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009, Proceedings - Lluis Godo
    Scalable Uncertainty Management
    Third International Conference, SUM 2009, Washi...
    Lluis Godo and ?Andrea Pugliese
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantics in Data and Knowledge Bases : 4th International Workshop, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers - KlausDieter Schewe
    Semantics in Data and Knowledge Bases
    4th International Workshop, SDKB 2010, Bordeaux...
    KlausDieter Schewe and ?Bernhard Thalheim
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets and Knowledge Technology : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings - Peng Wen
    Rough Sets and Knowledge Technology
    4th International Conference, RSKT 2009, Gold C...
    Peng Wen, ?Yuefeng Li and ?Lech Polkowski
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Jeremy Gibbons
    Mathematics of Program Construction
    11th International Conference, MPC 2012, Madrid...
    Jeremy Gibbons and Pablo Nogueira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings - Alessandro Cimatti
    Theory and Applications of Satisfiability Testing -- SAT 2012
    15th International Conference, Trento, Italy, J...
    Alessandro Cimatti and Roberto Sebastiani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cryptology and Network Security : 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings - Juan A. Garay
    Cryptology and Network Security
    8th International Conference, CANS 2009, Kanaza...
    Juan A. Garay, ?Atsuko Miyaji and Akira Otsuka
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Fundamentals of Computation Theory : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings - Olaf Owe
    Fundamentals of Computation Theory
    18th International Symposium, FCT 2011, Oslo, N...
    Olaf Owe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures - Pieter Koopman
    Advanced Functional Programming
    6th International School, AFP 2008, Heijen, The...
    Pieter Koopman and ?Doaitse Swierstra
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday - Antje Düsterhöft
    Conceptual Modelling and Its Theoretical Foundations
    Essays Dedicated to Bernhard Thalheim on the Oc...
    Antje Düsterhöft, Meike Klettke and KlausDieter Schewe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - Helmut Seidl
    Programming Languages and Systems
    21st European Symposium on Programming, ESOP 20...
    Helmut Seidl
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings - PierreLouis Curien
    Typed Lambda Calculi and Applications
    9th International Conference, TLCA 2009, Brasil...
    PierreLouis Curien
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Stefano Berardi
    Types for Proofs and Programs
    International Conference, TYPES 2008 Torino, It...
    Stefano Berardi, ?Ferruccio Damiani and ?Ugo de Liguoro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers - Marian Gheorghe
    Membrane Computing
    11th International Conference, CMC 2010, Jena, ...
    Marian Gheorghe, ?Thomas Hinze and ?Gheorghe P?un
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorial Algorithms : 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, 2011, Revised Selected Papers - Costas S. Iliopoulos
    Combinatorial Algorithms
    22th International Workshop, IWOCA 2011, Victor...
    Costas S. Iliopoulos and ?William F. Smyth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings - Ricardo Rocha
    Practical Aspects of Declarative Languages
    13th International Symposium, PADL 2011, Austin...
    Ricardo Rocha and ?John Launchbury
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2009 : 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings - Oliver Kullmann
    Theory and Applications of Satisfiability Testing - SAT 2009
    12th International Conference, SAT 2009, Swanse...
    Oliver Kullmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Michael Hanus
    Logic-Based Program Synthesis and Transformation
    18th International Symposium, LOPSTR 2008, Vale...
    Michael Hanus
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers - Andrea Corradini
    Recent Trends in Algebraic Development Techniques
    19th International Workshop, WADT 2008, Pisa, I...
    Andrea Corradini and ?Ugo Montanari
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Development in Language Theory : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings - Giancarlo Mauri
    Development in Language Theory
    15th International Conference, DLT 2011, Milan,...
    Giancarlo Mauri and Alberto Leporati
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, and Computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers - Peter Bosch
    Logic, Language, and Computation
    7th International Tbilisi Symposium on Logic, L...
    Peter Bosch, David Gabelaia and Jerome Lang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings - Manindra Agrawal
    Theory and Applications of Models of Computation
    9th Annual Conference, TAMC 2012, Beijing, Chin...
    Manindra Agrawal, ?Barry S. Cooper and ?Angsheng Li
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithmic Learning Theory : 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings - Marcus Hutter
    Algorithmic Learning Theory
    21st International Conference, ALT 2010, Canber...
    Marcus Hutter, ?Frank Stephan and ?Vladimir Vovk
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 - Philippe De Groote
    Formal Grammar
    15th and 16th International Conference on Forma...
    Philippe De Groote and MarkJan Nederhof
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings - Jens Palsberg
    Static Analysis
    16th International Symposium, SAS 2009, Los Ang...
    Jens Palsberg and ?Zhendong Su
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models of Computation in Context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings - Benedikt Löwe
    Models of Computation in Context
    7th Conference on Computability in Europe, CiE ...
    Benedikt Löwe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings - Hartmut Ehrig
    Graph Transformation
    6th International Conference, ICGT 2012, Bremen...
    Hartmut Ehrig, ?Gregor Engels and ?HansJörg Kreowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings - Holger Giese
    Formal Techniques for Distributed Systems
    Joint 14th IFIP WG 6.1 International Conference...
    Holger Giese and Grigore Rosu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012, Proceedings - Helena Caseli
    Computational Processing of the Portuguese Language
    10th International Conference, PROPOR 2012, Coi...
    Helena Caseli, Aline Villavicencio and António Teixeira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coalgebraic Methods in Computer Science : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers - Dirk Pattinson
    Coalgebraic Methods in Computer Science
    11th International Workshop, CMCS 2012, Colocat...
    Dirk Pattinson and Lutz Schroder
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Argumentation in Multi-Agent Systems : 7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers - McBurney Peter
    Argumentation in Multi-Agent Systems
    7th International Workshop, ArgMAS 2010, Toront...
    McBurney Peter, Rahwan Iyad and Parsons Simon D.
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets and Current Trends in Computing : 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings - Jingtao Yao
    Rough Sets and Current Trends in Computing
    8th International Conference, RSCTC 2012, Cheng...
    Jingtao Yao, Yan Yang and Roman Slowinski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Computational Intelligence, Part I : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part I - Salvatore Greco
    Advances in Computational Intelligence, Part I
    14th International Conference on Information Pr...
    Salvatore Greco, Bernadette BouchonMeunier and Giulianella Coletti
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings - Wenjie Li
    Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy
    22nd International Conference, ICCPOL 2009, Hon...
    Wenjie Li and Diego MollaAliod
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Computational Intelligence, Part III : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part III - Salvatore Greco
    Advances in Computational Intelligence, Part III
    14th International Conference on Information Pr...
    Salvatore Greco, Bernadette BouchonMeunier and Giulianella Coletti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers - Michael Johnson
    Algebraic Methodology and Software Technology
    13th International Conference, AMAST 2010, Lac-...
    Michael Johnson and Dusko Pavlovic
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithmic Decision Theory : First International Conference, ADT 2009, Venice, Italy, October 2009, Proceedings - Francesca Rossi
    Algorithmic Decision Theory
    First International Conference, ADT 2009, Venic...
    Francesca Rossi and ?Alexis Tsoukias
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings - Wolfram Kahl
    Relational and Algebraic Methods in Computer Science
    13th International Conference, RAMiCS 2012, Cam...
    Wolfram Kahl and ?Timothy G. Griffin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Vagueness in Communication : International Workshop, VIC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers - Rick Nouwen
    Vagueness in Communication
    International Workshop, VIC 2009, held as part ...
    Rick Nouwen, ?Robert van Rooij and ?Uli Sauerland
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers - Luis Soares Barbosa
    Formal Aspects of Component Software
    7th International Workshop, FACS 2010, Guimarãe...
    Luis Soares Barbosa and ?Markus Lumpe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings - Ranjit Jhala
    Programming Languages and Systems
    10th Asian Symposium, APLAS 2012, Kyoto, Japan,...
    Ranjit Jhala and ?Atsushi Igarashi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Languages Alive : Essays dedicated to Jurgen Dassow on the Occasion of His 65th Birthday - Henning Bordihn
    Languages Alive
    Essays dedicated to Jurgen Dassow on the Occasi...
    Henning Bordihn, Martin Kutrib and Bianca Truthe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Deontic Logic in Computer Science : 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, Proceedings - Thomas Agotnes
    Deontic Logic in Computer Science
    11th International Conference, DEON 2012, Berge...
    Thomas Agotnes, Jan M. Broersen and Dag Elgesem
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings - Martin Kutrib
    Descriptional Complexity of Formal Systems
    14th International Workshop, DCFS 2012, Braga, ...
    Martin Kutrib, Nelma Moreira and Rogerio Reis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Rohit Gheyi
    Formal Methods: Foundations and Applications
    15th Brazilian Symposium, SBMF 2012, Natal, Bra...
    Rohit Gheyi and ?David Naumann
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Machine Learning and Data Mining in Pattern Recognition : 7th International Conference, MLDM 2011, New York, NY, USA, August 30-September 3, 2011Proceedings - Petra Perner
    Machine Learning and Data Mining in Pattern Recognition
    7th International Conference, MLDM 2011, New Yo...
    Petra Perner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers - Jurriaan Hage
    Implementation and Application of Functional Languages
    22nd International Symposium, IFL 2010, Alphen ...
    Jurriaan Hage and ?Marco T. Morazán
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings - Shengchao Qin
    Formal Methods and Software Engineering
    13th International Conference on Formal Enginee...
    Shengchao Qin and ?Zongyan Qiu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011. Proceedings - Cesare Tinelli
    Frontiers of Combining Systems
    8th International Symposium, FroCoS 2011, Saarb...
    Cesare Tinelli and ?Viorica SofronieStokkermans
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : 8th International Conference, ICFCA 2010, Agadir, Morocco, March 15-18, 2010, Procedings - Léonard Kwuida
    Formal Concept Analysis
    8th International Conference, ICFCA 2010, Agadi...
    Léonard Kwuida and ?Baris Sertkaya
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings - Uli Fahrenberg
    Formal Modeling and Analysis of Timed Systems
    9th International Conference, FORMATS 2011, Aal...
    Uli Fahrenberg and ?Stavros Tripakis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers - Arbab Farhad
    Formal Aspects of Component Software
    8th International Symposium, FACS 2011, Oslo, N...
    Arbab Farhad and Ölveczky Peter Csaba
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithmic Learning Theory : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011, Proceedings - Jyriki Kivinen
    Algorithmic Learning Theory
    22nd International Conference, ALT 2011, Espoo,...
    Jyriki Kivinen, ?Csaba Szepesvári and ?Esko Ukkonen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science -- Theory and Applications : 7th International Computer Science Symposium in Russia, CSR 2012, Niszhny Novgorod, Russia, July 3-7, 2012, Proceedings - Edward Hirsch
    Computer Science -- Theory and Applications
    7th International Computer Science Symposium in...
    Edward Hirsch, Juhani Karhumaki and Arto Lepisto
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers - Page Rex
    Trends in Functional Programming
    11th International Symposium, TFP 2010, Norman,...
    Page Rex, Horvath Zoltan and Zsók Viktoria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers - BouchouMarkhoff B
    Implementation and Application of Automata
    16th International Conference, CIAA 2011, Blois...
    BouchouMarkhoff B, Caron P and Champarnaud J.M.
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Set and Knowledge Technology : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011, Proceedings - JingTao Yao
    Rough Set and Knowledge Technology
    6th International Conference, RSKT 2011, Banff,...
    JingTao Yao, ?Sheela Ramanna and ?Guoyin Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday - Robert L. Constable
    Logic and Program Semantics
    Essays Dedicated to Dexter Kozen on the Occasio...
    Robert L. Constable and ?Alexandra Silva
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multidisciplinary Aspects of Time and Time Perception : COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers - Argiro Vatakis
    Multidisciplinary Aspects of Time and Time Perception
    COST TD0904 International Workshop, Athens, Gre...
    Argiro Vatakis, ?Anna Esposito and ?Maria Giagkou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings - Groce Alex
    Model Checking Software
    18th International SPIN Workshop, Snowbird, UT,...
    Groce Alex and Musuvathi Madanlal
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Studies in Complexity and Cryptography : Miscellanea on the Interplay between Randomness and Computation - Oded Goldreich
    Studies in Complexity and Cryptography
    Miscellanea on the Interplay between Randomness...
    Oded Goldreich
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Reversible Computation : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers - Alexis De Vos
    Reversible Computation
    Third International Workshop, Gent, Belgium, Ju...
    Alexis De Vos and ?Robert Wille
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings - Karem A. Sakallah
    Theory and Application of Satisfiability Testing
    14th International Conference, SAT 2011, Ann Ar...
    Karem A. Sakallah and Laurent Simon
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings - Thiago A.S. Pardo
    Computational Processing of the Portuguese Language
    9th International Conference, PROPOR 2010, Port...
    Thiago A.S. Pardo, António Branco and ?Aldebaro Klautau
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
2869 Results | View 24 / 100
< 1 ... 25 26 27 28 29 >
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