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 (3290)
  • Books (6050)
  • Audiobooks (30)
  • eTextbooks (2962)

AVAILABILITY

  • All eBooks (3290)
  • New Releases (23)
  • Coming Soon (4)
  • Subscription eBooks (108)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (3290)
  • Books
    (6050)
  • Audiobooks
    (30)
  • Stationery
    (1)
3290 Results | View 24 / 100
< 1 ... 27 28 29 30 31 ... 33 >
Sort By
Sort By:
  • Knowledge Discovery and Data Mining : The Info-Fuzzy Network (IFN) Methodology - O. Maimon
    Knowledge Discovery and Data Mining
    The Info-Fuzzy Network (IFN) Methodology
    O. Maimon and M. Last
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Fuzzy Relational Systems : Foundations and Principles - Radim Belohlávek
    Fuzzy Relational Systems
    Foundations and Principles
    Radim Belohlávek
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Facets of Systems Science - George J. Klir
    Facets of Systems Science
    George J. Klir
    eText
    Instant Online Reading*
    $609.00
    BUY EBOOK
  • Logic and Argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings - Andreas Herzig
    Logic and Argumentation
    5th International Conference, CLAR 2023, Hangzh...
    Andreas Herzig, Jieting Luo and Pere Pardo
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Sheaves in Geometry and Logic : A First Introduction to Topos Theory - Saunders MacLane
    Sheaves in Geometry and Logic
    A First Introduction to Topos Theory
    Saunders MacLane and Ieke Moerdijk
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Machine Learning and Knowledge Extraction : 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings - Andreas Holzinger
    Machine Learning and Knowledge Extraction
    7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 I...
    Andreas Holzinger, Peter Kieseberg, Federico Cabitza, Andrea Campagner and Edgar Weippl
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings - Akihiro Kanamori
    The Higher Infinite
    Large Cardinals in Set Theory from Their Beginn...
    Akihiro Kanamori
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Bestseller Bargains
  • Advanced Engineering Mathematics - Dennis G. Zill
    Advanced Engineering Mathematics
    Dennis G. Zill
    eText
    Instant Online Reading*
    $229.79
    BUY EBOOK
  • Saturated Model Theory - Gerald E Sacks
    Saturated Model Theory
    Gerald E Sacks
    eText
    Instant Online Reading*
    $39.60
    BUY EBOOK
  • Modelling Computing Systems : Mathematics for Computer Science - Faron Moller
    Modelling Computing Systems
    Mathematics for Computer Science
    Faron Moller and Georg Struth
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Exploring Mathematics : An Engaging Introduction to Proof - John Meier
    Exploring Mathematics
    An Engaging Introduction to Proof
    John Meier and Derek Smith
    eText
    Instant Online Reading*
    $77.95
    BUY EBOOK
  • Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus - Guerino Mazzola
    Comprehensive Mathematics for Computer Scientists 2
    Calculus and ODEs, Splines, Probability, Fourie...
    Guerino Mazzola, Gérard Milmeister and Jody Weissmann
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • The Homotopy Theory of (∞, 1)-Categories - Julia E. Bergner
    The Homotopy Theory of (∞, 1)-Categories
    Julia E. Bergner
    eText
    Instant Online Reading*
    $58.95
    BUY EBOOK
  • Logical Foundations of Cyber-Physical Systems - André Platzer
    Logical Foundations of Cyber-Physical Systems
    André Platzer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Design of Requirements Modelling Languages : How to Make Formalisms for Problem Solving in Requirements Engineering - Ivan Jureta
    The Design of Requirements Modelling Languages
    How to Make Formalisms for Problem Solving in R...
    Ivan Jureta
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Subjective Logic : A Formalism for Reasoning Under Uncertainty - Audun Jøsang
    Subjective Logic
    A Formalism for Reasoning Under Uncertainty
    Audun Jøsang
    eText
    Instant Online Reading*
    $289.00
    BUY EBOOK
  • Finitely Supported Mathematics : An Introduction - Andrei Alexandru
    Finitely Supported Mathematics
    An Introduction
    Andrei Alexandru and Gabriel Ciobanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Ernst Zermelo : An Approach to His Life and Work - Heinz Dieter Ebbinghaus
    Ernst Zermelo
    An Approach to His Life and Work
    Heinz Dieter Ebbinghaus and Volker Peckhaus
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Process Algebras for Petri Nets : The Alphabetization of Distributed Systems - Roberto Gorrieri
    Process Algebras for Petri Nets
    The Alphabetization of Distributed Systems
    Roberto Gorrieri
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Description Logics in Multimedia Reasoning - Leslie F. Sikos
    Description Logics in Multimedia Reasoning
    Leslie F. Sikos
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Turing Computability : Theory and Applications - Robert I. Soare
    Turing Computability
    Theory and Applications
    Robert I. Soare
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Software Language Engineering : 7th International Conference, SLE 2014, Vasteras, Sweden, September 15-16, 2014. Proceedings
    Software Language Engineering
    7th International Conference, SLE 2014, Vastera...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reachability Problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
    Reachability Problems
    8th International Workshop, RP 2014, Oxford, UK...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings - Author
    Static Analysis
    21st International Symposium, SAS 2014, Munich,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Its Applications : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings - Author
    Logic and Its Applications
    5th International Conference, ICLA 2013, Chenna...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Handbook of Model Checking - Author
    Handbook of Model Checking
    Author
    eText
    Instant Online Reading*
    $229.00
    BUY EBOOK
  • Introduction to Concurrency Theory : Transition Systems and CCS - Roberto Gorrieri
    Introduction to Concurrency Theory
    Transition Systems and CCS
    Roberto Gorrieri and Cristian Versari
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Petri Net Synthesis - Eric Badouel
    Petri Net Synthesis
    Eric Badouel, Luca Bernardinello and Philippe Darondeau
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Cylindric-like Algebras and Algebraic Logic
    Cylindric-like Algebras and Algebraic Logic
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Special Topics in Mathematics for Computer Scientists : Sets, Categories, Topologies and Measures - Ernst-Erich Doberkat
    Special Topics in Mathematics for Computer Scientists
    Sets, Categories, Topologies and Measures
    Ernst-Erich Doberkat
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Erdos Centennial - Author
    Erdos Centennial
    Author
    eText
    Instant Online Reading*
    $289.00
    BUY EBOOK
  • Ernst Zermelo - Collected Works/Gesammelte Werke II : Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik - Ernst Zermelo
    Ernst Zermelo - Collected Works/Gesammelte Werke II
    Volume II/Band II - Calculus of Variations, App...
    Ernst Zermelo
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Introduction to Relation Algebras : Relation Algebras, Volume 1 - Steven Givant
    Introduction to Relation Algebras
    Relation Algebras, Volume 1
    Steven Givant
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Advanced Topics in Relation Algebras : Relation Algebras, Volume 2 - Steven Givant
    Advanced Topics in Relation Algebras
    Relation Algebras, Volume 2
    Steven Givant
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers
    New Frontiers in Artificial Intelligence
    JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI,...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Formal Grammar : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Dusseldorf, Germany, August 2013, Proceedings
    Formal Grammar
    17th and 18th International Conferences, FG 201...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings - Author
    Logic, Language, Information, and Computation
    20th International Workshop, WoLLIC 2013, Darms...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Beauty of Functional Code : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
    The Beauty of Functional Code
    Essays Dedicated to Rinus Plasmeijer on the Occ...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2014 : 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
    Reliable Software Technologies - Ada-Europe 2014
    19th Ada-Europe International Conference on Rel...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Implementation and Application of Automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings - Author
    Implementation and Application of Automata
    19th International Conference, CIAA 2014, Giess...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings
    Logic, Language, Information, and Computation
    21st International Workshop, WoLLIC 2014, Valpa...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
    Tests and Proofs
    8th International Conference, TAP 2014, Held as...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Deontic Logic and Normative Systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings - Author
    Deontic Logic and Normative Systems
    12th International Conference, DEON 2014, Ghent...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings
    Graph Transformation
    7th International Conference, ICGT 2014, Held a...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Artificial General Intelligence : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings
    Artificial General Intelligence
    7th International Conference, AGI 2014, Quebec ...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Developments in Language Theory : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
    Developments in Language Theory
    18th International Conference, DLT 2014, Ekater...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
    Computational Logic in Multi-Agent Systems
    15th International Workshop, CLIMA XV, Prague, ...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
    Descriptional Complexity of Formal Systems
    16th International Workshop, DCFS 2014, Turku, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 11th International Conference, PROPOR 2014, Sao Carlos/SP, Brazil, October 6-8, 2014, Proceedings - Author
    Computational Processing of the Portuguese Language
    11th International Conference, PROPOR 2014, Sao...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlled Natural Language : 4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014, Proceedings - Author
    Controlled Natural Language
    4th International Workshop, CNL 2014, Galway, I...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
    Integrated Formal Methods
    11th International Conference, IFM 2014, Bertin...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reasoning Web. Reasoning and the Web in the Big Data Era : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings
    Reasoning Web. Reasoning and the Web in the Big Data Era
    10th International Summer School 2014, Athens, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
    Runtime Verification
    5th International Conference, RV 2014, Toronto,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • KI 2014: Advances in Artificial Intelligence : 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014, Proceedings - Author
    KI 2014: Advances in Artificial Intelligence
    37th Annual German Conference on AI, Stuttgart,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Correct System Design : Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings - Author
    Correct System Design
    Symposium in Honor of Ernst-Rudiger Olderog on ...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Trends in Functional Programming : 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers - Author
    Trends in Functional Programming
    13th International Symposium, TFP 2012, St Andr...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    4th International Conference, ABZ 2014, Toulous...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
    Model-Based Safety and Assessment
    4th International Symposium, IMBSA 2014, Munich...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    Fundamental Approaches to Software Engineering
    18th International Conference, FASE 2015, Held ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning and Mathematics : Essays in Memory of William W. McCune - Author
    Automated Reasoning and Mathematics
    Essays in Memory of William W. McCune
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
    Logic, Language, and Computation
    9th International Tbilisi Symposium on Logic, L...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings - Author
    Software Engineering and Formal Methods
    11th International Conference, SEFM 2013, Madri...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings - Author
    Formal Methods for Industrial Critical Systems
    20th International Workshop, FMICS 2015 Oslo, N...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
    Tests and Proofs
    9th International Conference, TAP 2015, Held as...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings - Author
    Reliable Software Technologies - Ada-Europe 2015
    20th Ada-Europe International Conference on Rel...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
    Dependable Software Engineering: Theories, Tools, and Applications
    First International Symposium, SETTA 2015, Nanj...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Algorithmic Learning Theory : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013, Proceedings
    Algorithmic Learning Theory
    24th International Conference, ALT 2013, Singap...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings - Author
    Hardware and Software: Verification and Testing
    13th International Haifa Verification Conferenc...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets and Current Trends in Computing : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014, Proceedings
    Rough Sets and Current Trends in Computing
    9th International Conference, RSCTC 2014, Grana...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I - Author
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
    6th International Symposium, ISoLA 2014, Imperi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
    Relational and Algebraic Methods in Computer Science
    15th International Conference, RAMiCS 2015, Bra...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    14th International Conference, VMCAI 2013, Rome...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Rough Sets XVI
    Transactions on Rough Sets XVI
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Systems : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
    Formal Techniques for Distributed Systems
    Joint IFIP WG 6.1 International Conference, FMO...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science - Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings - Author
    Computer Science - Theory and Applications
    8th International Computer Science Symposium in...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    Foundations of Software Science and Computation Structures
    16th International Conference, FOSSACS 2013, He...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
    Integrated Formal Methods
    10th International Conference, IFM 2013, Turku,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
    Automated Deduction -- CADE-24
    24th International Conference on Automated Dedu...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
    The Nature of Computation: Logic, Algorithms, Applications
    9th Conference on Computability in Europe, CiE ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings - Author
    Software Composition
    12th International Conference, SC 2013, Budapes...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
    Logic Programming and Nonmonotonic Reasoning
    12th International Conference, LPNMR 2013, Coru...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
    Computational Logic in Multi-Agent Systems
    14th International Workshop, CLIMA XIV, Corunna...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings - Author
    Runtime Verification
    4th International Conference, RV 2013, Rennes, ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings - Author
    Software Language Engineering
    6th International Conference, SLE 2013, Indiana...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    Hardware and Software: Verification and Testing
    9th International Haifa Verification Conference...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    Certified Programs and Proofs
    Third International Conference, CPP 2013, Melbo...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings - Author
    Relational and Algebraic Methods in Computer Science
    14th International Conference, RAMiCS 2014, Mar...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Categories and Types in Logic, Language, and Physics : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
    Categories and Types in Logic, Language, and Physics
    Essays dedicated to Jim Lambek on the Occasion ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Models of Computation : 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings
    Theory and Applications of Models of Computation
    11th Annual Conference, TAMC 2014, Chennai, Ind...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    FM 2014: Formal Methods
    19th International Symposium, Singapore, May 12...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday - Author
    Horizons of the Mind. A Tribute to Prakash Panangaden
    Essays Dedicated to Prakash Panangaden on the O...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rough Sets and Intelligent Systems Paradigms : Second International Conference, RSEISP 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings
    Rough Sets and Intelligent Systems Paradigms
    Second International Conference, RSEISP 2014, G...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    Interactive Theorem Proving
    5th International Conference, ITP 2014, Held as...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I - Author
    Mathematical Foundations of Computer Science 2014
    39th International Symposium, MFCS 2014, Budape...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
    Automated Reasoning
    7th International Joint Conference, IJCAR 2014,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Author
    Software Engineering and Formal Methods
    12th International Conference, SEFM 2014, Greno...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Natural Language Processing : 9th International Conference on NLP, PolTAL 2014, Warsaw, Poland, September 17-19, 2014. Proceedings - Author
    Advances in Natural Language Processing
    9th International Conference on NLP, PolTAL 201...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
    Programming Languages and Systems
    12th Asian Symposium, APLAS 2014, Singapore, Si...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering for Collective Autonomic Systems : The ASCENS Approach - Author
    Software Engineering for Collective Autonomic Systems
    The ASCENS Approach
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
3290 Results | View 24 / 100
< 1 ... 27 28 29 30 31 ... 33 >
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