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 (4046)
  • Audiobooks (26)
  • eTextbooks (2554)

AVAILABILITY

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

PRICE

FORMATS

LANGUAGE

  • eBook
    (2869)
  • Books
    (4046)
  • Audiobooks
    (26)
2869 Results | View 24 / 100
< 1 ... 25 26 27 28 29 >
Sort By
Sort By:
  • 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
  • Afterpay
  • 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
  • Logic, Language, and Computation : 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers - Balder D. ten Cate
    Logic, Language, and Computation
    6th International Tbilisi Symposium on Logic, L...
    Balder D. ten Cate and ?Henk W. Zeevat
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007,  Revised Selected Papers - Hendrik Blockeel
    Inductive Logic Programming
    17th International Conference, ILP 2007, Corval...
    Hendrik Blockeel, ?Jan Ramon and ?Jude Shavlik
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Conceptual Modeling - ER 2007 : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings - Christine Parent
    Conceptual Modeling - ER 2007
    26th International Conference on Conceptual Mod...
    Christine Parent, ?KlausDieter Schewe and ?Veda C. Storey
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Transactions on Computational Systems Biology VIII - Corrado Priami
    Transactions on Computational Systems Biology VIII
    Corrado Priami
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers - Katsumi Inoue
    Computational Logic in Multi-Agent Systems
    7th International Workshop, CLIMA VII, Hakodate...
    Katsumi Inoue, ?Ken Satoh and ?Francesca Toni
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings - Z. Shao
    Programming Languages and Systems
    5th Asian Symposium, APLAS 2007, Singapore, Nov...
    Z. Shao
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings - Katsuhisa Horimoto
    Algebraic Biology
    Third International Conference, AB 2008, Castle...
    Katsuhisa Horimoto, Georg Regensburger and Markus Rosenkranz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces - L. Molnár
    Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces
    L. Molnár
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings - Joon Sang Baek
    Provable Security
    Second International Conference, ProvSec 2008, ...
    Joon Sang Baek, Feng Bao and Kefei Chen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scalable Uncertainty Management : First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings - H. Prade
    Scalable Uncertainty Management
    First International Conference, SUM 2007, Washi...
    H. Prade and V. Subrahmanian
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Probabilistic Inductive Logic Programming - Luc De Raedt
    Probabilistic Inductive Logic Programming
    Luc De Raedt, ?Paolo Frasconi and ?Kristian Kersting
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Automated Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings - Alessandro Armando
    Automated Reasoning
    4th International Joint Conference, IJCAR 2008,...
    Alessandro Armando, ?Peter Baumgartner and ?Gilles Dowek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings - Ron van der Meyden
    Deontic Logic in Computer Science
    9th International Conference, DEON 2008, Luxemb...
    Ron van der Meyden and ?Leendert van der Torre
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Transactions on Rough Sets VII : Commemorating the Life and Work of Zdzislaw Pawlak, Part II - Victor W. Marek
    Transactions on Rough Sets VII
    Commemorating the Life and Work of Zdzislaw Paw...
    Victor W. Marek, ?Ewa Orlowska and ?Roman Slowi?ski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - J. Duparc
    Computer Science Logic
    21 International Workshop, CSL 2007, 16th Annua...
    J. Duparc and T. A. Henzinger
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Machine Learning: ECML 2007 : 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings - Joost N. Kok
    Machine Learning: ECML 2007
    18th European Conference on Machine Learning, W...
    Joost N. Kok, ?Jacek Koronacki and ?Ramon Lopez de Mantaras
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • 25 Years of Model Checking : History, Achievements, Perspectives - Orna Grumberg
    25 Years of Model Checking
    History, Achievements, Perspectives
    Orna Grumberg and ?Helmut Veith
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Constraint Handling Rules : Current Research Topics - Tom Schrijvers
    Constraint Handling Rules
    Current Research Topics
    Tom Schrijvers and Thom Frühwirth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers - Sadok Ben Yahia
    Concept Lattices and Their Applications
    Fourth International Conference, CLA 2006 Tunis...
    Sadok Ben Yahia, Engelbert Mephu Nguifo and Radim Belohlavek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings - Maria Garcia Banda
    Logic Programming
    24th International Conference, ICLP 2008 Udine,...
    Maria Garcia Banda and ?Enrico Pontelli
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings - A. Gupta
    Computer Aided Verification
    20th International Conference, CAV 2008 Princet...
    A. Gupta and S. Malik
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Fundamentals of Computation Theory : 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings - Erzsébet CsuhajVarjú
    Fundamentals of Computation Theory
    16th International Symposium, FCT 2007, Budapes...
    Erzsébet CsuhajVarjú and ?Zoltán Ésik
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings - Roberto Amadio
    Foundations of Software Science and Computational Structures
    11th International Conference, FOSSACS 2008, He...
    Roberto Amadio
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings - Till Mossakowski
    Algebra and Coalgebra in Computer Science
    Second International Conference, CALCO 2007, Be...
    Till Mossakowski, ?Ugo Montanari and ?Magne Haveraaen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings - Hans Kleine Buning
    Theory and Applications of Satisfiability Testing - SAT 2008
    11th International Conference, SAT 2008, Guangz...
    Hans Kleine Buning and Xishun Zhao
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Andrei Voronkov
    Rewriting Techniques and Applications
    19th International Conference, RTA 2008 Hagenbe...
    Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings - V. Arvind
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
    27th International Conference, New Delhi, India...
    V. Arvind and ?Sanjiva Prasad
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings - Filip Zelezny
    Inductive Logic Programming
    18th International Conference, ILP 2008 Prague,...
    Filip Zelezny and Nada Lavrac
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers - Carlos MartinVide
    Language and Automata Theory and Applications
    Second International Conference, LATA 2008, Tar...
    Carlos MartinVide, Friedrich Otto and Henning Fernau
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compiler Construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings - Shriram Krishnamurthi
    Compiler Construction
    16th International Conference, CC 2007, Held as...
    Shriram Krishnamurthi and ?Martin Odersky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures - Anna Soos
    Central European Functional Programming School
    Second Summer School, CEFP 2007, Cluj-Napoca, R...
    Anna Soos
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Egon Borger
    Abstract State Machines, B and Z
    First International Conference, ABZ 2008, Londo...
    Egon Borger, Michael Butler and Jonathan P Bowen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings - Chitta Baral
    Logic Programming and Nonmonotonic Reasoning
    9th International Conference, LPNMR 2007, Tempe...
    Chitta Baral, ?Gerhard Brewka and ?John Schlipf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings - Shaoying Liu
    Formal Methods and Software Engineering
    10th International Conference on Formal Enginee...
    Shaoying Liu, Tom Maibaum and Keijiro Araki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets VI : Commemorating Life and Work of Zdislaw Pawlak, Part I - James F. Peters
    Transactions on Rough Sets VI
    Commemorating Life and Work of Zdislaw Pawlak, ...
    James F. Peters, ?Ivo Düntsch and ?Jerzy GrzymalaBusse
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Rough Sets and Intelligent Systems Paradigms : International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007, Proceedings - Marzena Kryszkiewicz
    Rough Sets and Intelligent Systems Paradigms
    International Conference, RSEISP 2007, Warsaw, ...
    Marzena Kryszkiewicz, ?James F. Peters and ?Henryk Rybinski
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Foundations of Fuzzy Logic and Soft Computing : 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings - Patricia Melin
    Foundations of Fuzzy Logic and Soft Computing
    12th International Fuzzy Systems Association Wo...
    Patricia Melin, Athanasios V. Vasilakos and Oscar Castillo
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers - Jaume Bacardit
    Learning Classifier Systems
    10th International Workshop, IWLCS 2006, Seattl...
    Jaume Bacardit, Ester BernadoMansilla and Martin V Butz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers - Germán Puebla
    Logic-Based Program Synthesis and Transformation
    16th International Symposium, LOPSTR 2006, Veni...
    Germán Puebla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Teaching Formal Methods : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Jeremy Gibbons
    Teaching Formal Methods
    Second International Conference, TFM 2009, Eind...
    Jeremy Gibbons and ?Jose Nuno Oliveira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings - Nachum Dershowitz
    Logic for Programming, Artificial Intelligence, and Reasoning
    14th International Conference, LPAR 2007, Yerev...
    Nachum Dershowitz and ?Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Time for Verification : Essays in Memory of Amir Pnueli - Z. Manna
    Time for Verification
    Essays in Memory of Amir Pnueli
    Z. Manna and D. A. Peled
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Algebraic Informatics : Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers - Symeon Bozapalidis
    Algebraic Informatics
    Second International Conference, CAI 2007, Thes...
    Symeon Bozapalidis and ?George Rahonis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012, Proceedings - HsuChun Yen
    Developments in Language Theory
    16th International Conference, DLT 2012, Taipei...
    HsuChun Yen and ?Oscar H. Ibarra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • MICAI 2007: Advances in Artificial Intelligence : 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings - Alexander Gelbukh
    MICAI 2007: Advances in Artificial Intelligence
    6th Mexican International Conference on Artific...
    Alexander Gelbukh and ?Àngel Fernando Kuri Morales
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Machine Learning and Knowledge Discovery in Databases : European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I - Walter Daelemans
    Machine Learning and Knowledge Discovery in Databases
    European Conference, Antwerp, Belgium, Septembe...
    Walter Daelemans, ?Bart Goethals and Katharina Morik
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Cliff B. Jones
    Theoretical Aspects of Computing - ICTAC 2007
    4th International Colloquium, Macau, China, Sep...
    Cliff B. Jones, ?Zhiming Liu and ?Jones Woodcock
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets, Fuzzy Sets, Data Mining and Granular Computing : 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007 - Athanasios V. Vasilakos
    Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
    11th International Conference, RSFDGrC 2007, To...
    Athanasios V. Vasilakos, Jerzy Stefanowski and Aijun An
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings - Wolfgang Thomas
    STACS 2007
    24th Annual Symposium on Theoretical Aspects of...
    Wolfgang Thomas and ?Pascal Weil
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Multivariate Algorithmic Revolution and Beyond : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday - Hans L. Bodlaender
    The Multivariate Algorithmic Revolution and Beyond
    Essays Dedicated to Michael R. Fellows on the O...
    Hans L. Bodlaender, ?Rodney Downey and ?Fedor V. Fomin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    5th International Conference, MDAI 2008, Sabade...
    Vicenç Torra and Yasuo Narukawa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Linguistics and Intelligent Text Processing : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, Proceedings - Alexander Gelbukh
    Computational Linguistics and Intelligent Text Processing
    8th International Conference, CICLing 2007, Mex...
    Alexander Gelbukh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Artificial Intelligence and Soft Computing - ICAISC 2008 : 9th International Conference Zakopane, Poland, June 22-26, 2008, Proceedings - Leszek Rutkowski
    Artificial Intelligence and Soft Computing - ICAISC 2008
    9th International Conference Zakopane, Poland, ...
    Leszek Rutkowski, ?Ryszard Tadeusiewicz and ?Lofti A. Zadeh
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Ait Mohamed Otmane
    Theorem Proving in Higher Order Logics
    21st International Conference, TPHOLs 2008, Mon...
    Ait Mohamed Otmane, Sofiene Tahar and César Muñoz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Developments in Language Theory : 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings - Tero Harju
    Developments in Language Theory
    11th International Conference, DLT 2007, Turku,...
    Tero Harju, Juhani Karhumäki and Arto Lepisto
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Luca de Alfaro
    Foundations of Software Science and Computational Structures
    12th International Conference, FOSSACS 2009, He...
    Luca de Alfaro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings - Sébastien Ferré
    Formal Concept Analysis
    7th International Conference, ICFCA 2009 Darmst...
    Sébastien Ferré and ?Sebastian Rudolph
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computation, Cooperation, and Life : Essays Dedicated to Gheorghe Paun on the Occasion of His 60th Birthday - Jozef Kelemen
    Computation, Cooperation, and Life
    Essays Dedicated to Gheorghe Paun on the Occasi...
    Jozef Kelemen and ?Alica Kelemenová
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Boolean Logic to Switching Circuits and Automata : Towards Modern Information Technology - Radomir S. Stankovic
    From Boolean Logic to Switching Circuits and Automata
    Towards Modern Information Technology
    Radomir S. Stankovic and Jaakko Astola
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - Bernhard Beckert
    Formal Verification of Object-Oriented Software
    International Conference, FoVeOOS 2010, Paris, ...
    Bernhard Beckert and ?Claude Marché
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings - Gwen Salaun
    Formal Methods for Industrial Critical Systems
    16th International Workshop, FMICS 2011, Trento...
    Gwen Salaun and Bernhard Schatz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Frank Pfenning
    Automated Deduction - CADE-21
    21st International Conference on Automated Dedu...
    Frank Pfenning
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Artificial Intelligence - SBIA 2008 : 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 - Gerson Zaverucha
    Advances in Artificial Intelligence - SBIA 2008
    19th Brazilian Symposium on Artificial Intellig...
    Gerson Zaverucha and Augusto Loureiro da Costa
    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