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

      • University

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

      •  

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

      • Vocational

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

      • Fiction

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

      • Kids & YA

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

      • Non-Fiction

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

      • Textbooks

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

      Browse Fiction

    • New Releases
    • Coming Soon
    • Bestselling

      • Popular Subjects

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

      • Popular Authors

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

      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling

      • Subjects

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

      •  

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

      •  

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

      Browse Kids & YA

    • New Releases
    • Bestselling

      • Popular Subjects

      • Children's Fiction
      • Romance & Love Stories
      • Picture Books & Early Learning
      • Children's Non-Fiction
    Explore All Kids & YA
  • EREADERS
  • KOBO PLUS
eBooks > Non-Fiction > Computing & I.T. > Computer Programming & Software Development > Compilers & Interpreters
Get Free Shipping on orders over $79

Compilers & Interpreters

REFINE YOUR RESULTS

SUBJECTS

  • Algorithms & Data Structures
  • Compilers & Interpreters
  • Database Programming
  • Games Development & Programming
  • Microsoft Programming
  • Object-Oriented Programming or OOP
  • Programming & Scripting Languages
  • Software Engineering
  • Web Programming

LISTS

  • All eBooks (2008)
  • Books (1557)
  • Audiobooks (19)
  • eTextbooks (1873)

AVAILABILITY

  • All eBooks (2008)
  • New Releases (7)
  • Coming Soon (1)
  • Subscription eBooks (109)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (2008)
  • Books
     (1557)
  • Audiobooks
     (19)
