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
  • BOOKS
  • EBOOKS
  • AUDIOBOOKS
  • GAMES & PUZZLES
  • STATIONERY
  • GIFT IDEAS
 
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
        • 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
        • 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
        • 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 $49

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

AVAILABILITY

  • All Books (1528)
  • New Releases (17)
  • Coming Soon (6)
  • Ready To Ship (5)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • Book
     (1528)
  • eBooks
     (1975)
  • Audiobooks
     (19)
1528 Results | View 24 / 100
< 1 ... 8 9 10 11 12 ... 16 >
Sort By
Sort By:
  • Recent Advances in Constraints : Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers - Brahim Hnich
    Recent Advances in Constraints
    Joint Ercim/Colognet International Workshop on ...
    Brahim Hnich, Mats Carlsson and Francois Fages
    Paperback
    $84.99
    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
  • More Joel on Software : Further Thoughts on Diverse and Occasionally Related Matters That Will Prove of Interest to Software Developers, Designers, and Managers, and to Those Who, Whether by Good Fortune or Ill Luck, Work with Them in Some Capacity - Joel Spolsky
    More Joel on Software
    Further Thoughts on Diverse and Occasionally Re...
    Joel Spolsky
    Paperback
    $44.99
    BUY NOW
  • Generative Programming and Component Engineering : 4th International Conference, Gpce 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings - Robert Glück
    Generative Programming and Component Engineering
    4th International Conference, Gpce 2005, Tallin...
    Robert Glück and Michael Lowry
    Paperback
    $84.99
    BUY NOW
  • Practical Aspects of Declarative Languages : 8th International Symposium, Padl 2006, Charleston, Sc, Usa, January 9-10, 2006, Proceedings - Pascal Hentenryck
    Practical Aspects of Declarative Languages
    8th International Symposium, Padl 2006, Charles...
    Pascal Hentenryck
    Paperback
    $84.99
    BUY NOW
  • Extreme Programming and Agile Processes in Software Engineering : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings - Pekka Abrahamsson
    Extreme Programming and Agile Processes in Software Engineering
    7th International Conference, XP 2006, Oulu, Fi...
    Pekka Abrahamsson, Michele Marchesi and Giancarlo Succi
    Paperback
    $84.99
    BUY NOW
  • Expert's Voice in .NET : The Visual C++ Language for .Net 3.5 - Gordon Hogenson
    Expert's Voice in .NET
    The Visual C++ Language for .Net 3.5
    Gordon Hogenson
    Paperback
    $71.49
    BUY NOW
  • Australian Stories
  • Model-Based Testing of Reactive Systems : Advanced Lectures : Advanced Lectures - Manfred Broy
    Model-Based Testing of Reactive Systems : Advanced Lectures
    Advanced Lectures
    Manfred Broy, Bengt Jonsson and Joost-Pieter Katoen
    Paperback
    $84.99
    BUY NOW
  • ADA 2005 Reference Manual. Language and Standard Libraries : International Standard Iso/Iec 8652/1995(e) with Technical Corrigendum 1 and Amendment 1 - S. Tucker Taft
    ADA 2005 Reference Manual. Language and Standard Libraries
    International Standard Iso/Iec 8652/1995(e) wit...
    S. Tucker Taft, Robert A. Duff and Randall L. Brukardt
    Paperback
    $169.00
    BUY NOW
  • Variations on Constants : Flow Analysis of Sequential and Parallel Programs - Markus Müller-Olm
    Variations on Constants
    Flow Analysis of Sequential and Parallel Programs
    Markus Müller-Olm
    Paperback
    $84.99
    BUY NOW
  • Component Deployment : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings - Alan Dearle
    Component Deployment
    Third International Working Conference, CD 2005...
    Alan Dearle and Susan Eisenbach
    Paperback
    $84.99
    BUY NOW
  • Generative and Transformational Techniques in Software Engineering : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers - Ralf Lämmel
    Generative and Transformational Techniques in Software Engineering
    International Summer School, GTTSE 2005, Braga,...
    Ralf Lämmel, João Saraiva and Joost Visser
    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
  • Recent Advances in Parallel Virtual Machine and Message Passing Interface : 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings - Beniamino Di Martino
    Recent Advances in Parallel Virtual Machine and Message Passing Interface
    12th European PVM/MPI User's Group Meeting, Sor...
    Beniamino Di Martino, Dieter Kranzlmüller and Jack Dongarra
    Paperback
    $84.99
    BUY NOW
  • Principles and Practice of Constraint Programming - Cp 2005 : 11th International Conference, Cp 2005, Sitges Spain, October 1-5, 2005 - Peter van Beek
    Principles and Practice of Constraint Programming - Cp 2005
    11th International Conference, Cp 2005, Sitges ...
    Peter van Beek
    Paperback
    $169.00
    BUY NOW
  • Grammatical Inference: Algorithms and Applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings - Yasibumi Sakaibara
    Grammatical Inference: Algorithms and Applications
    8th International Colloquium, ICGI 2006, Tokyo,...
    Yasibumi Sakaibara, Satoshi Kobayashi and Kengo Sato
    Paperback
    $84.99
    BUY NOW
  • Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday - Thomas Reps
    Program Analysis and Compilation, Theory and Practice
    Essays Dedicated to Reinhard Wilhelm on the Occ...
    Thomas Reps, Mooly Sagiv and Jörg Bauer
    Paperback
    $84.99
    BUY NOW
  • Foundations of Software Science and Computational Structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings - Helmut Seidl
    Foundations of Software Science and Computational Structures
    10th International Conference, FOSSACS 2007, He...
    Helmut Seidl
    Paperback
    $84.99
    BUY NOW
  • Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings - Hanne Riis Nielson
    Static Analysis
    14th International Symposium, SAS 2007, Kongens...
    Hanne Riis Nielson and Gilberto Filé
    Paperback
    $145.75
    BUY NOW
  • Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms - Zhe Ma
    Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
    Zhe Ma, Pol Marchal and Daniele Paolo Scarpazza
    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
  • Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - Marco Bernardo
    Formal Methods for Multicore Programming
    15th International School on Formal Methods for...
    Marco Bernardo and Einar Broch Johnsen
    Paperback
    $130.75
    BUY NOW
  • Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings - Raymond Devillers
    Application and Theory of Petri Nets and Concurrency
    36th International Conference, PETRI NETS 2015,...
    Raymond Devillers and Antti Valmari
    Paperback
    $145.75
    BUY NOW
  • Reliable Software Technologies - Ada-Europe 2015 : 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings - Juan Antonio de la Puente
    Reliable Software Technologies - Ada-Europe 2015
    20th Ada-Europe International Conference on Rel...
    Juan Antonio de la Puente and Tullio Vardanega
    Paperback
    $130.75
    BUY NOW
  • Automatic Simd Vectorization of Ssa-Based Control Flow Graphs - Ralf Karrenberg
    Automatic Simd Vectorization of Ssa-Based Control Flow Graphs
    Ralf Karrenberg
    Paperback
    $84.99
    BUY NOW
  • Tests and Proofs : 9th International Conference, Tap 2015, Held as Part of Staf 2015, l'Aquila, Italy, July 22-24, 2015. Proceedings - Jasmin Christian Blanchette
    Tests and Proofs
    9th International Conference, Tap 2015, Held as...
    Jasmin Christian Blanchette and Nikolai Kosmatov
    Paperback
    $79.99
    BUY NOW
  • Compiler Design : Syntactic and Semantic Analysis - Reinhard Wilhelm
    Compiler Design
    Syntactic and Semantic Analysis
    Reinhard Wilhelm, Helmut Seidl and Sebastian Hack
    Paperback
    $99.00
    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
    $115.75
    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
  • Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers - Marjan Sirjani
    Fundamentals of Software Engineering
    6th International Conference, FSEN 2015, Tehran...
    Marjan Sirjani and Mehdi Dastani
    Paperback
    $145.75
    BUY NOW
  • Web-Scale Workflow and Analytics : Web-scale Workflow and Analytics - Iman Saleh
    Web-Scale Workflow and Analytics
    Web-scale Workflow and Analytics
    Iman Saleh
    Hardcover
    $84.99
    BUY NOW
  • 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, Jorge Cardoso and José Cordeiro
    Paperback
    $145.75
    BUY NOW
  • Mathematica® : A Problem-Centered Approach - Roozbeh Hazrat
    Mathematica®
    A Problem-Centered Approach
    Roozbeh Hazrat
    Paperback
    $94.75
    BUY NOW
  • Software Engineering : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures - Bertrand Meyer
    Software Engineering
    International Summer Schools, LASER 2013-2014, ...
    Bertrand Meyer and Martin Nordio
    Paperback
    $115.75
    BUY NOW
  • Advanced Information and Knowledge Processing : Advanced Information and Knowledge Processing - Sergei V. Chekanov
    Advanced Information and Knowledge Processing
    Advanced Information and Knowledge Processing
    Sergei V. Chekanov
    Hardcover
    $169.00
    BUY NOW
  • Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niter³i, Brazil, October 14-16, 2015, Revised Selected Papers - Christiano Braga
    Formal Aspects of Component Software
    12th International Conference, FACS 2015, Niter...
    Christiano Braga and Peter Csaba Ã?lveczky
    Paperback
    $145.75
    BUY NOW
  • 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
    Paperback
    $84.99
    BUY NOW
  • Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Einar Broch Johnsen
    Theory and Practice of Formal Methods
    Essays Dedicated to Frank de Boer on the Occasi...
    Einar Broch Johnsen, Marcello Bonsangue and Erika Ábrahám
    Paperback
    $145.75
    BUY NOW
  • Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, Tacas 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 - Marsha Chechik
    Tools and Algorithms for the Construction and Analysis of Systems
    22nd International Conference, Tacas 2016, Held...
    Marsha Chechik and Jean-François Raskin
    Paperback
    $84.99
    BUY NOW
  • Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers - Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    5th International Workshop, SOFL+MSVL 2015, Par...
    Shaoying Liu and Zhenhua Duan
    Paperback
    $84.99
    BUY NOW
  • Using Microsoft Dynamics Ax : The New Dynamics 'ax 7' - Andreas Luszczak
    Using Microsoft Dynamics Ax
    The New Dynamics 'ax 7'
    Andreas Luszczak
    Paperback
    $99.00
    BUY NOW
  • Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures - Jane Hillston
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    16th International School on Formal Methods for...
    Jane Hillston, Rocco De Nicola and Marco Bernardo
    Paperback
    $84.99
    BUY NOW
  • Reversible Computation : 8th International Conference, Rc 2016, Bologna, Italy, July 7-8, 2016, Proceedings - Ivan Lanese
    Reversible Computation
    8th International Conference, Rc 2016, Bologna,...
    Ivan Lanese and Simon Devitt
    Paperback
    $84.99
    BUY NOW
  • Studies in Fuzziness and Soft Computing : Studies in Fuzziness and Soft Computing - Carlos Martin-Vide
    Studies in Fuzziness and Soft Computing
    Studies in Fuzziness and Soft Computing
    Carlos Martin-Vide, Victor Mitrana and Gheorghe PÄ?un
    Paperback
    $329.00
    BUY NOW
  • Mathematics and Its Applications : An Introduction to Computer-aided Pure Mathematics - F. Brackx
    Mathematics and Its Applications
    An Introduction to Computer-aided Pure Mathematics
    F. Brackx and D. Constales
    Paperback
    $179.00
    BUY NOW
  • Openmp in the Era of Low Power Devices and Accelerators : 9th International Workshop on Openmp, Iwomp 2013, Canberra, Australia, September 16-18, 2013, Proceedings - Alistair P. Rendell
    Openmp in the Era of Low Power Devices and Accelerators
    9th International Workshop on Openmp, Iwomp 201...
    Alistair P. Rendell, Barbara M. Chapman and Matthias S. Müller
    Paperback
    $74.99
    BUY NOW
  • Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings - Robert M. Hierons
    Software Engineering and Formal Methods
    11th International Conference, SEFM 2013, Madri...
    Robert M. Hierons, Mercedes G. Merayo and Mario Bravetti
    Paperback
    $145.75
    BUY NOW
  • Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings - Christian Schulte
    Principles and Practice of Constraint Programing-CP 2013
    19th International Conference, CP 2013, Uppsala...
    Christian Schulte
    Paperback
    $145.75
    BUY NOW
  • Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings - Axel Legay
    Runtime Verification
    4th International Conference, RV 2013, Rennes, ...
    Axel Legay and Saddek Bensalem
    Paperback
    $84.99
    BUY NOW
  • Programming Languages : 17th Brazilian Symposium, Sblp 2013, Brasï½lia, Brazil, September 29- October 4, 2013, Proceedings - Andre Rauber Du Bois
    Programming Languages
    17th Brazilian Symposium, Sblp 2013, Brasï½lia,...
    Andre Rauber Du Bois and Phil Trinder
    Paperback
    $74.99
    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
    $145.75
    BUY NOW
  • The Beauty of Functional Code : Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday - Peter Achten
    The Beauty of Functional Code
    Essays Dedicated to Rinus Plasmeijer on the Occ...
    Peter Achten and Pieter Koopman
    Paperback
    $130.75
    BUY NOW
  • Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings - Martin Erwig
    Software Language Engineering
    6th International Conference, SLE 2013, Indiana...
    Martin Erwig, Richard F. Paige and Eric Van Wyk
    Paperback
    $145.75
    BUY NOW
  • Euro-Par 2013 : Parallel Processing : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings - Felix Wolf
    Euro-Par 2013
    Parallel Processing : 19th International Confer...
    Felix Wolf, Bernd Mohr and Dieter an Mey
    Paperback
    $145.75
    BUY NOW
  • Constraint Solving and Language Processing : 7th International Workshop, CSLP 2012, Orl©ans, France, September 13-14, 2012, Revised Selected Papers - Denys Duchier
    Constraint Solving and Language Processing
    7th International Workshop, CSLP 2012, Orl©ans,...
    Denys Duchier and Yannick Parmentier
    Paperback
    $130.75
    BUY NOW
  • Implementation and Application of Functional Languages : 24th International Symposium, Ifl 2012, Oxford, Uk, August 30 - September 1, 2012, Revised Selected Papers - Ralf Hinze
    Implementation and Application of Functional Languages
    24th International Symposium, Ifl 2012, Oxford,...
    Ralf Hinze
    Paperback
    $74.99
    BUY NOW
  • Data Structures of Pascal, ALGOL 68, Pl/1 and ADA - Johan Lewi
    Data Structures of Pascal, ALGOL 68, Pl/1 and ADA
    Johan Lewi and Jan Paredaens
    Paperback
    $169.00
    BUY NOW
  • Testing Software and Systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings - Hüsnü Yenigün
    Testing Software and Systems
    25th IFIP WG 6.1 International Conference, ICTS...
    Hüsnü Yenigün, Cemal Yilmaz and Andreas Ulrich
    Paperback
    $145.75
    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
  • PROLOG by Example : How to Learn, Teach and Use It - Helder Coelho
    PROLOG by Example
    How to Learn, Teach and Use It
    Helder Coelho and Jose C. Cotta
    Paperback
    $169.00
    BUY NOW
  • Automated Reasoning : A Mechanically Verified Assembly-Level Language - J Strother Moore
    Automated Reasoning
    A Mechanically Verified Assembly-Level Language
    J Strother Moore
    Paperback
    $84.99
    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
  • 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 H...
    Eran Yahav
    Paperback
    $145.75
    BUY NOW
  • Pattern Calculus : Computing with Functions and Structures - Barry Jay
    Pattern Calculus
    Computing with Functions and Structures
    Barry Jay
    Paperback
    $259.01
    BUY NOW
  • A Pipelined Multi-Core MIPS Machine : Hardware Implementation and Correctness Proof - Mikhail Kovalev
    A Pipelined Multi-Core MIPS Machine
    Hardware Implementation and Correctness Proof
    Mikhail Kovalev, Wolfgang J. Paul and Silvia M. Muller
    Paperback
    $84.99
    BUY NOW
  • Concrete Semantics : With Isabelle/HOL - Gerwin Klein
    Concrete Semantics
    With Isabelle/HOL
    Gerwin Klein and Tobias Nipkow
    Hardcover
    $129.00
    BUY NOW
  • Design and Implementation of the MTX Operating System - K. C. Wang
    Design and Implementation of the MTX Operating System
    K. C. Wang
    Hardcover
    $341.75
    BUY NOW
  • Python For ArcGIS - Laura Tateosian
    Python For ArcGIS
    Laura Tateosian
    Hardcover
    $179.00
    BUY NOW
  • Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics - Dirk Draheim
    Semantics of the Probabilistic Typed Lambda Calculus
    Markov Chain Semantics, Termination Behavior, a...
    Dirk Draheim
    Hardcover
    $199.00
    BUY NOW
  • Handbook of Formal Languages : Volume 1 Word, Language, Grammar - Grzegorz Rozenberg
    Handbook of Formal Languages
    Volume 1 Word, Language, Grammar
    Grzegorz Rozenberg and Arto Salomaa
    Paperback
    $84.99
    BUY NOW
  • Springerbriefs in Computer Science : Springerbriefs in Computer Science - Deepak Vohra
    Springerbriefs in Computer Science
    Springerbriefs in Computer Science
    Deepak Vohra
    Paperback
    $84.99
    BUY NOW
  • ADA 2012 Rationale : The Language -- The Standard Libraries - John Barnes
    ADA 2012 Rationale
    The Language -- The Standard Libraries
    John Barnes
    Paperback
    $74.99
    BUY NOW
  • Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings - Ken McMillan
    Logic for Programming, Artificial Intelligence, and Reasoning
    19th International Conference, LPAR-19, Stellen...
    Ken McMillan, Aart Middeldorp and Andrei Voronkov
    Paperback
    $145.75
    BUY NOW
  • ADA 2012 Reference Manual. Language and Standard Libraries : International Standard Iso/Iec 8652/2012 (E) - Edmond Schonberg
    ADA 2012 Reference Manual. Language and Standard Libraries
    International Standard Iso/Iec 8652/2012 (E)
    Edmond Schonberg, S. Tucker Taft, Robert A. Duff, Randall L. Brukardt and Pascal Leroy
    Paperback
    $229.00
    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 - Steve Counsell
    Software Engineering and Formal Methods
    SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS,...
    Steve Counsell and Manuel Núñez
    Paperback
    $145.75
    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
    $145.75
    BUY NOW
  • NASA Formal Methods : 6th International Symposium, Nfm 2014, Houston, Tx, Usa, April 29 - May 1, 2014. Proceedings - Julia M. Badger
    NASA Formal Methods
    6th International Symposium, Nfm 2014, Houston,...
    Julia M. Badger and Kristin Yvonne Rozier
    Paperback
    $84.99
    BUY NOW
  • Numerical Computations with GPUs - Volodymyr Kindratenko
    Numerical Computations with GPUs
    Volodymyr Kindratenko
    Hardcover
    $406.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
  • 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
    $130.75
    BUY NOW
  • Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings - Markus Müller-Olm
    Static Analysis
    21st International Symposium, SAS 2014, Munich,...
    Markus Müller-Olm and Helmut Seidl
    Paperback
    $145.75
    BUY NOW
  • Java : Data Structures and Programming - Liwu Li
    Java
    Data Structures and Programming
    Liwu Li
    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
  • 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 - Luiz DeRose
    Using and Improving OpenMP for Devices, Tasks, and More
    10th International Workshop on OpenMP, IWOMP 20...
    Luiz DeRose, Bronis R. de Supinski and Stephen L. Olivier
    Paperback
    $130.75
    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
  • Verified Software: Theories, Tools and Experiments : 6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers - Daniel Kroening
    Verified Software: Theories, Tools and Experiments
    6th International Conference, Vstte 2014, Vienn...
    Daniel Kroening and Dimitra Giannakopoulou
    Paperback
    $79.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
  • Representing Uncertain Knowledge : An Artificial Intelligence Approach - Paul Krause
    Representing Uncertain Knowledge
    An Artificial Intelligence Approach
    Paul Krause and Dominic Clark
    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
  • Eurocourses : Computer and Information Science - D. Heidrich
    Eurocourses
    Computer and Information Science
    D. Heidrich, J. C. Grossetie and Dietmar Heidrich
    Paperback
    $249.00
    BUY NOW
  • Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings - Einar Broch Johnsen
    Integrated Formal Methods
    10th International Conference, IFM 2013, Turku,...
    Einar Broch Johnsen and Luigia Petre
    Paperback
    $145.75
    BUY NOW
  • Transactions on Pattern Languages of Programming III : Lecture Notes in Computer Science - James Noble
    Transactions on Pattern Languages of Programming III
    Lecture Notes in Computer Science
    James Noble, Ralph Johnson and Uwe Zdun
    Paperback
    $136.75
    BUY NOW
  • Application and Theory of Petri Nets and Concurrency : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings - Jose-Manuel Colom
    Application and Theory of Petri Nets and Concurrency
    34th International Conference, PETRI NETS 2013,...
    Jose-Manuel Colom and Jörg Desel
    Paperback
    $145.75
    BUY NOW
  • Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings - Francesco Logozzo
    Static Analysis
    20th International Symposium, SAS 2013, Seattle...
    Francesco Logozzo and Manuel Fähndrich
    Paperback
    $145.75
    BUY NOW
  • SDL 2013 : Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings - Ferhat Khendek
    SDL 2013
    Model Driven Dependability Engineering : 16th I...
    Ferhat Khendek, Maria Toeroe and Abdelouahed Gherbi
    Paperback
    $145.75
    BUY NOW
1528 Results | View 24 / 100
< 1 ... 8 9 10 11 12 ... 16 >
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