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
      • Bestselling
      • Bargains
      • Signed Copies

        • Popular Subjects

        • Australian Fiction
        • Classic Fiction
        • Crime & Mystery
        • Erotic Fiction
        • Fantasy
        • Graphic Novels & Manga
        • Historical
        • Modern & Contemporary

        •  

        • Poetry
        • Romance
        • Science Fiction
        • Thrillers & Mystery
        • Young Adult

        • Popular Authors

        • Margaret Atwood
        • Trent Dalton
        • Jane Harper
        • Stephen King
        • Dervla McTiernan
        • Liane Moriarty
        • Matthew Reilly
        • Sally Rooney

        • Popular Series

        • After
        • A Game of Thrones
        • Jack Reacher
        • Jack West
        • The Seven Sisters
        • Outlander
        • The Witcher
        • Wolf Hall

        More:

      • Award Winning Reads
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
        • Explore All Fiction >
    • NON-FICTION

        Browse Non-Fiction

      • Bestselling
      • Bargains
      • Signed Copies

        • Popular Subjects

        • Animals & Nature
        • Arts & Entertainment
        • Biographies & True Stories
        • Business & Management
        • Comedy & Humour
        • Computing & IT
        • Cooking, Food & Drink
        • Crafts & Handiwork
        • Family & Health
        • Fashion & Style Guides
        • Fitness & Diet
        • Gardening
        • Green Lifestyle & Self-Sufficiency
        • History
        • House & Home

        •  

        • Language & Linguistics
        • Mind, Body, Spirit
        • Politics & Government
        • Popular Psychology
        • Religion & Beliefs
        • Science
        • Self Help & Personal Development
        • Society & Culture
        • Sport & Recreation
        • Transportation
        • Travel & Holidays

        • Biographies & True Stories

        • Arts & Entertainment Biographies
        • Historical Biographies
        • Sport Biographies
        • Travel Writing
        • True Crime
        • True Stories of Heroism

          • Cooking, Food & Drink

        • Baking & Desserts
        • Cooking for & with Children
        • Health & Wholefood Cookery
        • National & Regional Cuisine
        • TV & Celebrity Chefs
        • Vegetarian Cookery

        • Self Help & Personal Development

        • Advice on Careers & Success
        • Advice on Parenting
        • Family, Health & Relationships
        • Fitness & Diet
        • Mind, Body, Spirit
        • Popular Psychology

          • Professional

        • Business
        • Law
        • Medicine

        More:

      • Award Winning Reads
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
        • Explore All Non-Fiction >
    • KIDS & YA

        Browse Kids & YA

      • New Releases
      • Bestselling
      • Bargains
      • Signed Copies

        • Browse by Age

        • Under 3
        • Pre-School (3-6)
        • School Age (6-9)
        • Pre-Teen (9-12)
        • Teen (12-15)
        • Young Adult (16+)

        • Popular Authors

        • Aaron Blabey
        • Anh Do
        • J.K. Rowling
        • Emily Rodda
        • Rick Riordan
        • Mem Fox
        • David Walliams
        • Cassandra Clare

        • Popular Series

        • Harry Potter
        • Bluey
        • The Treehouse Series
        • Nevermoor
        • Dog Man
        • Billie B Brown
        • Fun for Kids

        • Education

        • Education Central
        • Pre School
        • Primary School
        • Secondary School

        More:

      • CBCA Awards
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
        • Explore All Kids & YA Books >
    • AUSTRALIAN
    • EDUCATION

        • Pre-School / Kindergarten

        • Pre-School & Day-Care
        • Starting School
        • Early Learning
        • ABC Reading Eggs
        • Picks for Toddlers
        • Picks for Pre-school
        • Sleeping Easy
        • Managing Manners
        • Big Picture Books
        • Understanding Emotions

        • Primary

        • Bestselling Primary Texts
        • Excel Guides for Primary
        • All About Sport
        • Reading
        • Maths
        • Primary Reference
        • CBCA Books

        • Secondary

        • Bestselling Secondary Texts
        • Accounting Business & Legal
        • Media, Arts & Religion
        • Reference & Study Guides
        • Guides to the School Certificates
        • Biology & Science
        • English & Literature
        • History
        • Languages
        • Maths

        •  

        • Poetry
        • Plays
        • Classic Fiction

          • Guides and Resources

        • NAPLAN
        • Anti-Bullying Books
        • Empowering Girls
        • Introducing Indigenous Culture
        • Oxford Dictionaries
      Education Central
      Explore All Education >
    • DIGITAL TEXTBOOKS
    • ACADEMIC

        • University

        • Accounting, Business & Finance
        • Biology and Sciences
        • 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 >
    • BARGAINS
    • GIFT CERTIFICATES