2008 Results | View 24 / 100
< 1 ... 5 6 7 8 9 ... 21 >
Sort By
Sort By:
  • Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings - Radu Calinescu
    Software Engineering and Formal Methods
    13th International Conference, SEFM 2015, York,...
    Radu Calinescu and Bernhard Rumpe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday - Maurice H. ter Beek
    From Software Engineering to Formal Methods and Tools, and Back
    Essays Dedicated to Stefania Gnesi on the Occas...
    Maurice H. ter Beek, Alessandro Fantechi and Laura Semini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advanced Parallel Processing Technologies : 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings - Yong Dou
    Advanced Parallel Processing Technologies
    12th International Symposium, APPT 2017, Santia...
    Yong Dou, Haixiang Lin, Guangyu Sun, Junjie Wu and Luc Bougé
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings - Annette ten Teije
    Artificial Intelligence in Medicine
    16th Conference on Artificial Intelligence in M...
    Annette ten Teije, Christian Popow, John H. Holmes and Lucia Sacchi
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday - Cliff Jones
    Symposium on Real-Time and Hybrid Systems
    Essays Dedicated to Professor Chaochen Zhou on ...
    Cliff Jones, Ji Wang and Naijun Zhan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers - Viktória Zsók
    Central European Functional Programming School
    6th Summer School, CEFP 2015, Budapest, Hungary...
    Viktória Zsók, Zoltán Porkoláb and Zoltán Horváth
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings - Gabriele Kern-Isberner
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    15th European Conference, ECSQARU 2019, Belgrad...
    Gabriele Kern-Isberner and Zoran Ognjanovi?
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Afterpay
  • Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Bor-Yuh Evan Chang
    Static Analysis
    26th International Symposium, SAS 2019, Porto, ...
    Bor-Yuh Evan Chang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Relational and Algebraic Methods in Computer Science : 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings - Jules Desharnais
    Relational and Algebraic Methods in Computer Science
    17th International Conference, RAMiCS 2018, Gro...
    Jules Desharnais, Walter Guttmann and Stef Joosten
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI*IA 2017 Advances in Artificial Intelligence : XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings - Floriana Esposito
    AI*IA 2017 Advances in Artificial Intelligence
    XVIth International Conference of the Italian A...
    Floriana Esposito, Roberto Basili, Stefano Ferilli and Francesca A. Lisi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • PRICAI 2019: Trends in Artificial Intelligence : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I - Abhaya C. Nayak
    PRICAI 2019: Trends in Artificial Intelligence
    16th Pacific Rim International Conference on Ar...
    Abhaya C. Nayak and Alok Sharma
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity - Thomas Zeume
    Small Dynamic Complexity Classes
    An Investigation into Dynamic Descriptive Compl...
    Thomas Zeume
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers - Steve Counsell
    Software Engineering and Formal Methods
    SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS,...
    Steve Counsell and Manuel Núñez
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2015: Parallel Processing : 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings - Jesper Larsson Träff
    Euro-Par 2015: Parallel Processing
    21st International Conference on Parallel and D...
    Jesper Larsson Träff, Sascha Hunold and Francesco Versaci
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings - Brijesh Dongol
    Formal Methods Teaching
    Third International Workshop and Tutorial, FMTe...
    Brijesh Dongol, Luigia Petre and Graeme Smith
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2017 : 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings - Author
    Reliable Software Technologies - Ada-Europe 2017
    22nd Ada-Europe International Conference on Rel...
    Author
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Model and Data Engineering : 7th International Conference, MEDI 2017, Barcelona, Spain, October 4-6, 2017, Proceedings - Yassine Ouhammou
    Model and Data Engineering
    7th International Conference, MEDI 2017, Barcel...
    Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló and Ladjel Bellatreche
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings - Serena Villata
    PRIMA 2017: Principles and Practice of Multi-Agent Systems
    20th International Conference, Nice, France, Oc...
    Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre and Bo An
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday - Thomas Gibson-Robinson
    Concurrency, Security, and Puzzles
    Essays Dedicated to Andrew William Roscoe on th...
    Thomas Gibson-Robinson, Philippa Hopcroft and Ranko Lazi?
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers - Zhenhua Duan
    Structured Object-Oriented Formal Language and Method
    Third International Workshop, SOFL+MSVL 2013, Q...
    Zhenhua Duan and Shaoying Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Bayesian Networks in R : with Applications in Systems Biology - Radhakrishnan Nagarajan
    Bayesian Networks in R
    with Applications in Systems Biology
    Radhakrishnan Nagarajan, Marco Scutari and Sophie Lèbre
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Guide to Java : A Concise Introduction to Programming - James T. Streib
    Guide to Java
    A Concise Introduction to Programming
    James T. Streib and Takako Soma
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Geographical Information Systems Theory, Applications and Management : 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17-19, 2018, Revised Selected Papers - Lemonia Ragia
    Geographical Information Systems Theory, Applications and Management
    4th International Conference, GISTAM 2018, Func...
    Lemonia Ragia, Cédric Grueau and Robert Laurini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Numeric Computation and Statistical Data Analysis on the Java Platform : Computer Science (R0) - Sergei V. Chekanov
    Numeric Computation and Statistical Data Analysis on the Java Platform
    Computer Science (R0)
    Sergei V. Chekanov
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Quality of Information and Communications Technology : 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings - Mario Piattini
    Quality of Information and Communications Technology
    12th International Conference, QUATIC 2019, Ciu...
    Mario Piattini, Paulo Rupino da Cunha, Ignacio García Rodríguez de Guzmán and Ricardo Pérez-Castillo
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Low Level X Window Programming : An Introduction by Examples - Ross J. Maloney
    Low Level X Window Programming
    An Introduction by Examples
    Ross J. Maloney
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • A Beginner's Guide to Scala, Object Orientation and Functional Programming : Computer Science (R0) - John Hunt
    A Beginner's Guide to Scala, Object Orientation and Functional Programming
    Computer Science (R0)
    John Hunt
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Introduction to Programming with Fortran : With Coverage of Fortran 90, 95, 2003, 2008 and 77 - Ian Chivers
    Introduction to Programming with Fortran
    With Coverage of Fortran 90, 95, 2003, 2008 and 77
    Ian Chivers and Jane Sleightholme
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • More Math Into LaTeX : Computer Science (R0) - George Grätzer
    More Math Into LaTeX
    Computer Science (R0)
    George Grätzer
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Pro SAP Scripts, Smartforms, and Data Migration : ABAP Programming Simplified - Sushil Markandeya
    Pro SAP Scripts, Smartforms, and Data Migration
    ABAP Programming Simplified
    Sushil Markandeya
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Haskell Quick Syntax Reference : A Pocket Guide to the Language, APIs, and Library - Stefania Loredana Nita
    Haskell Quick Syntax Reference
    A Pocket Guide to the Language, APIs, and Library
    Stefania Loredana Nita and Marius Mihailescu
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • R Quick Syntax Reference : A Pocket Guide to the Language, APIs and Library - Margot Tollefson
    R Quick Syntax Reference
    A Pocket Guide to the Language, APIs and Library
    Margot Tollefson
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • The Blender Python API : Precision 3D Modeling and Add-on Development - Chris Conlan
    The Blender Python API
    Precision 3D Modeling and Add-on Development
    Chris Conlan
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Practical TLA+ : Planning Driven Development - Hillel Wayne
    Practical TLA+
    Planning Driven Development
    Hillel Wayne
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • macOS Programming for Absolute Beginners : Developing Apps Using Swift and Xcode - Wallace Wang
    macOS Programming for Absolute Beginners
    Developing Apps Using Swift and Xcode
    Wallace Wang
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Advanced Object-Oriented Programming in R : Statistical Programming for Data Science, Analysis and Finance - Thomas Mailund
    Advanced Object-Oriented Programming in R
    Statistical Programming for Data Science, Analy...
    Thomas Mailund
    eText
    Instant Online Reading*
    $44.99
    BUY EBOOK
  • Introducing Vala Programming : A Language and Techniques to Boost Productivity - Michael Lauer
    Introducing Vala Programming
    A Language and Techniques to Boost Productivity
    Michael Lauer
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Functional Interfaces in Java : Fundamentals and Examples - Ralph Lecessi
    Functional Interfaces in Java
    Fundamentals and Examples
    Ralph Lecessi
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Android Studio IDE Quick Reference : A Pocket Guide to Android Studio Development - Ted Hagos
    Android Studio IDE Quick Reference
    A Pocket Guide to Android Studio Development
    Ted Hagos
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • CSS3 Quick Syntax Reference : A Pocket Guide to the Cascading Style Sheets Language - Mikael Olsson
    CSS3 Quick Syntax Reference
    A Pocket Guide to the Cascading Style Sheets La...
    Mikael Olsson
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Swift 4 for Absolute Beginners : Develop Apps for iOS - Stefan Kaczmarek
    Swift 4 for Absolute Beginners
    Develop Apps for iOS
    Stefan Kaczmarek, Brad Lees and Gary Bennett
    eText
    Instant Online Reading*
    $54.99
    BUY EBOOK
  • Learn Kotlin for Android Development : The Next Generation Language for Modern Android Apps Programming - Peter Späth
    Learn Kotlin for Android Development
    The Next Generation Language for Modern Android...
    Peter Späth
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • C++17 Standard Library Quick Reference : A Pocket Guide to Data Structures, Algorithms, and Functions - Peter Van Weert
    C++17 Standard Library Quick Reference
    A Pocket Guide to Data Structures, Algorithms, ...
    Peter Van Weert and Marc Gregoire
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Let's Build a Multiplayer Phaser Game : With TypeScript, Socket.IO, and Phaser - Oscar Lodriguez
    Let's Build a Multiplayer Phaser Game
    With TypeScript, Socket.IO, and Phaser
    Oscar Lodriguez
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • BANTAM User Guide : Biometric and Token Technology Application Modeling Language - Julian Ashbourn
    BANTAM User Guide
    Biometric and Token Technology Application Mode...
    Julian Ashbourn
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multi-Paradigm Programming using C++ - Dirk Vermeir
    Multi-Paradigm Programming using C++
    Dirk Vermeir
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Essential Visual J++ 6.0 fast : How to develop Java applications and applets with Visual J++ - John Cowell
    Essential Visual J++ 6.0 fast
    How to develop Java applications and applets wi...
    John Cowell
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Beginning C for Arduino, Second Edition : Learn C Programming for the Arduino - Jack Purdum
    Beginning C for Arduino, Second Edition
    Learn C Programming for the Arduino
    Jack Purdum
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Web Development with Go : Building Scalable Web Apps and RESTful Services - Shiju Varghese
    Web Development with Go
    Building Scalable Web Apps and RESTful Services
    Shiju Varghese
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Formal Languages and Compilation : Computer Science (R0) - Stefano Crespi Reghizzi
    Formal Languages and Compilation
    Computer Science (R0)
    Stefano Crespi Reghizzi, Luca Breveglieri and Angelo Morzenti
    eText
    Instant Online Reading*
    $149.01
    BUY EBOOK
  • Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings - Stefano Tonetta
    Computer Safety, Reliability, and Security
    SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR...
    Stefano Tonetta, Erwin Schoitsch and Friedemann Bitsch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings - Josef Küng
    Future Data and Security Engineering
    4th International Conference, FDSE 2017, Ho Chi...
    Josef Küng, Roland Wagner, Erich J. Neuhold, Makoto Takizawa and Nam Thoai
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings - Christoph Benzmüller
    Rules and Reasoning
    Second International Joint Conference, RuleML+R...
    Christoph Benzmüller, Francesco Ricca, Xavier Parent and Dumitru Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings - Aaron Dutle
    NASA Formal Methods
    10th International Symposium, NFM 2018, Newport...
    Aaron Dutle, César Muñoz and Anthony Narkawicz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings - Shuvendu K. Lahiri
    Automated Technology for Verification and Analysis
    16th International Symposium, ATVA 2018, Los An...
    Shuvendu K. Lahiri and Chao Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers - Manuel Mazzara
    Software Technologies: Applications and Foundations
    STAF 2018 Collocated Workshops, Toulouse, Franc...
    Manuel Mazzara, Iulian Ober and Gwen Salaün
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday - Tiziana Margaria
    Models, Mindsets, Meta: The What, the How, and the Why Not?
    Essays Dedicated to Bernhard Steffen on the Occ...
    Tiziana Margaria, Susanne Graf and Kim G. Larsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings - José Júlio Alferes
    Practical Aspects of Declarative Languages
    21th International Symposium, PADL 2019, Lisbon...
    José Júlio Alferes and Moa Johansson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings - Sunita Chandrasekaran
    Accelerator Programming Using Directives
    4th International Workshop, WACCPD 2017, Held i...
    Sunita Chandrasekaran and Guido Juckeland
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • High Performance Computing : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers - Rio Yokota
    High Performance Computing
    ISC High Performance 2018 International Worksho...
    Rio Yokota, Miche?le Weiland, John Shalf and Sadaf Alam
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings - Ahmed Bouajjani
    Verification, Model Checking, and Abstract Interpretation
    18th International Conference, VMCAI 2017, Pari...
    Ahmed Bouajjani and David Monniaux
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings - Atsushi Igarashi
    Programming Languages and Systems
    14th Asian Symposium, APLAS 2016, Hanoi, Vietna...
    Atsushi Igarashi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings - Shiva Nejati
    Search-Based Software Engineering
    11th International Symposium, SSBSE 2019, Talli...
    Shiva Nejati and Gregory Gay
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings - John P. Gallagher
    Functional and Logic Programming
    14th International Symposium, FLOPS 2018, Nagoy...
    John P. Gallagher and Martin Sulzmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings - Julia M. Badger
    NASA Formal Methods
    11th International Symposium, NFM 2019, Houston...
    Julia M. Badger and Kristin Yvonne Rozier
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers - Manjunath Gorentla Venkata
    OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
    Third Workshop, OpenSHMEM 2016, Baltimore, MD, ...
    Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale and Tiffany M. Mintz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers - Fabio Fioravanti
    Logic-Based Program Synthesis and Transformation
    27th International Symposium, LOPSTR 2017, Namu...
    Fabio Fioravanti and John P. Gallagher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Requirements Engineering: Foundation for Software Quality : 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings - Erik Kamsties
    Requirements Engineering: Foundation for Software Quality
    24th International Working Conference, REFSQ 20...
    Erik Kamsties, Jennifer Horkoff and Fabiano Dalpiaz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig - Reiko Heckel
    Graph Transformation, Specifications, and Nets
    In Memory of Hartmut Ehrig
    Reiko Heckel and Gabriele Taentzer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings - Tim Menzies
    Search Based Software Engineering
    9th International Symposium, SSBSE 2017, Paderb...
    Tim Menzies and Justyna Petke
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings - Erwin Schoitsch
    Computer Safety, Reliability, and Security
    36th International Conference, SAFECOMP 2017, T...
    Erwin Schoitsch, Stefano Tonetta and Friedemann Bitsch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings - Maurice H. ter Beek
    Formal Methods - The Next 30 Years
    Third World Congress, FM 2019, Porto, Portugal,...
    Maurice H. ter Beek, Annabelle McIver and José N. Oliveira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings - Klaus Havelund
    Formal Methods
    22nd International Symposium, FM 2018, Held as ...
    Klaus Havelund, Jan Peleska, Bill Roscoe and Erik de Vink
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings - Didier Galmiche
    Automated Reasoning
    9th International Joint Conference, IJCAR 2018,...
    Didier Galmiche, Stephan Schulz and Roberto Sebastiani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings - Emilio Tuosto
    Coordination Models and Languages
    21st IFIP WG 6.1 International Conference, COOR...
    Emilio Tuosto and Hanne Riis Nielson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings - Rogério de Lemos
    Software Architecture
    11th European Conference, ECSA 2017, Canterbury...
    Rogério de Lemos and Antónia Lopes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers - Alexander K. Petrenko
    Perspectives of System Informatics
    11th International Andrei P. Ershov Informatics...
    Alexander K. Petrenko and Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings - Esther Guerra
    Graph Transformation
    12th International Conference, ICGT 2019, Held ...
    Esther Guerra and Fernando Orejas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings - Jorge A. Pérez
    Formal Techniques for Distributed Objects, Components, and Systems
    39th IFIP WG 6.1 International Conference, FORT...
    Jorge A. Pérez and Nobuko Yoshida
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings - Mauricio Ayala-Rincón
    Interactive Theorem Proving
    8th International Conference, ITP 2017, Brasili...
    Mauricio Ayala-Rincón and César A. Muñoz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings - Louis-Martin Rousseau
    Integration of Constraint Programming, Artificial Intelligence, and Operations Research
    16th International Conference, CPAIOR 2019, The...
    Louis-Martin Rousseau and Kostas Stergiou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings - Thierry Lecomte
    Formal Methods: Foundations and Applications
    19th Brazilian Symposium, SBMF 2016, Natal, Bra...
    Thierry Lecomte and Leila Ribeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings - Shuvendu Lahiri
    Runtime Verification
    17th International Conference, RV 2017, Seattle...
    Shuvendu Lahiri and Giles Reger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings - Nicola Olivetti
    Automated Reasoning
    8th International Joint Conference, IJCAR 2016,...
    Nicola Olivetti and Ashish Tiwari
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings - Xinyu Feng
    Dependable Software Engineering. Theories, Tools, and Applications
    4th International Symposium, SETTA 2018, Beijin...
    Xinyu Feng, Markus Müller-Olm and Zijiang Yang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers - Lehel Csató
    Central European Functional Programming School
    5th Summer School, CEFP 2013, Cluj-Napoca, Roma...
    Lehel Csató, Viktória Zsók and Zoltán Horváth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Sandrine Blazy
    Verified Software. Theories, Tools, and Experiments
    8th International Conference, VSTTE 2016, Toron...
    Sandrine Blazy and Marsha Chechik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings - Mohammad Reza Mousavi
    Topics in Theoretical Computer Science
    Second IFIP WG 1.8 International Conference, TT...
    Mohammad Reza Mousavi and Ji?í Sgall
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers - Chen Ding
    Languages and Compilers for Parallel Computing
    29th International Workshop, LCPC 2016, Rochest...
    Chen Ding, John Criswell and Peng Wu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings - Simon Devitt
    Reversible Computation
    8th International Conference, RC 2016, Bologna,...
    Simon Devitt and Ivan Lanese
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Bernd Finkbeiner
    Runtime Verification
    19th International Conference, RV 2019, Porto, ...
    Bernd Finkbeiner and Leonardo Mariani
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings - Peter Csaba Ölveczky
    Software Engineering and Formal Methods
    17th International Conference, SEFM 2019, Oslo,...
    Peter Csaba Ölveczky and Gwen Salaün
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings - Fabrizio Riguzzi
    Inductive Logic Programming
    28th International Conference, ILP 2018, Ferrar...
    Fabrizio Riguzzi, Elena Bellodi and Riccardo Zese
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings - Andreas Podelski
    Static Analysis
    25th International Symposium, SAS 2018, Freibur...
    Andreas Podelski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers - Joaquim Filipe
    Agents and Artificial Intelligence
    8th International Conference, ICAART 2016, Rome...
    Joaquim Filipe and Jaap van den Herik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers - Zhiming Liu
    Formal Aspects of Component Software
    10th International Symposium, FACS 2013, Nancha...
    Zhiming Liu, Jinyun Xue and José Luiz Fiadeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings - Cláudia Nalon
    Automated Reasoning with Analytic Tableaux and Related Methods
    26th International Conference, TABLEAUX 2017, B...
    Cláudia Nalon and Renate A. Schmidt
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers - Slimane Hammoudi
    Model-Driven Engineering and Software Development
    4th International Conference, MODELSWARD 2016, ...
    Slimane Hammoudi, Luís Ferreira Pires, Bran Selic and Philippe Desfray
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Supercomputing : 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018, Revised Selected Papers - Vladimir Voevodin
    Supercomputing
    4th Russian Supercomputing Days, RuSCDays 2018,...
    Vladimir Voevodin and Sergey Sobolev
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
2008 Results | View 24 / 100
< 1 ... 5 6 7 8 9 ... 21 >
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