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

Mathematical Logic

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (2976)
  • Books (4414)
  • Audiobooks (28)
  • eTextbooks (2661)

AVAILABILITY

  • All eBooks (2976)
  • New Releases (30)
  • Coming Soon (4)
  • Subscription eBooks (137)

PRICE

FORMATS

LANGUAGE

  • eBook
     (2976)
  • Books
     (4414)
  • Audiobooks
     (28)
  • Audio CDs
     (3)
2976 Results | View 24 / 100
< 1 ... 15 16 17 18 19 ... 30 >
Sort By
Sort By:
  • 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
  • Bestseller Bargains
  • 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
  • Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings - Leite J
    Computational Logic in Multi-Agent Systems
    12th International Workshop, CLIMA XII, Barcelo...
    Leite J, Torroni P and Agotnes Th
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlled Natural Language : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012, Proceedings - Tobias Kuhn
    Controlled Natural Language
    Third International Workshop, CNL 2012, Zurich,...
    Tobias Kuhn and  Norbert E. Fuchs
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings - James H. Davenport
    Intelligent Computer Mathematics
    18th Symposium, Calculemus 2011, and 10th Inter...
    James H. Davenport, William M. Farmer and Florian Rabe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011, Proceedings - Liu Weiru
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    11th European Conference, ECSQARU 2011, Belfast...
    Liu Weiru
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Tools for Teaching Logic : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings - Patrick Blackburn
    Tools for Teaching Logic
    Third International Congress, TICTTL 2011, Sala...
    Patrick Blackburn, ?Hans van Ditmarsch and ?Maria Manzano
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011, Proceedings - Petko Valtchev
    Formal Concept Analysis
    9th International Conference, ICFCA 2011, Nicos...
    Petko Valtchev and ?Robert Jäschke
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers - Katsuhisa Horimoto
    Algebraic and Numeric Biology
    4th International Conference, ANB 2010, Hagenbe...
    Katsuhisa Horimoto, ?Masahiko Nakatsui and ?Nikolaj Popov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - JeanPierre Jouannaud
    Certified Programs and Proofs
    First International Conference, CPP 2011, Kenti...
    JeanPierre Jouannaud and ?Zhong Shao
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unconventional Computation and Natural Computation : 11th International Conference, UCNC 2012, Orleans, France, September 3-7, 2012, Proceedings - Jerome DurandLose
    Unconventional Computation and Natural Computation
    11th International Conference, UCNC 2012, Orlea...
    Jerome DurandLose and ?Natasa Jonoska
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings - Tom Schrijvers
    Functional and Logic Programming
    11th International Symposium, FLOPS 2012, Kobe,...
    Tom Schrijvers and ?Peter Thiemann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automata, Languages and Programming : 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II - Luca Aceto
    Automata, Languages and Programming
    38th International Colloquium, ICALP 2011, Zuri...
    Luca Aceto
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Formal Concept Analysis : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings - Florent Domenach
    Formal Concept Analysis
    10th International Conference, ICFCA 2012, Leuv...
    Florent Domenach, ?Dmitry I. Ignatov and ?Jonas Poelmans
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Aspects of Computational Linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers - Alain Lecomte
    Logical Aspects of Computational Linguistics
    Second International Conference, LACL'97, Nancy...
    Alain Lecomte, ?Francois Lamarche and ?Guy Perrier
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithmic Learning Theory : 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. - Naoki Abe
    Algorithmic Learning Theory
    12th International Conference, ALT 2001, Washin...
    Naoki Abe, ?Roni Khardon and ?Thomas Zeugmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Linguistics and Intelligent Text Processing : Second International Conference, CICLing 2001, Mexico-City, Mexico, February 18-24, 2001. Proceedings - Alexander Gelbukh
    Computational Linguistics and Intelligent Text Processing
    Second International Conference, CICLing 2001, ...
    Alexander Gelbukh
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming - CP 2001 : 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings - ToWalsh
    Principles and Practice of Constraint Programming - CP 2001
    7th International Conference, CP 2001, Paphos, ...
    ToWalsh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - Jörg Flum
    Computer Science Logic
    13th International Workshop, CSL'99, 8th Annual...
    Jörg Flum and ?Mario RodriguezArtalejo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Applications of Uncertainty Formalisms - Anthony Hunter
    Applications of Uncertainty Formalisms
    Anthony Hunter and ?Simon D. Parsons
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers - João Leite
    Computational Logic in Multi-Agent Systems
    5th International Workshop, CLIMA V, Lisbon, Po...
    João Leite and ?Paolo Torroni
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings - Nicolas Halbwachs
    Computer Aided Verification
    11th International Conference, CAV'99, Trento, ...
    Nicolas Halbwachs and ?Doron Peled
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings - Gordon Fraser
    Tests and Proofs
    4th International Conference, TAP 2010, Malaga,...
    Gordon Fraser and ?Angelo Gargantini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers - Manabu Okumura
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP...
    Manabu Okumura, ?Daisuke Bekki and ?Ken Satoh
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings - Laurence Tratt
    Theory and Practice of Model Transformations
    Third International Conference, ICMT 2010, Mala...
    Laurence Tratt and ?Martin Gogolla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings - Bernhard Gramlich
    Automated Reasoning
    6th International Joint Conference, IJCAR 2012,...
    Bernhard Gramlich, ?Dale Miller and ?Ulrike Sattler
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science - Theory and Applications : 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings - Alexander Kulikov
    Computer Science - Theory and Applications
    6th International Computer Science Symposium in...
    Alexander Kulikov and ?Nikolay Vereshchagin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings - Lev D. Beklemishev
    Logic, Language, Information, and Computation
    18th International Workshop, WoLLIC 2011, Phila...
    Lev D. Beklemishev and ?Ruy de Queiroz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Datalog Reloaded : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers - Oege De Moor
    Datalog Reloaded
    First International Workshop, Datalog 2010, Oxf...
    Oege De Moor, Georg Gottlob and Tim Furche
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever - Dennis Dams
    Concurrency, Compositionality, and Correctness
    Essays in Honor of Willem-Paul de Roever
    Dennis Dams, ?Ulrich Hannemann and ?Martin Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings - Toshiaki Aoki
    Formal Methods and Software Engineering
    14th International Conference on Formal Enginee...
    Toshiaki Aoki and ?Kenji Taguchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • CONCUR 2012- Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings - Maciej Koutny
    CONCUR 2012- Concurrency Theory
    23rd International Conference, CONCUR 2012, New...
    Maciej Koutny and ?Irek Ulidowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Objects, Components, Models, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings - Judith Bishop
    Objects, Components, Models, Patterns
    49th International Conference, TOOLS 2011, Zuri...
    Judith Bishop and ?Antonio Vallecillo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programs, Norms and Action : Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday - Alexander Artikis
    Logic Programs, Norms and Action
    Essays in Honor of Marek J. Sergot on the Occas...
    Alexander Artikis, ?Robert Craven and ?Nihan Kesim Cicekli
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • e-Business and Telecommunications : 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers - Mohammad S. Obaidat
    e-Business and Telecommunications
    6th International Joint Conference, ICETE 2009,...
    Mohammad S. Obaidat and ?Joaquim Filipe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computers and Games : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers - H. Jaap van den Herik
    Computers and Games
    7th International Conference, CG 2010, Kanazawa...
    H. Jaap van den Herik, ?Hiroyuki Iida and ?Aske Plaat
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings - Viktor Kuncak
    Verification, Model Checking, and Abstract Interpretation
    13th International Conference, VMCAI 2012, Phil...
    Viktor Kuncak and ?Andrey Rybalchenko
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Its Applications : Fourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings - Mohua Banerjee
    Logic and Its Applications
    Fourth Indian Conference, ICLA 2011, Delhi, Ind...
    Mohua Banerjee and ?Anil Seth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers - Javier Larrosa
    Recent Advances in Constraints
    14th Annual ERCIM International Workshop on Con...
    Javier Larrosa and Barry O'Sullivan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Argumentation in Multi-Agent Systems : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 2011, Revised Selected Papers - Peter McBurney
    Argumentation in Multi-Agent Systems
    8th International Workshop, ArgMAS 2011, Taipei...
    Peter McBurney, ?Simon Parsons and ?Iyad Rahwan
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Advances in Computational Intelligence, Part II : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part II - Salvatore Greco
    Advances in Computational Intelligence, Part II
    14th International Conference on Information Pr...
    Salvatore Greco, ?Bernadette BouchonMeunier and ?Giulianella Coletti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Ludics, Dialogue and Interaction : PRELUDE Project — 2006-2009. Revised Selected Papers - Alain Lecomte
    Ludics, Dialogue and Interaction
    PRELUDE Project — 2006-2009. Revised Selected P...
    Alain Lecomte and Samuel Tronçon
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers - Andy Schürr
    Applications of Graph Transformations with Industrial Relevance
    4th International Symposium, AGTIVE 2011, Budap...
    Andy Schürr, ?Dániel Varró and ?Gergely Varró
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • How the World Computes : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings - Barry S. Cooper
    How the World Computes
    Turing Centenary Conference and 8th Conference ...
    Barry S. Cooper, ?Anuj Dawar and ?Benedikt Löwe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language, Games, and Evolution : Trends in Current Research on Language and Game Theory - Anton Benz
    Language, Games, and Evolution
    Trends in Current Research on Language and Game...
    Anton Benz, ?Christian Ebert and ?Gerhard Jäger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing -- ICTAC 2011 : 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings - Antonio Cerone
    Theoretical Aspects of Computing -- ICTAC 2011
    8th International Colloquium, Johannesburg, Sou...
    Antonio Cerone and Pekka Pihlajasaari
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers - Julio Marino
    Functional and Constraint Logic Programming
    19th International Workshop, WFLP 2010, Madrid,...
    Julio Marino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - Achim Brucker
    Tests and Proofs
    6th International Conference, TAP 2012, Prague,...
    Achim Brucker and ?Jacques Julliand
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • KI 2012: Advances in Artificial Intelligence : 35th Annual German Conference on AI, Saarbrucken, Germany, September 24-27, 2012, Proceedings - Birte Glimm
    KI 2012: Advances in Artificial Intelligence
    35th Annual German Conference on AI, Saarbrucke...
    Birte Glimm and ?Antonio Krüger
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Machine Learning and Knowledge Discovery in Databases, Part III : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part III - Dimitrios Gunopulos
    Machine Learning and Knowledge Discovery in Databases, Part III
    European Conference, ECML PKDD 2010, Athens, Gr...
    Dimitrios Gunopulos, Thomas Hofmann and Donato Malerba
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Object, Models, Components, Patterns : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings - Carlo A. Furia
    Object, Models, Components, Patterns
    50th International Conference, TOOLS Europe 201...
    Carlo A. Furia and ?Sebastian Nanz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ECOOP 2012 -- Object-Oriented Programming : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings - James Noble
    ECOOP 2012 -- Object-Oriented Programming
    26th European Conference, Beijing, China, June ...
    James Noble
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings - Hans Van Ditmarsch
    Logic, Rationality, and Interaction
    Third International Workshop, LORI 2011, Guangz...
    Hans Van Ditmarsch, Jerome Lang and Shier Ju
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Eran Yahav
    Static Analysis
    18th International Symposium, SAS 2011. Venice,...
    Eran Yahav
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fuzzy Logic and Applications : 9th International Workshop, WILF 2011, Trani, Italy, August 29-31, 2011, Proceedings - Alfredo Petrosino
    Fuzzy Logic and Applications
    9th International Workshop, WILF 2011, Trani, I...
    Alfredo Petrosino, Anna Maria Fanelli and Witold Pedrycz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XIV - Hiroshi Sakai
    Transactions on Rough Sets XIV
    Hiroshi Sakai, ?Mihir Chakraborty and ?Dominik ?l?zak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
  • 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
2976 Results | View 24 / 100
< 1 ... 15 16 17 18 19 ... 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