Books > Non-Fiction > Computing & I.T. > Computer Programming & Software Development > Compilers & Interpreters
Get Free Shipping on orders over $0

Compilers & Interpreters

REFINE YOUR RESULTS

SUBJECTS

  • Agile Programming
  • Algorithms & Data Structures
  • Aspect Programming & AOP
  • Compilers & Interpreters
  • Database Programming
  • Extreme Programming
  • Functional Programming
  • Games Development & Programming
  • Graphics Programming
  • Macintosh Programming
  • Microsoft Programming
  • Mobile & Handheld Device Programming & Apps Programming
  • Network Programming
  • Object-Oriented Programming or OOP
  • Program Concepts & Learning to Program
  • Programming & Scripting Languages
  • Software Engineering
  • Web Programming

LISTS

  • All Books (1081)
  • Hot Prices (5)
  • Audiobooks (19)

AVAILABILITY

  • All Books (1081)
  • New Releases (5)
  • Coming Soon (3)
  • Ready To Ship (5)

PRICE

CUSTOMER RATING

  •  
    (5) 
  •  
    & Up (6) 
  •  
    & Up (6) 

FORMATS

LANGUAGE

  • Book
     (1081)
  • eBooks
     (1985)
  • Audiobooks
     (19)
1081 Results | View 24 / 100
< 1 ... 5 6 7 8 9 ... 11 >
Sort By
Sort By:
  • System on Chip Design Languages : Extended papers: best of FDL'01 and HDLCon'01 - Anne Mignotte
    System on Chip Design Languages
    Extended papers: best of FDL'01 and HDLCon'01
    Anne Mignotte, Eugenio Villar and Lynn Horobin
    Paperback
    $249.75
    BUY NOW
  • Languages for System Specification : Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL'03 - Christoph Grimm
    Languages for System Specification
    Selected Contributions on UML, SystemC, System ...
    Christoph Grimm
    Paperback
    $249.75
    BUY NOW
  • SIMD Programming Manual for Linux and Windows : Springer Professional Computing - Paul Cockshott
    SIMD Programming Manual for Linux and Windows
    Springer Professional Computing
    Paul Cockshott and Kenneth Renfrew
    Paperback
    $239.75
    BUY NOW
  • Virtual Machines - Iain D. Craig
    Virtual Machines
    Iain D. Craig
    Paperback
    $179.00
    BUY NOW
  • The Parametric Lambda Calculus : A Metamodel for Computation - Simona Ronchi Della Rocca
    The Parametric Lambda Calculus
    A Metamodel for Computation
    Simona Ronchi Della Rocca and Luca Paolini
    Paperback
    $84.99
    BUY NOW
  • Categories for Software Engineering - Jose Luiz Fiadeiro
    Categories for Software Engineering
    Jose Luiz Fiadeiro
    Paperback
    $129.75
    BUY NOW
  • Developments in Reliable Computing - Tibor Csendes
    Developments in Reliable Computing
    Tibor Csendes
    Paperback
    $169.75
    BUY NOW
  • Afterpay
  • Goal-Directed Proof Theory : Applied Logic Series - Dov M. Gabbay
    Goal-Directed Proof Theory
    Applied Logic Series
    Dov M. Gabbay and N. Olivetti
    Paperback
    $169.75
    BUY NOW
  • New Essays in Free Logic : In Honour of Karel Lambert - A. Hieke
    New Essays in Free Logic
    In Honour of Karel Lambert
    A. Hieke and E. Morscher
    Paperback
    $169.75
    BUY NOW
  • Foundational Java : Key Elements and Practical Programming - David Parsons
    Foundational Java
    Key Elements and Practical Programming
    David Parsons
    Hardcover
    $152.96
    BUY NOW
  • Patterns, Programming and Everything - Nigel Horspool
    Patterns, Programming and Everything
    Nigel Horspool, Karin K. Breitman and R. Nigel Horspool
    Hardcover
    $169.00
    BUY NOW
  • Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - Helmut Seidl
    Programming Languages and Systems
    21st European Symposium on Programming, ESOP 20...
    Helmut Seidl
    Paperback
    $84.99
    BUY NOW
  • Formal Languages and Compilation : Texts in Computer Science - Stefano Crespi Reghizzi
    Formal Languages and Compilation
    Texts in Computer Science
    Stefano Crespi Reghizzi
    Paperback
    $119.75
    BUY NOW
  • Principles of Program Analysis - Chris Hankin
    Principles of Program Analysis
    Chris Hankin, Hanne R. Nielson and Flemming Nielson
    Paperback
    $84.99
    BUY NOW
  • Parallel Image Processing - T. Bräunl
    Parallel Image Processing
    T. Bräunl, S. Feyrer and W. Rapf
    Paperback
    $84.99
    BUY NOW
  • Guide to HTML, JavaScript and PHP : For Scientists and Engineers - David R. Brooks
    Guide to HTML, JavaScript and PHP
    For Scientists and Engineers
    David R. Brooks
    Hardcover
    $108.90
    BUY NOW
  • Fundamental Networking in Java - Esmond Pitt
    Fundamental Networking in Java
    Esmond Pitt
    Paperback
    $129.75
    BUY NOW
  • Implementing Distributed Systems with Java and CORBA - Markus Aleksy
    Implementing Distributed Systems with Java and CORBA
    Markus Aleksy, Axel Korthaus and Martin Schader
    Paperback
    RRP $149.01
    $144.75
    BUY NOW
  • Formal Modeling : Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday - Gul Agha
    Formal Modeling
    Actors; Open Systems, Biological Systems : Essa...
    Gul Agha, Olivier Danvy and José Meseguer
    Paperback
    $84.99
    BUY NOW
  • Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures - Bertrand Meyer
    Empirical Software Engineering and Verification
    International Summer Schools, LASER 2008-2010, ...
    Bertrand Meyer and Martin Nordio
    Paperback
    $84.99
    BUY NOW
  • ADA(R) : An Introduction - Henry Ledgard
    ADA(R)
    An Introduction
    Henry Ledgard
    Paperback
    $84.99
    BUY NOW
  • The Art of C-Programming - Robin Jones
    The Art of C-Programming
    Robin Jones, Russell K. Jones and I. A. Stewart
    Paperback
    $139.00
    BUY NOW
  • An APL Compiler - Timothy Budd
    An APL Compiler
    Timothy Budd
    Paperback
    $169.00
    BUY NOW
  • APL Programs for the Mathematics Classroom : Medicine - Norman D. Thomson
    APL Programs for the Mathematics Classroom
    Medicine
    Norman D. Thomson
    Paperback
    $84.99
    BUY NOW
  • Practical Smalltalk : Using Smalltalk/V - Dan Shafer
    Practical Smalltalk
    Using Smalltalk/V
    Dan Shafer and Dean A. Ritz
    Paperback
    $169.00
    BUY NOW
  • Handbook of Formal Languages : Volume 2. Linear Modeling: Background and Application - Grzegorz Rozenberg
    Handbook of Formal Languages
    Volume 2. Linear Modeling: Background and Appli...
    Grzegorz Rozenberg and Arto Salomaa
    Paperback
    $379.75
    BUY NOW
  • Compiler Design : Syntactic and Semantic Analysis - Helmut Seidl
    Compiler Design
    Syntactic and Semantic Analysis
    Helmut Seidl, Sebastian Hack and Reinhard Wilhelm
    Hardcover
    $139.00
    BUY NOW
  • Lancelot : A Fortran Package for Large-Scale Nonlinear Optimization (Release A) - A.R. Conn
    Lancelot
    A Fortran Package for Large-Scale Nonlinear Opt...
    A.R. Conn, G.I.M. Gould and P.L. Toint
    Paperback
    $249.75
    BUY NOW
  • Essentials of Constraint Programming : Cognitive Technologies - Slim Abdennadher
    Essentials of Constraint Programming
    Cognitive Technologies
    Slim Abdennadher and Thom Fruhwirth
    Paperback
    $84.99
    BUY NOW
  • Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Marc Boulé
    Generating Hardware Assertion Checkers
    For Hardware Verification, Emulation, Post-Fabr...
    Marc Boulé and Zeljko Zilic
    Paperback
    $163.99
    BUY NOW
  • Automatic Program Development : A Tribute to Robert Paige - Olivier Danvy
    Automatic Program Development
    A Tribute to Robert Paige
    Olivier Danvy, Fritz Henglein and Harry Mairson
    Paperback
    $141.99
    BUY NOW
  • Fast, Efficient and Predictable Memory Accesses : Optimization Algorithms for Memory Architecture Aware Compilation - Lars Wehmeyer
    Fast, Efficient and Predictable Memory Accesses
    Optimization Algorithms for Memory Architecture...
    Lars Wehmeyer and Peter Marwedel
    Paperback
    $249.00
    BUY NOW
  • Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings - Dang Van Hung
    Automated Technology for Verification and Analysis
    11th International Symposium, ATVA 2013, Hanoi,...
    Dang Van Hung and Mizuhito Ogawa
    Paperback
    $84.99
    BUY NOW
  • Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings - Lindsay Groves
    Formal Methods and Software Engineering
    15th International Conference on Formal Enginee...
    Lindsay Groves and Jing Sun
    Paperback
    $84.99
    BUY NOW
  • Handbook of Formal Languages : Volume 3 Beyond Words - Grzegorz Rozenberg
    Handbook of Formal Languages
    Volume 3 Beyond Words
    Grzegorz Rozenberg and Arto Salomaa
    Paperback
    $84.99
    BUY NOW
  • Computing with T.Node Parallel Architecture : Eurocourses: Computer and Information Science - D. Heidrich
    Computing with T.Node Parallel Architecture
    Eurocourses: Computer and Information Science
    D. Heidrich, J. C. Grossetie and Dietmar Heidrich
    Paperback
    $249.00
    BUY NOW
  • Data Structure Programming : With the Standard Template Library in C++ - Joseph Bergin
    Data Structure Programming
    With the Standard Template Library in C++
    Joseph Bergin
    Paperback
    $84.99
    BUY NOW
  • Compiler Technology : Tools, Translators and Language Implementation - Derek Beng Kee Kiong
    Compiler Technology
    Tools, Translators and Language Implementation
    Derek Beng Kee Kiong
    Paperback
    $249.75
    BUY NOW
  • Variational Object-Oriented Programming Beyond Classes and Inheritance : Springer International Series in Engineering and Computer Science - Mira Mezini
    Variational Object-Oriented Programming Beyond Classes and Inheritance
    Springer International Series in Engineering an...
    Mira Mezini
    Paperback
    $249.75
    BUY NOW
  • The Object-Z Specification Language : Advances in Formal Methods - Graeme Smith
    The Object-Z Specification Language
    Advances in Formal Methods
    Graeme Smith
    Paperback
    $329.75
    BUY NOW
  • Learning C# by Programming Games - Arjan Egges
    Learning C# by Programming Games
    Arjan Egges, Mark H. Overmars and Jeroen D. Fokker
    Hardcover
    $84.99
    BUY NOW
  • Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings - Luca Vigano
    Tests and Proofs
    7th International Conference, TAP 2013, Budapes...
    Luca Vigano and Margus Veanes
    Paperback
    $74.99
    BUY NOW
  • Computing in Horn Clause Theories : Monographs in Theoretical Computer Science. an Eatcs Series - Peter Padawitz
    Computing in Horn Clause Theories
    Monographs in Theoretical Computer Science. an ...
    Peter Padawitz
    Paperback
    $84.99
    BUY NOW
  • Systematic Introduction to Expert Systems : Knowledge Representations and Problem-Solving Methods - Frank Puppe
    Systematic Introduction to Expert Systems
    Knowledge Representations and Problem-Solving M...
    Frank Puppe
    Paperback
    $179.00
    BUY NOW
  • The Logic of Partial Information : Monographs in Theoretical Computer Science: An EATCS Series - Areski Nait Abdallah
    The Logic of Partial Information
    Monographs in Theoretical Computer Science: An ...
    Areski Nait Abdallah
    Paperback
    $169.00
    BUY NOW
  • The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks : Symbolic Computation / Artificial Intelligence - Leonard Bolc
    The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks
    Symbolic Computation / Artificial Intelligence
    Leonard Bolc
    Paperback
    $169.00
    BUY NOW
  • Query Processing in Database Systems : Topics in Information Systems - W. Kim
    Query Processing in Database Systems
    Topics in Information Systems
    W. Kim, D.S. Reiner and Don Batory
    Paperback
    $169.00
    BUY NOW
  • Programming Languages for Industrial Robots : Symbolic Computation / Artificial Intelligence - Christian Blume
    Programming Languages for Industrial Robots
    Symbolic Computation / Artificial Intelligence
    Christian Blume, Wilfried Jakob and K. Selke
    Paperback
    $84.99
    BUY NOW
  • Programming in Modula-2 : Monographs in Computer Science - Niklaus Wirth
    Programming in Modula-2
    Monographs in Computer Science
    Niklaus Wirth
    Paperback
    $84.99
    BUY NOW
  • Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings - Chris Hawblitzel
    Certified Programs and Proofs
    Second International Conference, CPP 2012, Kyot...
    Chris Hawblitzel and Dale Miller
    Paperback
    $84.99
    BUY NOW
  • Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings - Tai-hoon Kim
    Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
    International Conferences, ASEA and DRBC 2012, ...
    Tai-hoon Kim, Carlos Ramos and Haeng-kon Kim
    Paperback
    $84.99
    BUY NOW
  • Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's : Selected Contributions on Specification, Design, and Verification from FDL 2009 - Dominique Borrione
    Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's
    Selected Contributions on Specification, Design...
    Dominique Borrione
    Paperback
    $249.00
    BUY NOW
  • Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings - Anil Nerode
    Logical Foundations of Computer Science
    International Symposium, LFCS 2013, San Diego, ...
    Anil Nerode and Sergei Artemov
    Paperback
    $84.99
    BUY NOW
  • Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers - Farhad Arbab
    Formal Aspects of Component Software
    8th International Symposium, FACS 2011, Oslo, N...
    Farhad Arbab and Peter Csaba Olveczky
    Paperback
    $84.99
    BUY NOW
  • Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Bertrand Meyer
    Tools for Practical Software Verification
    International Summer School, LASER 2011, Elba I...
    Bertrand Meyer and Martin Nordio
    Paperback
    $74.99
    BUY NOW
  • Generative and Transformational Techniques in Software Engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers - Ralf Lämmel
    Generative and Transformational Techniques in Software Engineering IV
    International Summer School, GTTSE 2011, Braga,...
    Ralf Lämmel, João Saraiva and Joost Visser
    Paperback
    $84.99
    BUY NOW
  • Learn Java for Android Development - Jeff Friesen
    Learn Java for Android Development
    Jeff Friesen
    Paperback
    $89.99
    BUY NOW
  • System Analysis and Modeling : Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers - Oystein Haugen
    System Analysis and Modeling
    Theory and Practice : 7th International Worksho...
    Oystein Haugen, Rick Reed and Reinhard Gotzhein
    Paperback
    $74.99
    BUY NOW
  • Aliasing in Object-Oriented Programming : Types, Analysis and Verification - David Clarke
    Aliasing in Object-Oriented Programming
    Types, Analysis and Verification
    David Clarke, Tobias Wrigstad and James Noble
    Paperback
    $84.99
    BUY NOW
  • Transactions on Aspect-Oriented Software Development X : Transactions on Aspect-oriented Software Development - Gary T. Leavens
    Transactions on Aspect-Oriented Software Development X
    Transactions on Aspect-oriented Software Develo...
    Gary T. Leavens, Shigeru Chiba and Ã?ric Tanter
    Paperback
    $84.99
    BUY NOW
  • Compiler Construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Koen De Bosschere
    Compiler Construction
    22nd International Conference, CC 2013, Held as...
    Koen De Bosschere and Ranjit Jhala
    Paperback
    $74.99
    BUY NOW
  • Fundamental Approaches to Software Engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Vittorio Cortellessa
    Fundamental Approaches to Software Engineering
    16th International Conference, FASE 2013, Held ...
    Vittorio Cortellessa and Dániel Varró
    Paperback
    $84.99
    BUY NOW
  • Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers - Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    Third International Workshop, SOFL+MSVL 2013, Q...
    Shaoying Liu and Zhenhua Duan
    Paperback
    $84.99
    BUY NOW
  • 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 - Manuel Nunez
    Software Engineering and Formal Methods
    SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS,...
    Manuel Nunez and Steve Counsell
    Paperback
    $84.99
    BUY NOW
  • OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings - Oscar Hernandez
    OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
    First Workshop, OpenSHMEM 2014, Annapolis, MD, ...
    Oscar Hernandez, Stephen Poole and Pavel Shamis
    Paperback
    $84.99
    BUY NOW
  • Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings - Zhong Shao
    Programming Languages and Systems
    23rd European Symposium on Programming, ESOP 20...
    Zhong Shao
    Paperback
    $84.99
    BUY NOW
  • Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings - Michael Fisher
    Computational Logic in Multi-Agent Systems
    13th International Workshop, CLIMA XIII, Montpe...
    Michael Fisher, Leon van der Torre and Mehdi Dastani
    Paperback
    $74.99
    BUY NOW
  • Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings - Alain Finkel
    Reachability Problems
    6th International Workshop, RP 2012, Bordeaux, ...
    Alain Finkel, Jerome Leroux and Igor Potapov
    Paperback
    $74.99
    BUY NOW
  • The World of Programming Languages : Springer Notes on Professional Computing - Michael Marcotty
    The World of Programming Languages
    Springer Notes on Professional Computing
    Michael Marcotty, M. W. Marcotty and Henry Ledgard
    Paperback
    $199.00
    BUY NOW
  • Common LISP Modules : Artificial Intelligence in the Era of Neural Networks and Chaos Theory - Mark Watson
    Common LISP Modules
    Artificial Intelligence in the Era of Neural Ne...
    Mark Watson
    Paperback
    $84.99
    BUY NOW
  • Models of Sharing Graphs : A Categorical Semantics of let and letrec - Masahito Hasegawa
    Models of Sharing Graphs
    A Categorical Semantics of let and letrec
    Masahito Hasegawa
    Paperback
    $84.99
    BUY NOW
  • Object Orientation with Parallelism and Persistence : The Springer International Series in Engineering and Computer Science - Burkhard Freitag
    Object Orientation with Parallelism and Persistence
    The Springer International Series in Engineerin...
    Burkhard Freitag, Cliff Jones and Christian Lengauer
    Paperback
    $249.00
    BUY NOW
  • Algol-like Languages : Progress in Theoretical Computer Science - Peter O'Hearn
    Algol-like Languages
    Progress in Theoretical Computer Science
    Peter O'Hearn and Robert Tennent
    Paperback
    $169.00
    BUY NOW
  • Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion - Franck van Breughel
    Comparative Metric Semantics of Programming Languages
    Nondeterminism and Recursion
    Franck van Breughel
    Paperback
    $169.00
    BUY NOW
  • Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings - George Eleftherakis
    Software Engineering and Formal Methods
    10th International Conference, SEFM 2012, Thess...
    George Eleftherakis, Mike Holcombe and Mike Hinchey
    Paperback
    $84.99
    BUY NOW
  • Algorithmic Language and Program Development : Monographs in Computer Science - H. Partsch
    Algorithmic Language and Program Development
    Monographs in Computer Science
    H. Partsch, Friedrich L. Bauer and P. Pepper
    Paperback
    $84.99
    BUY NOW
  • Data Types and Persistence : Topics in Information Systems - Malcolm P. Atkinson
    Data Types and Persistence
    Topics in Information Systems
    Malcolm P. Atkinson, Peter Buneman and Ronald Morrison
    Paperback
    $169.00
    BUY NOW
  • Large-Scale Complex IT Systems. Development, Operation and Management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers - Radu Calinescu
    Large-Scale Complex IT Systems. Development, Operation and Management
    17th Monterey Workshop 2012, Oxford, UK, March ...
    Radu Calinescu and David Garlan
    Paperback
    $84.99
    BUY NOW
  • JRuby Rails Web Application Development : Springerbriefs in Computer Science - Deepak Vohra
    JRuby Rails Web Application Development
    Springerbriefs in Computer Science
    Deepak Vohra
    Paperback
    $84.99
    BUY NOW
  • Programming Languages and Operational Semantics : A Concise Overview - Maribel Fernandez
    Programming Languages and Operational Semantics
    A Concise Overview
    Maribel Fernandez
    Paperback
    $64.99
    BUY NOW
  • Beginning COBOL for Programmers - Michael Coughlan
    Beginning COBOL for Programmers
    Michael Coughlan
    Paperback
    $139.00
    BUY NOW
  • Constraint and Integer Programming : Toward a Unified Methodology - Michela Milano
    Constraint and Integer Programming
    Toward a Unified Methodology
    Michela Milano
    Paperback
    $249.00
    BUY NOW
  • C++ and Object-Oriented Numeric Computing for Scientists and Engineers - Daoqi Yang
    C++ and Object-Oriented Numeric Computing for Scientists and Engineers
    Daoqi Yang
    Paperback
    $109.00
    BUY NOW
  • Software Engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy, Revised Tutorial Lectures - Andrea De Lucia
    Software Engineering
    International Summer Schools, ISSSE 2009-2011, ...
    Andrea De Lucia and Filomena Ferrucci
    Paperback
    $74.99
    BUY NOW
  • Software Language Engineering : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers - Krzysztof Czarnecki
    Software Language Engineering
    5th International Conference, SLE 2012, Dresden...
    Krzysztof Czarnecki and Görel Hedin
    Paperback
    $84.99
    BUY NOW
  • Construction and Evolution of Code Generators : A Model-Driven and Service-Oriented Approach - Sven Jörges
    Construction and Evolution of Code Generators
    A Model-Driven and Service-Oriented Approach
    Sven Jörges
    Paperback
    $84.99
    BUY NOW
  • Pointers in C : A Hands on Approach - Hrishikesh Dewan
    Pointers in C
    A Hands on Approach
    Hrishikesh Dewan and Naveen Toppo
    Paperback
    $84.99
    BUY NOW
  • Data Structures and Algorithms : An Object-Oriented Approach Using ADA 95 - John Beidler
    Data Structures and Algorithms
    An Object-Oriented Approach Using ADA 95
    John Beidler
    Paperback
    $84.99
    BUY NOW
  • VHDL for Simulation, Synthesis and Formal Proofs of Hardware : The Springer International Series in Engineering and Computer Science - Jean Mermet
    VHDL for Simulation, Synthesis and Formal Proofs of Hardware
    The Springer International Series in Engineerin...
    Jean Mermet
    Paperback
    $329.75
    BUY NOW
  • Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers - Chun Ouyang
    Web Services and Formal Methods
    10th International Workshop, WS-FM 2013, Beijin...
    Chun Ouyang and Emilio Tuosto
    Paperback
    $64.99
    BUY NOW
  • Theory and Practice of Model Transformations : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings - Daniel Varro
    Theory and Practice of Model Transformations
    7th International Conference, ICMT 2014, Held a...
    Daniel Varro and Davide Di Ruscio
    Paperback
    $79.99
    BUY NOW
  • Advanced C and C++ Compiling - Milan Stevanovic
    Advanced C and C++ Compiling
    Milan Stevanovic
    Paperback
    $139.75
    BUY NOW
  • TEX in Practice : Volume III: Tokens, Macros - Stephan v. Bechtolsheim
    TEX in Practice
    Volume III: Tokens, Macros
    Stephan v. Bechtolsheim
    Paperback
    $169.00
    BUY NOW
  • Logic Grammars : Artificial Intelligence - Harvey Abramson
    Logic Grammars
    Artificial Intelligence
    Harvey Abramson and Veronica Dahl
    Paperback
    $84.99
    BUY NOW
  • Performance Modeling of Operating Systems Using Object-Oriented Simulations : A Practical Introduction - José M. Garrido
    Performance Modeling of Operating Systems Using Object-Oriented Simulations
    A Practical Introduction
    José M. Garrido
    Paperback
    $84.99
    BUY NOW
  • Computer Systems : Theory, Technology, and Applications - Andrew James Herbert
    Computer Systems
    Theory, Technology, and Applications
    Andrew James Herbert and Karen I.B. Spaerck Jones
    Paperback
    $84.99
    BUY NOW
  • Handbook of Service Description : USDL and Its Methods - Alistair Barros
    Handbook of Service Description
    USDL and Its Methods
    Alistair Barros and Daniel Oberle
    Paperback
    $219.00
    BUY NOW
  • Computer Science : The Hardware, Software and Heart of It - Edward K. Blum
    Computer Science
    The Hardware, Software and Heart of It
    Edward K. Blum and Alfred V Aho
    Paperback
    $84.99
    BUY NOW
  • Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures - Einar Broch Johnsen
    Formal Methods for Executable Software Models
    14th International School on Formal Methods for...
    Einar Broch Johnsen, Reiner Haehnle, Marco Bernardo, Ina Schaefer and Ferruccio Damiani
    Paperback
    $84.99
    BUY NOW
1081 Results | View 24 / 100
< 1 ... 5 6 7 8 9 ... 11 >
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