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 (2015)
  • Books (1559)
  • Audiobooks (19)
  • eTextbooks (1877)

AVAILABILITY

  • All eBooks (2015)
  • New Releases (11)
  • Coming Soon (2)
  • Subscription eBooks (111)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (2015)
  • Books
     (1559)
  • Audiobooks
     (19)
2015 Results | View 24 / 100
< 1 ... 17 18 19 20 21 >
Sort By
Sort By:
  • 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
  • Afterpay
  • 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 - Author
    Inductive Logic Programming
    28th International Conference, ILP 2018, Ferrar...
    Author
    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
  • Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers - Cyrille Artho
    Formal Techniques for Safety-Critical Systems
    5th International Workshop, FTSCS 2016, Tokyo, ...
    Cyrille Artho and Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automatic Tuning of Compilers Using Machine Learning : Engineering (R0) - Amir H. Ashouri
    Automatic Tuning of Compilers Using Machine Learning
    Engineering (R0)
    Amir H. Ashouri, Gianluca Palermo, John Cavazos and Cristina Silvano
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Building Secure Defenses Against Code-Reuse Attacks : Computer Science (R0) - Lucas Davi
    Building Secure Defenses Against Code-Reuse Attacks
    Computer Science (R0)
    Lucas Davi and Ahmad-Reza Sadeghi
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • JRuby Rails Web Application Development : Computer Science (R0) - Deepak Vohra
    JRuby Rails Web Application Development
    Computer Science (R0)
    Deepak Vohra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Smart Card Application Development Using Java : Computer Science (R0) - Uwe Hansmann
    Smart Card Application Development Using Java
    Computer Science (R0)
    Uwe Hansmann, Martin S. Nicklous, Thomas Schäck, Achim Schneider and Frank Seliger
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Formal Specification Techniques for Engineering Modular C Programs : International Series in Software Engineering : Book 1 - Tan Yang Meng
    Formal Specification Techniques for Engineering Modular C Programs
    International Series in Software Engineering : ...
    Tan Yang Meng
    eBook
    Instant Digital Delivery
    RRP $239.00
    $215.99
    BUY EBOOK
  • Language Constructs for Describing Features : Proceedings of the FIREworks workshop - Stephen Gilmore
    Language Constructs for Describing Features
    Proceedings of the FIREworks workshop
    Stephen Gilmore and Mark Ryan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Swift 2 for Absolute Beginners : Professional and Applied Computing (R0) - Gary Bennett
    Swift 2 for Absolute Beginners
    Professional and Applied Computing (R0)
    Gary Bennett and Brad Lees
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • C++ 14 Quick Syntax Reference : Second Edition - Mikael Olsson
    C++ 14 Quick Syntax Reference
    Second Edition
    Mikael Olsson
    eText
    Instant Online Reading*
    $44.99
    BUY EBOOK
  • Learn Cocoa on the Mac - Jack Nutting
    Learn Cocoa on the Mac
    Jack Nutting and Peter Clark
    eText
    Instant Online Reading*
    $50.00
    BUY EBOOK
  • Learn Pixi.js : Professional and Applied Computing (R0) - Rex van der Spuy
    Learn Pixi.js
    Professional and Applied Computing (R0)
    Rex van der Spuy
    eText
    Instant Online Reading*
    $54.99
    BUY EBOOK
  • Xamarin Mobile Application Development : Cross-Platform C# and Xamarin.Forms Fundamentals - Dan Hermes
    Xamarin Mobile Application Development
    Cross-Platform C# and Xamarin.Forms Fundamentals
    Dan Hermes
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Learn to Program with C : Professional and Applied Computing (R0) - Noel Kalicharan
    Learn to Program with C
    Professional and Applied Computing (R0)
    Noel Kalicharan
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Android Studio Game Development : Concepts and Design - Jerome DiMarzio
    Android Studio Game Development
    Concepts and Design
    Jerome DiMarzio
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Introduction to React : Professional and Applied Computing (R0) - Cory Gackenheimer
    Introduction to React
    Professional and Applied Computing (R0)
    Cory Gackenheimer
    eText
    Instant Online Reading*
    $44.99
    BUY EBOOK
  • Migrating from Drupal to Backdrop : Professional and Applied Computing (R0) - Todd Tomlinson
    Migrating from Drupal to Backdrop
    Professional and Applied Computing (R0)
    Todd Tomlinson
    eText
    Instant Online Reading*
    $50.00
    BUY EBOOK
  • Essential UMLTm fast : Using SELECT Use Case Tool for Rapid Applications Development - Aladdin Ayesh
    Essential UMLTm fast
    Using SELECT Use Case Tool for Rapid Applicatio...
    Aladdin Ayesh
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compiler Design : Syntactic and Semantic Analysis - Reinhard Wilhelm
    Compiler Design
    Syntactic and Semantic Analysis
    Reinhard Wilhelm, Helmut Seidl and Sebastian Hack
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Learning C# by Programming Games : Computer Science (R0) - Arjan Egges
    Learning C# by Programming Games
    Computer Science (R0)
    Arjan Egges, Jeroen D. Fokker and Mark H. Overmars
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Instruction Level Parallelism : Computer Science (R0) - Alex Aiken
    Instruction Level Parallelism
    Computer Science (R0)
    Alex Aiken, Utpal Banerjee, Arun Kejariwal and Alexandru Nicolau
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Programming Smalltalk - Object-Orientation from the Beginning : An introduction to the principles of programming - Johannes Brauer
    Programming Smalltalk - Object-Orientation from the Beginning
    An introduction to the principles of programming
    Johannes Brauer
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings - Christel Baier
    Formal Techniques for Distributed Objects, Components, and Systems
    38th IFIP WG 6.1 International Conference, FORT...
    Christel Baier and Luís Caires
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings - Catherine Dubois
    Tests and Proofs
    12th International Conference, TAP 2018, Held a...
    Catherine Dubois and Burkhart Wolff
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • OpenMP: Memory, Devices, and Tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings - Naoya Maruyama
    OpenMP: Memory, Devices, and Tasks
    12th International Workshop on OpenMP, IWOMP 20...
    Naoya Maruyama, Bronis R. de Supinski and Mohamed Wahib
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - Alessandro Abate
    Formal Modeling and Analysis of Timed Systems
    15th International Conference, FORMATS 2017, Be...
    Alessandro Abate and Gilles Geeraerts
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings - Francesco Ranzato
    Static Analysis
    24th International Symposium, SAS 2017, New Yor...
    Francesco Ranzato
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Michael Butler
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    5th International Conference, ABZ 2016, Linz, A...
    Michael Butler, Miklos Biro, Klaus-Dieter Schewe and Atif Mashkoor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scala: From a Functional Programming Perspective : An Introduction to the Programming Language - Vicenç Torra
    Scala: From a Functional Programming Perspective
    An Introduction to the Programming Language
    Vicenç Torra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Logic Programming : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings - Andy King
    Functional and Logic Programming
    13th International Symposium, FLOPS 2016, Kochi...
    Andy King and Oleg Kiselyov
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Graph Transformation : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings - Author
    Graph Transformation
    11th International Conference, ICGT 2018, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Modularity and Composition I : Computer Science (R0) - Author
    Transactions on Modularity and Composition I
    Computer Science (R0)
    Author
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • High Performance Computing : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers - Author
    High Performance Computing
    ISC High Performance 2017 International Worksho...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Engineering Trustworthy Software Systems : First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures - Zhiming Liu
    Engineering Trustworthy Software Systems
    First International School, SETSS 2014, Chongqi...
    Zhiming Liu and Zili Zhang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computing and Software Science : State of the Art and Perspectives - Bernhard Steffen
    Computing and Software Science
    State of the Art and Perspectives
    Bernhard Steffen and Gerhard Woeginger
    eText
    Instant Online Reading*
    $50.00
    BUY EBOOK
  • Verified Software: Theories, Tools, and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers - Arie Gurfinkel
    Verified Software: Theories, Tools, and Experiments
    7th International Conference, VSTTE 2015, San F...
    Arie Gurfinkel and Sanjit A. Seshia
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings - Dang Van Hung
    Theoretical Aspects of Computing - ICTAC 2017
    14th International Colloquium, Hanoi, Vietnam, ...
    Dang Van Hung and Deepak Kapur
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Search-Based Software Engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings - Yvan Labiche
    Search-Based Software Engineering
    7th International Symposium, SSBSE 2015, Bergam...
    Yvan Labiche and Márcio Barros
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coordination Models and Languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings - Giovanna Di Marzo Serugendo
    Coordination Models and Languages
    20th IFIP WG 6.1 International Conference, COOR...
    Giovanna Di Marzo Serugendo and Michele Loreti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Foundations for Mastering Change I : Computer Science (R0) - Bernhard Steffen
    Transactions on Foundations for Mastering Change I
    Computer Science (R0)
    Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information, and Computation : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings - Lawrence S. Moss
    Logic, Language, Information, and Computation
    25th International Workshop, WoLLIC 2018, Bogot...
    Lawrence S. Moss, Ruy de Queiroz and Maricarmen Martinez
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Coordination, Organizations, Institutions, and Norms in Agent Systems XII : COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers - Author
    Coordination, Organizations, Institutions, and Norms in Agent Systems XII
    COIN 2016 International Workshops, COIN@AAMAS, ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Nadia Polikarpova
    Integrated Formal Methods
    13th International Conference, IFM 2017, Turin,...
    Nadia Polikarpova and Steve Schneider
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Peter Thiemann
    Programming Languages and Systems
    25th European Symposium on Programming, ESOP 20...
    Peter Thiemann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings - Martin Davis
    Logic for Programming, Artificial Intelligence, and Reasoning
    20th International Conference, LPAR-20 2015, Su...
    Martin Davis, Ansgar Fehnker, Annabelle McIver and Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings - Einar Broch Johnsen
    Software Engineering and Formal Methods
    16th International Conference, SEFM 2018, Held ...
    Einar Broch Johnsen and Ina Schaefer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers - Xipeng Shen
    Languages and Compilers for Parallel Computing
    28th International Workshop, LCPC 2015, Raleigh...
    Xipeng Shen, Frank Mueller and James Tuck
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modelling Foundations and Applications : 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings - Alfonso Pierantonio
    Modelling Foundations and Applications
    14th European Conference, ECMFA 2018, Held as P...
    Alfonso Pierantonio and Salvador Trujillo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Model Transformations : 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings - Dimitris Kolovos
    Theory and Practice of Model Transformations
    8th International Conference, ICMT 2015, Held a...
    Dimitris Kolovos and Manuel Wimmer
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
2015 Results | View 24 / 100
< 1 ... 17 18 19 20 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