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

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

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

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

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

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

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

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling
      • Popular Subjects

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

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

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling
      • Subjects

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

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

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

      Browse Kids & YA

    • New Releases
    • Bestselling
      • Popular Subjects

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

Mathematical Foundation

REFINE YOUR RESULTS

SUBJECTS

  • Mathematical Logic
  • Set Theory

LISTS

  • All eBooks (3298)
  • Books (6160)
  • Audiobooks (31)
  • eTextbooks (2969)

AVAILABILITY

  • All eBooks (3298)
  • New Releases (23)
  • Coming Soon (5)
  • Subscription eBooks (98)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (3298)
  • Books
    (6160)
  • Audiobooks
    (31)
  • Stationery
    (1)
3298 Results | View 24 / 100
< 1 ... 4 5 6 7 8 ... 34 >
Sort By
Sort By:
  • 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
  • Australian Stories
  • 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
  • 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
3298 Results | View 24 / 100
< 1 ... 4 5 6 7 8 ... 34 >
Sort By
Sort By:

Join Our Newsletter

Head Office
34-48 Cosgrove Road, South Strathfield NSW 2136
ABN 90 679 610 890
MOBILE SITE

Help Centre

  • Placing An Order
  • Contact Booktopia
  • Terms Of Business
  • Privacy Policy
  • Become An Affiliate
  • Sitemap

Shipping

  • Track My Order
  • Standard Shipping
  • Express Shipping
  • Shipping Timeframes
  • Delivering Your Order
  • New Zealand Orders

About Booktopia

  • Your Local Bookstore
  • Why Buy From Booktopia?
  • Our Awards
  • Booktopia's Charities
  • Booktopia eBooks
  • Work With Us

Bestsellers

  • Babies & Toddlers' Bestseller List
  • Children's Bestseller List
  • Young Adults' Bestseller List
  • Fiction Bestseller List
  • Non-Fiction Bestseller List

Popular Brands

  • ABC Reading Eggs
  • Australian Women's Weekly
  • Bluey
  • Excel Education
  • Dr Seuss
  • For Dummies
  • Harvard Business Review
  • Harry Potter
  • LEGO
  • Little Golden Books
  • Lonely Planet Travel Books
  • No Fear Shakespeare
  • Penguin Black Classics
  • Peppa Pig
  • Teach Yourself
  • Vintage Classics
  • Where's Wally

Popular Series

  • A Court of Thorns and Roses
  • A Game of Thrones
  • Bridgerton
  • Diary of a Wimpy Kid
  • Dune
  • Jack Reacher
  • Jack West
  • Little People, Big Dreams
  • Lord of the Rings
  • Nevermoor
  • Outlander
  • The Bad Guys
  • The Treehouse Series
  • The Wheel of Time
  • The Witcher
  • Wings of Fire
  • Wolf Girl

Popular Authors

  • Brene Brown
  • Bruce Pascoe
  • David Walliams
  • Di Morrissey
  • Donna Hay
  • Fiona McIntosh
  • Helen Garner
  • Jane Harper
  • Liane Moriarty
  • Matthew Reilly
  • Peter FitzSimons
  • Sally Rooney
  • Sarah J. Maas
  • Taylor Jenkins Reid
  • Tim Winton
  • Trent Dalton
  • Yotam Ottolenghi

Popular Subjects

  • Biographies & True Stories
  • Business & Management
  • Cooking, Food & Drink
  • Crafts & Handiwork
  • Family & Health
  • Fitness & Diet
  • History
  • Self-Help & Personal Development
  • Australian Fiction
  • Crime & Mystery
  • Classic Fiction
  • Fantasy Fiction
  • Modern & Contemporary Fiction
  • Manga
  • Picture Books
  • Young Adult Fiction
Voted Australia’s Favourite Bookstore by Australian Book Buyers

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