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

      • University

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

      •  

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

      • Vocational

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

      • Fiction

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

      • Kids & YA

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

      • Non-Fiction

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

      • Textbooks

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

        Browse Fiction

      • New Releases
      • 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 $79

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 (1056)
  • Hot Prices (5)
  • Audiobooks (19)

AVAILABILITY

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

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • Book
     (1056)
  • eBooks
     (1985)
  • Audiobooks
     (19)
1056 Results | View 24 / 100
< 1 2 3 4 5 ... 11 >
Sort By
Sort By:
  • Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers - Andreas Holzinger
    Software Technologies
    9th International Joint Conference, ICSOFT 2014...
    Andreas Holzinger, Therese Libourel, Marten van Sinderen, Leszek A. Maciaszek and Jose Cordeiro
    Paperback
    $84.99
    BUY NOW
  • Learn Pixi.js - Rex van der Spuy
    Learn Pixi.js
    Rex van der Spuy
    Paperback
    $89.99
    BUY NOW
  • Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings - Alessandro Fantechi
    Software Engineering for Resilient Systems
    7th International Workshop, SERENE 2015, Paris,...
    Alessandro Fantechi and Patrizio Pelliccione
    Paperback
    $64.99
    BUY NOW
  • Model Checking Software : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings - Bernd Fischer
    Model Checking Software
    22nd International Symposium, SPIN 2015, Stelle...
    Bernd Fischer and Jaco Geldenhuys
    Paperback
    $84.99
    BUY NOW
  • C++/CLI Primer : For .NET Development - Vivek Ragunathan
    C++/CLI Primer
    For .NET Development
    Vivek Ragunathan
    Paperback
    $40.00
    BUY NOW
  • Lean Python : Learn Just Enough Python to Build Useful Tools - Paul Gerrard
    Lean Python
    Learn Just Enough Python to Build Useful Tools
    Paul Gerrard
    Paperback
    $54.99
    BUY NOW
  • Microservices From Day One : Build robust and scalable software from the start - Cloves Carneiro Jr.
    Microservices From Day One
    Build robust and scalable software from the start
    Cloves Carneiro Jr. and Tim Schmelmer
    Paperback
    $84.99
    BUY NOW
  • Australian Stories
  • Beginning R : An Introduction to Statistical Programming - Joshua Wiley
    Beginning R
    An Introduction to Statistical Programming
    Joshua Wiley and Larry Pace
    Paperback
    RRP $109.00
    $106.75
    BUY NOW
  • Creating Maintainable APIs : A Practical, Case-Study Approach - Ervin Varga
    Creating Maintainable APIs
    A Practical, Case-Study Approach
    Ervin Varga
    Paperback
    $74.99
    BUY NOW
  • Guide to Programming and Algorithms Using R - Ozgur Ergul
    Guide to Programming and Algorithms Using R
    Ozgur Ergul
    Paperback
    $84.99
    BUY NOW
  • Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings - Mercedes G. Merayo
    Testing Software and Systems
    26th IFIP WG 6.1 International Conference, ICTS...
    Mercedes G. Merayo and Edgardo Montes de Oca
    Paperback
    $84.99
    BUY NOW
  • C++ 2013 for C# Developers - Dean C. Wills
    C++ 2013 for C# Developers
    Dean C. Wills
    Paperback
    $99.00
    BUY NOW
  • Reachability Problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings - Igor Potapov
    Reachability Problems
    8th International Workshop, RP 2014, Oxford, UK...
    Igor Potapov, Joel Ouaknine and James Worrell
    Paperback
    $79.99
    BUY NOW
  • Using and Improving OpenMP for Devices, Tasks, and More : 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings - Barbara M. Chapman
    Using and Improving OpenMP for Devices, Tasks, and More
    10th International Workshop on OpenMP, IWOMP 20...
    Barbara M. Chapman, Stephen L. Olivier, Matthias S. Muller, Luiz DeRose and Bronis R. de Supinski
    Paperback
    $79.99
    BUY NOW
  • Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Franck Cassez
    Automated Technology for Verification and Analysis
    12th International Symposium, ATVA 2014, Sydney...
    Franck Cassez and Jean-Francois Raskin
    Paperback
    $84.99
    BUY NOW
  • Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings - Frédéric Lang
    Formal Methods for Industrial Critical Systems
    19th International Conference, FMICS 2014, Flor...
    Frédéric Lang and Francesco Flammini
    Paperback
    $79.99
    BUY NOW
  • Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings - Helmut Seidl
    Static Analysis
    21st International Symposium, SAS 2014, Munich,...
    Helmut Seidl and Markus Muller-Olm
    Paperback
    $84.99
    BUY NOW
  • SQL Server T-SQL Recipes - David Dye
    SQL Server T-SQL Recipes
    David Dye, Wayne Sheffield, Timothy Roberts, Joseph Sack and Jonathan Gennick
    Paperback
    $139.00
    BUY NOW
  • Transitioning to Swift - Scott Gardner
    Transitioning to Swift
    Scott Gardner
    Paperback
    $40.00
    BUY NOW
  • Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Eran Yahav
    Hardware and Software: Verification and Testing
    10th International Haifa Verification Conferenc...
    Eran Yahav
    Paperback
    $84.99
    BUY NOW
  • Formal Methods : State of the Art and New Directions - Paul Boca
    Formal Methods
    State of the Art and New Directions
    Paul Boca, Jonathan P. Bowen and Jawed Siddiqi
    Paperback
    $169.00
    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
    Paperback
    $109.00
    BUY NOW
  • Instruction Sequences for Computer Science : Atlantis Studies in Computing - Jan A Bergstra
    Instruction Sequences for Computer Science
    Atlantis Studies in Computing
    Jan A Bergstra and Cornelis A. Middelburg
    Paperback
    $341.75
    BUY NOW
  • Search-Based Software Engineering : 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings - Claire Le Goues
    Search-Based Software Engineering
    6th International Symposium, SSBSE 2014, Fortal...
    Claire Le Goues and Shin Yoo
    Paperback
    $89.99
    BUY NOW
  • Parsing Techniques : A Practical Guide - Ceriel J.H. Jacobs
    Parsing Techniques
    A Practical Guide
    Ceriel J.H. Jacobs and Dick Grune
    Paperback
    $199.00
    BUY NOW
  • The Austin Protocol Compiler : Advances in Information Security - Tommy M. McGuire
    The Austin Protocol Compiler
    Advances in Information Security
    Tommy M. McGuire and Mohamed G. Gouda
    Paperback
    $169.00
    BUY NOW
  • Software Engineering 2 : Specification of Systems and Languages - Dines Bjørner
    Software Engineering 2
    Specification of Systems and Languages
    Dines Bjørner
    Paperback
    $139.00
    BUY NOW
  • Advanced Functional Programming : 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008, Revised Lectures - Pieter Koopman
    Advanced Functional Programming
    6th International School, AFP 2008, Heijen, the...
    Pieter Koopman, Rinus Plasmeijer and Doaitse Swierstra
    Paperback
    $84.99
    BUY NOW
  • Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers - Saddek Bensalem
    Runtime Verification
    9th International Workshop, RV 2009, Grenoble, ...
    Saddek Bensalem and Doron A. Peled
    Paperback
    $84.99
    BUY NOW
  • Teaching Formal Methods : Second International Conference, Tfm 2009, Eindhoven, the Netherlands, November 2-6, 2009, Proceedings - Jeremy Gibbons
    Teaching Formal Methods
    Second International Conference, Tfm 2009, Eind...
    Jeremy Gibbons and Jose Nuno Oliveira
    Paperback
    $84.99
    BUY NOW
  • Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings - Zhiming Liu
    Automated Technology for Verification and Analysis
    7th International Symposium, ATVA 2009, Macao, ...
    Zhiming Liu and Anders P. Ravn
    Paperback
    $84.99
    BUY NOW
  • Case-Based Reasoning Research and Development : 8th International Conference on Case-Based Reasoning, Iccbr 2009 Seattle, Wa, USA, July 20-23, 2009 Pro - Lorraine McGinty
    Case-Based Reasoning Research and Development
    8th International Conference on Case-Based Reas...
    Lorraine McGinty and David C. Wilson
    Paperback
    $84.99
    BUY NOW
  • Ecoop 2009 -- Object-Oriented Programming : 23rd European Conference, Genoa, Italy, July 6-10, 2009, Proceedings - Sophia Drossopoulou
    Ecoop 2009 -- Object-Oriented Programming
    23rd European Conference, Genoa, Italy, July 6-...
    Sophia Drossopoulou
    Paperback
    $169.00
    BUY NOW
  • Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Ita - Angelo Oddi
    Recent Advances in Constraints
    13th Annual ERCIM International Workshop on Con...
    Angelo Oddi, Francois Fages and Francesca Rossi
    Paperback
    $84.99
    BUY NOW
  • Fundamentals of Computation Theory : 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings - Miroslaw Kutylowski
    Fundamentals of Computation Theory
    17th International Symposium, FCT 2009, Wroclaw...
    Miroslaw Kutylowski, Witold Charatonik and Maciej Gebala
    Paperback
    $84.99
    BUY NOW
  • Open Source Software : New Horizons : 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010, Proceedings - Pär J. Ã?gerfalk
    Open Source Software
    New Horizons : 6th International IFIP WG 2.13 C...
    Pär J. �gerfalk, Cornelia Boldyreff and Jesús M. González-Barahona
    Hardcover
    $169.00
    BUY NOW
  • Abstraction, Refinement and Proof for Probabilistic Systems : Monographs in Computer Science - Annabelle McIver
    Abstraction, Refinement and Proof for Probabilistic Systems
    Monographs in Computer Science
    Annabelle McIver and Charles Carroll Morgan
    Paperback
    $219.00
    BUY NOW
  • Temporal Logic and State Systems : Texts in Theoretical Computer Science. an Eatcs Series - Fred Kröger
    Temporal Logic and State Systems
    Texts in Theoretical Computer Science. an Eatcs...
    Fred Kröger and Stephan Merz
    Paperback
    $99.00
    BUY NOW
  • Fundamentals of Algebraic Graph Transformation : Monographs in Theoretical Computer Science. an Eatcs Series - Hartmut Ehrig
    Fundamentals of Algebraic Graph Transformation
    Monographs in Theoretical Computer Science. an ...
    Hartmut Ehrig, Karsten Ehrig and Ulrike Prange
    Paperback
    $179.00
    BUY NOW
  • Open Source Ecosystems : Diverse Communities Interacting : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Sk¶vde, Sweden, June 3-6, 2009, Proceedings - Cornelia Boldyreff
    Open Source Ecosystems
    Diverse Communities Interacting : 5th IFIP WG 2...
    Cornelia Boldyreff, Kevin Crowston and Björn Lundell
    Paperback
    $219.00
    BUY NOW
  • Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers - Julio Marino
    Functional and Constraint Logic Programming
    19th International Workshop, WFLP 2010, Madrid,...
    Julio Marino
    Paperback
    $84.99
    BUY NOW
  • Languages and Compilers for Parallel Computing : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers - Keith Cooper
    Languages and Compilers for Parallel Computing
    23rd International Workshop, LCPC 2010, Houston...
    Keith Cooper, John Mellor-Crummey and Vivek Sarkar
    Paperback
    $84.99
    BUY NOW
  • Formal Methods : Foundations and Applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Jim Davies
    Formal Methods
    Foundations and Applications : 13th Brazilian S...
    Jim Davies, Leila Silva and Adenilso Simao
    Paperback
    $84.99
    BUY NOW
  • NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Mihaela Bobaru
    NASA Formal Methods
    Third International Symposium, NFM 2011, Pasade...
    Mihaela Bobaru, Klaus Havelund and Gerard Holzmann
    Paperback
    $84.99
    BUY NOW
  • Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities - Axel Simon
    Value-Range Analysis of C Programs
    Towards Proving the Absence of Buffer Overflow ...
    Axel Simon
    Paperback
    $199.00
    BUY NOW
  • Pervasive Computing : The Mobile World - Uwe Hansmann
    Pervasive Computing
    The Mobile World
    Uwe Hansmann, Lothar Merk and Martin S. Nicklous
    Paperback
    $185.90
    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
  • Software Engineering for Self-Adaptive Systems : Lecture Notes in Computer Science - Betty H. C. Cheng
    Software Engineering for Self-Adaptive Systems
    Lecture Notes in Computer Science
    Betty H. C. Cheng, Rog Rio De Lemos and Paola Inverardi
    Paperback
    $84.99
    BUY NOW
  • Computer Processing of Oriental Languages. Language Technology for the Knowledge-Based Economy : 22nd International Conference, Iccpol 2009, Hong Kong, - Wenjie Li
    Computer Processing of Oriental Languages. Language Technology for the Knowledge-Based Economy
    22nd International Conference, Iccpol 2009, Hon...
    Wenjie Li, Diego Moll -Aliod and Diego Molla-Aliod
    Paperback
    $84.99
    BUY NOW
  • Types for Proofs and Programs : International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers - Stefano Berardi
    Types for Proofs and Programs
    International Conference, Types 2008 Torino, It...
    Stefano Berardi, Ferruccio Damiani and Ugo De Liguoro
    Paperback
    $84.99
    BUY NOW
  • Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings - Patricia M. Hill
    Logic Programming
    25th International Conference, ICLP 2009, Pasad...
    Patricia M. Hill and David S. Warren
    Paperback
    $84.99
    BUY NOW
  • Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009 Held as Part of the Joint European Conferenc - Luca de Alfaro
    Foundations of Software Science and Computational Structures
    12th International Conference, FOSSACS 2009 Hel...
    Luca de Alfaro
    Paperback
    $84.99
    BUY NOW
  • Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 Proceedings - Steffen Holldobler
    Logics in Artificial Intelligence
    11th European Conference, JELIA 2008, Dresden, ...
    Steffen Holldobler, Carsten Lutz and Heinrich Wansing
    Paperback
    $84.99
    BUY NOW
  • Verified Software : Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings - Natarajan Shankar
    Verified Software
    Theories, Tools, Experiments: Second Internatio...
    Natarajan Shankar and Jim Woodcock
    Paperback
    $84.99
    BUY NOW
  • Principles of Programming Languages : Undergraduate Topics in Computer Science - Gilles Dowek
    Principles of Programming Languages
    Undergraduate Topics in Computer Science
    Gilles Dowek
    Paperback
    $62.95
    BUY NOW
  • Coordination Models and Languages : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings - Paolo Ciancarini
    Coordination Models and Languages
    8th International Conference, COORDINATION 2006...
    Paolo Ciancarini and Herbert Wiklicky
    Paperback
    $84.99
    BUY NOW
  • Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings - Rocco De Nicola
    Programming Languages and Systems
    16th European Symposium on Programming, ESOP 20...
    Rocco De Nicola
    Paperback
    $169.00
    BUY NOW
  • The Combinatory Programme : Progress in Theoretical Computer Science - Erwin Engeler
    The Combinatory Programme
    Progress in Theoretical Computer Science
    Erwin Engeler, K. Aberer and B. Amrhein
    Hardcover
    $169.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 R. D. Tennent
    Hardcover
    $169.00
    BUY NOW
  • Compilers and Operating Systems for Low Power - Luca Benini
    Compilers and Operating Systems for Low Power
    Luca Benini, Mahmut Kandemir and J. Ramanujam
    Hardcover
    $169.00
    BUY NOW
  • 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
    Paperback
    $119.00
    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
  • Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do - Mads Tofte
    Compiler Generators
    What They Can Do, What They Might Do, and What ...
    Mads Tofte
    Paperback
    $169.00
    BUY NOW
  • Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints - Hartmut Ehrig
    Fundamentals of Algebraic Specification 2
    Module Specifications and Constraints
    Hartmut Ehrig and Bernd Mahr
    Paperback
    $84.99
    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
  • Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings - Tom Schrijvers
    Functional and Logic Programming
    11th International Symposium, FLOPS 2012, Kobe,...
    Tom Schrijvers and Peter Thiemann
    Paperback
    $84.99
    BUY NOW
  • Declarative Agent Languages and Technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers - Chiaki Sakama
    Declarative Agent Languages and Technologies IX
    9th International Workshop, DALT 2011, Taipei, ...
    Chiaki Sakama, Sebastian Sardina and Wamberto Vasconcelos
    Paperback
    $84.99
    BUY NOW
  • Foundations of Logic Programming : Symbolic Computation / Artificial Intelligence - John W. Lloyd
    Foundations of Logic Programming
    Symbolic Computation / Artificial Intelligence
    John W. Lloyd
    Paperback
    $179.00
    BUY NOW
  • Object-Process Methodology : A Holistic Systems Paradigm - Dov Dori
    Object-Process Methodology
    A Holistic Systems Paradigm
    Dov Dori
    Paperback
    $99.00
    BUY NOW
  • Software Architecture : System Design, Development and Maintenance - Jan Bosch
    Software Architecture
    System Design, Development and Maintenance
    Jan Bosch, Morven Gentleman and Christine Hofmeister
    Paperback
    $249.00
    BUY NOW
  • Dependence Analysis : Loop Transformation for Restructuring Compilers - Utpal Banerjee
    Dependence Analysis
    Loop Transformation for Restructuring Compilers
    Utpal Banerjee
    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
  • Symbolic Analysis for Parallelizing Compilers - Mohammad R. Haghighat
    Symbolic Analysis for Parallelizing Compilers
    Mohammad R. Haghighat
    Paperback
    $169.00
    BUY NOW
  • Rule-Based Programming : The Springer International Series in Engineering and Computer Science - Thaddeus J. Kowalski
    Rule-Based Programming
    The Springer International Series in Engineerin...
    Thaddeus J. Kowalski and Leon S. Levy
    Paperback
    $249.00
    BUY NOW
  • Parallel Machines : Parallel Machine Languages : The Emergence of Hybrid Dataflow Computer Architectures - Robert A. Iannucci
    Parallel Machines
    Parallel Machine Languages : The Emergence of H...
    Robert A. Iannucci
    Paperback
    $249.00
    BUY NOW
  • Quality of Communication-Based Systems : Proceedings of an International Workshop held at the TU Berlin, Germany, September 1994 - Günter Hommel
    Quality of Communication-Based Systems
    Proceedings of an International Workshop held a...
    Günter Hommel
    Paperback
    $169.00
    BUY NOW
  • Estimation of Distribution Algorithms : A New Tool for Evolutionary Computation - Pedro Larrañaga
    Estimation of Distribution Algorithms
    A New Tool for Evolutionary Computation
    Pedro Larrañaga and Jose A Lozano
    Paperback
    $329.00
    BUY NOW
  • Workload Characterization of Emerging Computer Applications : Springer International Series in Engineering and Computer Science - Lizy Kurian John
    Workload Characterization of Emerging Computer Applications
    Springer International Series in Engineering an...
    Lizy Kurian John and Ann Marie Grizzaffi Maynard
    Paperback
    $329.00
    BUY NOW
  • Practical Performance Modeling : Application of the MOSEL Language - Khalid Begain
    Practical Performance Modeling
    Application of the MOSEL Language
    Khalid Begain, Gunter Bolch and Helmut Herold
    Paperback
    $249.00
    BUY NOW
  • Efficient Polymorphic Calls : Springer International Series in Engineering and Computer Science - Karel Driesen
    Efficient Polymorphic Calls
    Springer International Series in Engineering an...
    Karel Driesen
    Paperback
    $249.00
    BUY NOW
  • C Programming : The Essentials for Engineers and Scientists - David R. Brooks
    C Programming
    The Essentials for Engineers and Scientists
    David R. Brooks
    Paperback
    $109.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
  • Visual Language Theory - Kim Marriott
    Visual Language Theory
    Kim Marriott and Bernd Meyer
    Paperback
    $169.00
    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.00
    BUY NOW
  • Programming and Meta-Programming in Scheme : Undergraduate Texts in Computer Science - Jon Pearce
    Programming and Meta-Programming in Scheme
    Undergraduate Texts in Computer Science
    Jon Pearce
    Paperback
    $84.99
    BUY NOW
  • Multi-Threaded Object-Oriented MPI-Based Message Passing Interface : The ARCH Library - Jean-Marc Adamo
    Multi-Threaded Object-Oriented MPI-Based Message Passing Interface
    The ARCH Library
    Jean-Marc Adamo
    Paperback
    $249.00
    BUY NOW
  • Mobile Computation with Functions : Advances in Information Security - Zeliha Dilsun Kirli
    Mobile Computation with Functions
    Advances in Information Security
    Zeliha Dilsun Kirli
    Paperback
    $169.00
    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.00
    BUY NOW
  • Analog and Mixed-Signal Hardware Description Language : Current Issues in Electronic Modeling - A. Vachoux
    Analog and Mixed-Signal Hardware Description Language
    Current Issues in Electronic Modeling
    A. Vachoux, Jean-Michel Bergé and Oz Levia
    Paperback
    $169.00
    BUY NOW
  • Business Component-Based Software Engineering : Springer International Series in Engineering and Computer Science - Franck Barbier
    Business Component-Based Software Engineering
    Springer International Series in Engineering an...
    Franck Barbier
    Paperback
    $169.00
    BUY NOW
  • TeX Reference Manual - David Bausum
    TeX Reference Manual
    David Bausum
    Paperback
    $249.00
    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.00
    BUY NOW
  • PHP and MySQL Manual : Simple, yet Powerful Web Programming - Simon Stobart
    PHP and MySQL Manual
    Simple, yet Powerful Web Programming
    Simon Stobart and Mike Vassileiou
    Paperback
    $84.99
    BUY NOW
  • Advanced Debugging Methods : The Springer International Series in Engineering and Computer Science - Raimondas Lencevicius
    Advanced Debugging Methods
    The Springer International Series in Engineerin...
    Raimondas Lencevicius
    Paperback
    $169.00
    BUY NOW
  • Logic Program Synthesis from Incomplete Information : The Springer International Series in Engineering and Computer Science - Pierre Flener
    Logic Program Synthesis from Incomplete Information
    The Springer International Series in Engineerin...
    Pierre Flener
    Paperback
    $249.00
    BUY NOW
  • Parallel and Constraint Logic Programming : An Introduction to Logic, Parallelism and Constraints - Ioannis Vlahavas
    Parallel and Constraint Logic Programming
    An Introduction to Logic, Parallelism and Const...
    Ioannis Vlahavas, Panagiotis Tsarchopoulos and Ilias Sakellariou
    Paperback
    $249.00
    BUY NOW
  • Data Management for Mobile Computing : Advances in Database Systems - Evaggelia Pitoura
    Data Management for Mobile Computing
    Advances in Database Systems
    Evaggelia Pitoura and George Samaras
    Paperback
    $329.00
    BUY NOW
  • Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings - Louis M Rose
    Modelling Foundations and Applications
    9th European Conference, ECMFA 2013, Montpellie...
    Louis M Rose, Tom Ritter and Pieter Van Gorp
    Paperback
    $74.99
    BUY NOW
1056 Results | View 24 / 100
< 1 2 3 4 5 ... 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