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 (15)
  • 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 ... 4 5 6 7 8 ... 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
  • FirstPress : FirstPress - Kris Bell
    FirstPress
    FirstPress
    Kris Bell, Lars Ivar Igesund and Michael Parker
    Paperback
    $44.99
    BUY NOW
  • Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers - Ugo Montanari
    Trustworthy Global Computing
    Second Symposium, TGC 2006, Lucca, Italy, Novem...
    Ugo Montanari, Donald Sannella and Roberto Bruni
    Paperback
    $84.99
    BUY NOW
  • Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, Usa, November 14-15, 2007, Proceedings - Michael G. Hinchey
    Formal Methods and Software Engineering
    9th International Conference on Formal Engineer...
    Michael G. Hinchey, Michael Butler and Maria M. Larrondo-Petrie
    Paperback
    $130.90
    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
    Hardcover
    $249.00
    BUY NOW
  • Principles of the Spin Model Checker - Mordechai Ben-Ari
    Principles of the Spin Model Checker
    Mordechai Ben-Ari
    Paperback
    $109.00
    BUY NOW
  • Australian Stories
  • Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, Psi 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers - Irina Virbitskaite
    Perspectives of Systems Informatics
    6th International Andrei Ershov Memorial Confer...
    Irina Virbitskaite and Andrei Voronkov
    Paperback
    $84.99
    BUY NOW
  • Introduction to Concurrency in Programming Languages : Chapman & Hall/CRC Computational Science - Craig E Rasmussen
    Introduction to Concurrency in Programming Languages
    Chapman & Hall/CRC Computational Science
    Craig E Rasmussen, Timothy G. Mattson and Matthew J. Sottile
    Hardcover
    RRP $219.00
    $192.75
    BUY NOW
  • Exploring C for Microcontrollers : A Hands on Approach - Jivan Parab
    Exploring C for Microcontrollers
    A Hands on Approach
    Jivan Parab, Vinod G Shelake and Rajanish K. Kamat
    Hardcover
    $169.00
    BUY NOW
  • Fundamental Approaches to Software Engineering : 10th International Conference, FASE 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 - Matthew B. Dwyer
    Fundamental Approaches to Software Engineering
    10th International Conference, FASE 2007 Held a...
    Matthew B. Dwyer and Antonia Lopes
    Paperback
    $84.99
    BUY NOW
  • PASCAL for Programmers - S. Eisenbach
    PASCAL for Programmers
    S. Eisenbach and Christopher Sadler
    Paperback
    $84.99
    BUY NOW
  • Models in Software Engineering : Workshops and Symposia at Models 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers - Thomas Kühne
    Models in Software Engineering
    Workshops and Symposia at Models 2006, Genoa, I...
    Thomas Kühne
    Paperback
    $84.99
    BUY NOW
  • Languages and Compilers for Parallel Computing : 19th International Workshop, Lcpc 2006, New Orleans, La, Usa, November 2-4, 2006, Revised Papers - Gheorghe Almási
    Languages and Compilers for Parallel Computing
    19th International Workshop, Lcpc 2006, New Orl...
    Gheorghe Almási, Calin Cascaval and Peng Wu
    Paperback
    $84.99
    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
  • Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany - Jeremy Gibbons
    Generic Programming
    IFIP TC2 / WG2.1 Working Conference Programming...
    Jeremy Gibbons and Johan Jeuring
    Paperback
    $169.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
  • IFIP Advances in Information and Communication Technology : System Design, Development and Maintenance - Jan Bosch
    IFIP Advances in Information and Communication Technology
    System Design, Development and Maintenance
    Jan Bosch, Morven Gentleman and Christine Hofmeister
    Paperback
    $249.00
    BUY NOW
  • The Springer International Engineering and Computer Science : The New Features of the VHDL Hardware Description Language - Jean-Michel Bergé
    The Springer International Engineering and Computer Science
    The New Features of the VHDL Hardware Descripti...
    Jean-Michel Bergé, Alain Fonkoua and Serge Maginot
    Paperback
    $84.99
    BUY NOW
  • Basic Programs for Chemical Engineers - D. Wright
    Basic Programs for Chemical Engineers
    D. Wright
    Paperback
    $84.99
    BUY NOW
  • Loop Transformation for Restructuring Compilers : Loop Transformation for Restructuring Compilers - Utpal Banerjee
    Loop Transformation for Restructuring Compilers
    Loop Transformation for Restructuring Compilers
    Utpal Banerjee
    Paperback
    $249.00
    BUY NOW
  • Loop Transformations for Restructuring Compilers : The Foundations - Utpal Banerjee
    Loop Transformations for Restructuring Compilers
    The Foundations
    Utpal Banerjee
    Paperback
    $249.00
    BUY NOW
  • Progress in Theoretical Computer Science : Progress in Theoretical Computer Science - Peter O'Hearn
    Progress in Theoretical Computer Science
    Progress in Theoretical Computer Science
    Peter O'Hearn and Robert Tennent
    Paperback
    $169.00
    BUY NOW
  • Computer Science : A Practical Introduction - José M. Garrido
    Computer Science
    A Practical Introduction
    José M. Garrido
    Paperback
    $249.00
    BUY NOW
  • Symbolic Analysis for Parallelizing Compilers - Mohammad R. Haghighat
    Symbolic Analysis for Parallelizing Compilers
    Mohammad R. Haghighat
    Paperback
    $169.00
    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
  • Certified Programs and Proofs : Third International Conference, Cpp 2013, Melbourne, Vic, Australia, December 11-13,2013, Proceedings - Georges Gonthier
    Certified Programs and Proofs
    Third International Conference, Cpp 2013, Melbo...
    Georges Gonthier and Michael Norrish
    Paperback
    $84.99
    BUY NOW
  • Programming Languages and Systems : 11th International Symposium, Aplas 2013, Melbourne, Vic, Australia, December 9-11, 2013, Proceedings - Chung-chien Shan
    Programming Languages and Systems
    11th International Symposium, Aplas 2013, Melbo...
    Chung-chien Shan
    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
    $145.75
    BUY NOW
  • Monographs in Computer Science : Monographs in Computer Science - William M. Waite
    Monographs in Computer Science
    Monographs in Computer Science
    William M. Waite and Gerhard Goos
    Paperback
    $84.99
    BUY NOW
  • Lotosphere : Software Development with Lotos - Tommaso Bolognesi
    Lotosphere
    Software Development with Lotos
    Tommaso Bolognesi, Jeroen van de Lagemaat and Chris Vissers
    Paperback
    $249.00
    BUY NOW
  • Computer Science : Graphical User Interfaces and Beyond - Theo Pavlidis
    Computer Science
    Graphical User Interfaces and Beyond
    Theo Pavlidis
    Paperback
    $84.99
    BUY NOW
  • Holub on Patterns : Learning Design Patterns by Looking at Code - Allen Holub
    Holub on Patterns
    Learning Design Patterns by Looking at Code
    Allen Holub
    Paperback
    RRP $109.00
    $106.75
    BUY NOW
  • The Springer International Engineering and Computer Science : The Springer International Series in Engineering and Computer Science - Jean Mermet
    The Springer International Engineering and Computer Science
    The Springer International Series in Engineerin...
    Jean Mermet
    Paperback
    $329.00
    BUY NOW
  • The Springer International Engineering and Computer Science : The Springer International Series in Engineering and Computer Science - René Leermakers
    The Springer International Engineering and Computer Science
    The Springer International Series in Engineerin...
    René Leermakers
    Paperback
    $169.00
    BUY NOW
  • IFIP Advances in Information and Communication Technology : Specification, modelling, verification and synthesis of microelectronic systems - Carlos Delgado Kloos
    IFIP Advances in Information and Communication Technology
    Specification, modelling, verification and synt...
    Carlos Delgado Kloos and Eduard Cerny
    Paperback
    $249.00
    BUY NOW
  • IFIP Advances in Information and Communication Technology : IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA - David Gries
    IFIP Advances in Information and Communication Technology
    IFIP TC2 / WG2.2, 2.3 International Conference ...
    David Gries and Willem-Paul de Roever
    Paperback
    $329.00
    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
  • The Springer International Engineering and Computer Science : The Springer International Series in Engineering and Computer Science - Thaddeus J. Kowalski
    The Springer International Engineering and Computer Science
    The Springer International Series in Engineerin...
    Thaddeus J. Kowalski and Leon S. Levy
    Paperback
    $249.00
    BUY NOW
  • The Springer International Engineering and Computer Science : Parallel Machine Languages : The Emergence of Hybrid Dataflow Computer Architectures - Robert A. Iannucci
    The Springer International Engineering and Computer Science
    Parallel Machine Languages : The Emergence of H...
    Robert A. Iannucci
    Paperback
    $249.00
    BUY NOW
  • Writing Testbenches : Functional Verification of Hdl Models - Janick Bergeron
    Writing Testbenches
    Functional Verification of Hdl Models
    Janick Bergeron
    Paperback
    $359.00
    BUY NOW
  • Undergraduate Texts in Mathematics : Undergraduate Texts in Mathematics - Edward J. LeCuyer
    Undergraduate Texts in Mathematics
    Undergraduate Texts in Mathematics
    Edward J. LeCuyer
    Paperback
    $84.99
    BUY NOW
  • Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, Hvc 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Valeria Bertacco
    Hardware and Software: Verification and Testing
    9th International Haifa Verification Conference...
    Valeria Bertacco and Axel Legay
    Paperback
    $84.99
    BUY NOW
  • Expert's Voice in C : Core Concepts in Data Structures - Noel Kalicharan
    Expert's Voice in C
    Core Concepts in Data Structures
    Noel Kalicharan
    Paperback
    RRP $109.00
    $106.75
    BUY NOW
  • Program Logics for Certified Compilers - Andrew W. Appel
    Program Logics for Certified Compilers
    Andrew W. Appel
    Hardcover
    RRP $165.95
    $147.99
    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
  • Beginning COBOL for Programmers - Michael Coughlan
    Beginning COBOL for Programmers
    Michael Coughlan
    Paperback
    $139.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
  • 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
  • A Practical Introduction to Pascal - WILSON/ADDYMAN
    A Practical Introduction to Pascal
    WILSON/ADDYMAN
    Paperback
    $84.99
    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
  • Programming Languages and Operational Semantics : A Concise Overview - Maribel Fernández
    Programming Languages and Operational Semantics
    A Concise Overview
    Maribel Fernández
    Paperback
    $86.99
    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
  • The FORTRAN 2003 Handbook : The Complete Syntax, Features and Procedures : The Complete Syntax, Features and Procedures - Jeanne C. Adams
    The FORTRAN 2003 Handbook : The Complete Syntax, Features and Procedures
    The Complete Syntax, Features and Procedures
    Jeanne C. Adams, Walter S. Brainerd and Richard A. Hendrickson
    Hardcover
    $359.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
  • 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
  • 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
  • Software Engineering for Self-Adaptive Systems : International Seminar Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers - Rogério de Lemos
    Software Engineering for Self-Adaptive Systems
    International Seminar Dagstuhl Castle, Germany,...
    Rogério de Lemos, Holger Giese and Hausi A. Müller
    Paperback
    $145.75
    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
    $130.75
    BUY NOW
  • Learn Cocoa on the Mac - Jack Nutting
    Learn Cocoa on the Mac
    Jack Nutting and Peter Clark
    Paperback
    $50.00
    BUY NOW
  • Use R! : with Applications in Systems Biology - Radhakrishnan Nagarajan
    Use R!
    with Applications in Systems Biology
    Radhakrishnan Nagarajan, Marco Scutari and Sophie Lèbre
    Paperback
    $119.00
    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
    RRP $89.99
    $88.75
    BUY NOW
  • Monographs in Theoretical Computer Science. an Eatcs : What They Can Do, What They Might Do, and What They Will Probably Never Do - Mads Tofte
    Monographs in Theoretical Computer Science. an Eatcs
    What They Can Do, What They Might Do, and What ...
    Mads Tofte
    Paperback
    $169.00
    BUY NOW
  • Monographs in Theoretical Computer Science. an Eatcs : Module Specifications and Constraints - Hartmut Ehrig
    Monographs in Theoretical Computer Science. an Eatcs
    Module Specifications and Constraints
    Hartmut Ehrig and Bernd Mahr
    Paperback
    $84.99
    BUY NOW
  • Lecture Notes in Electrical Engineering : Selected Contributions on Specification, Design, and Verification from FDL 2009 - Dominique Borrione
    Lecture Notes in Electrical Engineering
    Selected Contributions on Specification, Design...
    Dominique Borrione
    Paperback
    $249.00
    BUY NOW
  • Operations Research/Computer Science Interfaces : Toward a Unified Methodology - Michela Milano
    Operations Research/Computer Science Interfaces
    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
    $130.75
    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
    $145.75
    BUY NOW
  • Learn Lua for IOS Game Development - Jayant Varma
    Learn Lua for IOS Game Development
    Jayant Varma
    Paperback
    RRP $74.99
    $74.75
    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
    $145.75
    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
    $145.75
    BUY NOW
  • Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers - José L. Ayala
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
    22nd International Workshop, PATMOS 2012, Newca...
    José L. Ayala, Delong Shang and Alex Yakovlev
    Paperback
    $130.75
    BUY NOW
  • Advanced Design and Implementation of Virtual Machines - Xiao-Feng Li
    Advanced Design and Implementation of Virtual Machines
    Xiao-Feng Li
    Hardcover
    RRP $242.00
    $211.75
    BUY NOW
  • Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures - Marco Bernardo
    Formal Methods for Model-Driven Engineering
    12th International School on Formal Methods for...
    Marco Bernardo, Vittorio Cortellessa and Alfonso Pierantonio
    Paperback
    $145.75
    BUY NOW
  • Generic and Indexed Programming : International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures - Jeremy Gibbons
    Generic and Indexed Programming
    International Spring School, SSGIP 2010, Oxford...
    Jeremy Gibbons
    Paperback
    $130.75
    BUY NOW
  • Formal Verification of Object-Oriented Software : International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers - Bernhard Beckert
    Formal Verification of Object-Oriented Software
    International Conference, Foveoo 2011, Turin, I...
    Bernhard Beckert, Ferruccio Damiani and Dilian Gurov
    Paperback
    $74.99
    BUY NOW
  • Expert's Voice in Programming : An Introduction to Statistical Programming - Larry Pace
    Expert's Voice in Programming
    An Introduction to Statistical Programming
    Larry Pace
    Paperback
    $59.99
    BUY NOW
1528 Results | View 24 / 100
< 1 ... 4 5 6 7 8 ... 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