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

      • University

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

      •  

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

      • Vocational

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

      • Fiction

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

      • Kids & YA

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

      • Non-Fiction

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

      • Textbooks

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

        Browse Fiction

      • New Releases
      • Bestselling
      • Bargains
      • Signed Copies

        • Popular Subjects

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

        •  

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

        • Popular Authors

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

        • Popular Series

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

        More:

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

        Browse Non-Fiction

      • Bestselling
      • Bargains
      • Signed Copies

        • Popular Subjects

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

        •  

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

        • Biographies & True Stories

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

          • Cooking, Food & Drink

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

        • Self Help & Personal Development

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

          • Professional

        • Business
        • Law
        • Medicine

        More:

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

        Browse Kids & YA

      • New Releases
      • Bestselling
      • Bargains
      • Signed Copies

        • Browse by Age

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

        • Popular Authors

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

        • Popular Series

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

        • Education

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

        More:

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

        • Pre-School / Kindergarten

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

        • Primary

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

        • Secondary

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

        •  

        • Poetry
        • Plays
        • Classic Fiction

          • Guides and Resources

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

        • University

        • Accounting, Business & Finance
        • Biology and Sciences
        • Computing & Programming
        • Education
        • Engineering & Physics
        • English & Literature
        • Environment & Planning
        • Health Care

        •  

        • History
        • Language
        • Law
        • Mathematics & Statistics
        • Media, Communication & Arts
        • Medicine
        • Nursing
        • Politics

        •  

        • Psychology
        • Social Sciences
        • Study Skills

        • Vocational

        • Trades
        • Hospitality & Tourism
        • Business, Financial & Management
        • Nursing & Health Care
        • IT, Networking & Computer Repair
        • Education & Early Childhood
        • Social Working & Counselling
        • Design, Art, Fashion & Photography
      Explore All Academic >
    • BARGAINS
    • GIFT CERTIFICATES
Books > Non-Fiction > Computing & I.T. > Computer Programming & Software Development > Compilers & Interpreters
Get Free Shipping on orders over $0

Compilers & Interpreters

REFINE YOUR RESULTS

SUBJECTS

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

LISTS

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

AVAILABILITY

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

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • Book
     (1547)
  • eBooks
     (1945)
  • Audiobooks
     (19)
1547 Results | View 24 / 100
< 1 2 3 4 5 6 7 8 ... 16 >
Sort By
Sort By:
  • Lecture Notes in Computer Science : A Logic Programming Implementation - Tapan P. Bagchi
    Lecture Notes in Computer Science
    A Logic Programming Implementation
    Tapan P. Bagchi and Vinay K. Chaudhri
    Paperback
    $84.99
    BUY NOW
  • Lecture Notes in Computer Science : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings - Bernhard Steffen
    Lecture Notes in Computer Science
    5th International Conference, VMCAI 2004, Venic...
    Bernhard Steffen and Giorgio Levi
    Paperback
    $84.99
    BUY NOW
  • Solving Problems in Scientific Computing Using Maple and Matlab(r) - Walter Gander
    Solving Problems in Scientific Computing Using Maple and Matlab(r)
    Walter Gander and Jiri Hrebicek
    Paperback
    $84.99
    BUY NOW
  • Books for Professionals by Professionals : Books for Professionals by Professionals - Peter Seibel
    Books for Professionals by Professionals
    Books for Professionals by Professionals
    Peter Seibel
    Hardcover
    $129.75
    BUY NOW
  • International Software Engineering : A Handbook for IT Companies - Tore DybÃ¥
    International Software Engineering
    A Handbook for IT Companies
    Tore Dybå, Torgeir Dingsøyr and Nils Brede Moe
    Hardcover
    RRP $141.90
    $140.75
    BUY NOW
  • Joel on Software : And 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 - Avram Joel Spolsky
    Joel on Software
    And on Diverse and Occasionally Related Matters...
    Avram Joel Spolsky
    Paperback
    $59.99
    BUY NOW
  • Modern Compiler Implementation in ML - No Information Available
    Modern Compiler Implementation in ML
    No Information Available
    Paperback
    RRP $131.95
    $125.99
    BUY NOW
  • Bestseller Bargains
  • Modern Compiler Implementation in C - No Information Available
    Modern Compiler Implementation in C
    No Information Available
    Paperback
    RRP $135.95
    $135.75
    BUY NOW
  • Casl Reference Manual : The Complete Documentation of the Common Algebraic Specification Language : The Complete Documentation of the Common Algebraic Specification Language - Peter D. Mosses
    Casl Reference Manual : The Complete Documentation of the Common Algebraic Specification Language
    The Complete Documentation of the Common Algebr...
    Peter D. Mosses
    Paperback
    $169.00
    BUY NOW
  • Programming Languages and Systems : 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings - David Schmidt
    Programming Languages and Systems
    13th European Symposium on Programming, ESOP 20...
    David Schmidt
    Paperback
    $219.00
    BUY NOW
  • Texts in Computer Science : For Pentium and RISC Processors - Sivarama P. Dandamudi
    Texts in Computer Science
    For Pentium and RISC Processors
    Sivarama P. Dandamudi
    Hardcover
    $149.01
    BUY NOW
  • Micai 2008: Advances in Artificial Intelligence : 7th Mexican International Conference on Artificial Intelligence, Atizap?n de Zaragoza, Mexico, October 27-31, 2008 Proceedings - Alexander Gelbukh
    Micai 2008: Advances in Artificial Intelligence
    7th Mexican International Conference on Artific...
    Alexander Gelbukh and Eduardo F. Morales
    Paperback
    $396.99
    BUY NOW
  • Undergraduate Topics in Computer Science : Undergraduate Topics in Computer Science - Gilles Dowek
    Undergraduate Topics in Computer Science
    Undergraduate Topics in Computer Science
    Gilles Dowek
    Paperback
    $62.95
    BUY NOW
  • Writing Compilers and Interpreters : A Software Engineering Approach - Ronald Mak
    Writing Compilers and Interpreters
    A Software Engineering Approach
    Ronald Mak
    Paperback
    RRP $145.95
    $111.75
    23%
    OFF
    BUY NOW
  • Logic Programming : 24th International Conference, Iclp 2008 Udine, Italy, December 9-13 2008 Proceedings - Maria Garcia Banda
    Logic Programming
    24th International Conference, Iclp 2008 Udine,...
    Maria Garcia Banda and Enrico Pontelli
    Paperback
    $174.90
    BUY NOW
  • Verification, Model Checking, and Abstract Interpretation : 10th International Conference, Vmcai 2009, Savannah, Ga, Usa, January 18-20, 2009. Proceedings - Neil Jones
    Verification, Model Checking, and Abstract Interpretation
    10th International Conference, Vmcai 2009, Sava...
    Neil Jones and Markus Müller-Olm
    Paperback
    $84.99
    BUY NOW
  • Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings - R. Ramanujam
    Logic and Its Applications
    Third Indian Conference, ICLA 2009, Chennai, In...
    R. Ramanujam and Sundar Sarukkai
    Paperback
    $84.99
    BUY NOW
  • Expert's Voice in .NET : Expert's Voice in .NET - Robert Pickering
    Expert's Voice in .NET
    Expert's Voice in .NET
    Robert Pickering
    Paperback
    $65.99
    BUY NOW
  • Model Driven Engineering Languages and Systems : 8th International Conference, Models 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings - Clay Williams
    Model Driven Engineering Languages and Systems
    8th International Conference, Models 2005, Mont...
    Clay Williams and Lionel Briand
    Paperback
    $169.00
    BUY NOW
  • Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Marco Bernardo
    Formal Methods for Hardware Verification
    6th International School on Formal Methods for ...
    Marco Bernardo and Alessandro Cimatti
    Paperback
    $84.99
    BUY NOW
  • System Analysis and Modeling: Language Profiles : 5th International Workshop, Sam 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers - Reinhard Gotzhein
    System Analysis and Modeling: Language Profiles
    5th International Workshop, Sam 2006, Kaisersla...
    Reinhard Gotzhein and Rick Reed
    Paperback
    $84.99
    BUY NOW
  • Transactions on High-Performance Embedded Architectures and Compilers I : Lecture Notes in Computer Science - Per Stenström
    Transactions on High-Performance Embedded Architectures and Compilers I
    Lecture Notes in Computer Science
    Per Stenström, Mike O'Boyle and Francois Bodin
    Paperback
    $84.99
    BUY NOW
  • Component-Based Software Engineering : 10th International Symposium, Cbse 2007, Medford, Ma, Usa, July 9-11, 2007, Proceedings - Heinz G. Schmidt
    Component-Based Software Engineering
    10th International Symposium, Cbse 2007, Medfor...
    Heinz G. Schmidt, Ivica Crnkovic and George T. Heineman
    Paperback
    $143.99
    BUY NOW
  • Theoretical Aspects of Computing - Ictac 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings - Cliff B. Jones
    Theoretical Aspects of Computing - Ictac 2007
    4th International Colloquium, Macau, China, Sep...
    Cliff B. Jones, Zhiming Liu and Jones Woodcock
    Paperback
    $143.99
    BUY NOW
  • Fundamental Problems in Computing : Essays in Honor of Professor Daniel J. Rosenkrantz - Sekharipuram S. Ravi
    Fundamental Problems in Computing
    Essays in Honor of Professor Daniel J. Rosenkrantz
    Sekharipuram S. Ravi and Sandeep Kumar Shukla
    Hardcover
    $169.00
    BUY NOW
  • Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning : Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, Alamas 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers - Karl Tuyls
    Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning
    Adaptation and Multi-Agent Learning, 5th, 6th, ...
    Karl Tuyls, Ann Nowe and Zahia Guessoum
    Paperback
    $84.99
    BUY NOW
  • Foundations of Software Science and Computational Structures : 12th International Conference, Fossacs 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2009, York, Uk, March 22-29, 2009, Proceedings - Luca de Alfaro
    Foundations of Software Science and Computational Structures
    12th International Conference, Fossacs 2009, He...
    Luca de Alfaro
    Paperback
    $84.99
    BUY NOW
  • Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information - Giovanni Sommaruga
    Formal Theories of Information
    From Shannon to Semantic Information Theory and...
    Giovanni Sommaruga
    Paperback
    $84.99
    BUY NOW
  • Logic, Language, and Computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers - Peter Bosch
    Logic, Language, and Computation
    7th International Tbilisi Symposium on Logic, L...
    Peter Bosch, David Gabelaia and Jérôme Lang
    Paperback
    $84.99
    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
  • Models of Computation : An Introduction to Computability Theory - Maribel Fernandez
    Models of Computation
    An Introduction to Computability Theory
    Maribel Fernandez
    Paperback
    $86.75
    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
  • Pattern Calculus : Computing with Functions and Structures - Barry Jay
    Pattern Calculus
    Computing with Functions and Structures
    Barry Jay
    Hardcover
    $259.01
    BUY NOW
  • Computer Processing of Oriental Languages. Language Technology for the Knowledge-Based Economy : 22nd International Conference, Iccpol 2009, Hong Kong, March 26-27, 2009. Proceedings - 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
  • Learn Objective-C for Java Developers : Learn Series - James Bucanek
    Learn Objective-C for Java Developers
    Learn Series
    James Bucanek
    Paperback
    $43.99
    BUY NOW
  • Books for Professionals by Professionals : Better Business Applications - John Mertic
    Books for Professionals by Professionals
    Better Business Applications
    John Mertic
    Paperback
    $98.99
    BUY NOW
  • Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures - Marco Bernardo
    Formal Methods for Web Services
    9th International School on Formal Methods for ...
    Marco Bernardo, Luca Padovani and Gianluigi Zavattaro
    Paperback
    $76.95
    BUY NOW
  • Reliable Software Technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings - Fabrice Kordon
    Reliable Software Technologies - Ada-Europe 2009
    14th Ada-Europe International Conference, Brest...
    Fabrice Kordon and Yvon Kermarrec
    Paperback
    $84.99
    BUY NOW
  • Theory and Practice of Model Transformations : Second International Conference, Icmt 2009, Zï½rich, Switzerland, June 29-30, 2009, Proceedings - Richard F. Paige
    Theory and Practice of Model Transformations
    Second International Conference, Icmt 2009, Zï½...
    Richard F. Paige
    Paperback
    $108.90
    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
  • Languages and Compilers for Parallel Computing : 20th International Workshop, Lcpc 2007, Urbana, Il, Usa, October 11-13, 2007, Revised Selected Papers - Vikram Adve
    Languages and Compilers for Parallel Computing
    20th International Workshop, Lcpc 2007, Urbana,...
    Vikram Adve, María Jesús Garzarán and Paul Petersen
    Paperback
    $148.75
    BUY NOW
  • An Introduction to PHP for Scientists and Engineers : Beyond JavaScript : Beyond JavaScript - David R. Brooks
    An Introduction to PHP for Scientists and Engineers : Beyond JavaScript
    Beyond JavaScript
    David R. Brooks
    Paperback
    $74.99
    BUY NOW
  • Foundations of Software Science and Computational Structures : 11th International Conference, Fossacs 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings - Roberto Amadio
    Foundations of Software Science and Computational Structures
    11th International Conference, Fossacs 2008, He...
    Roberto Amadio
    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 International Conference, Vstte 2008, To...
    Natarajan Shankar and Jim Woodcock
    Paperback
    $84.99
    BUY NOW
  • Advances in Artificial Intelligence - Sbia 2008 : 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 - Gerson Zaverucha
    Advances in Artificial Intelligence - Sbia 2008
    19th Brazilian Symposium on Artificial Intellig...
    Gerson Zaverucha and Augusto Loureiro da Costa
    Paperback
    $143.99
    BUY NOW
  • Modeling Decisions for Artificial Intelligence : 5th International Conference, Mdai 2008, Sabadell, Spain, October 30-31, 2008, Proceedings - Yasuo Narukawa
    Modeling Decisions for Artificial Intelligence
    5th International Conference, Mdai 2008, Sabade...
    Yasuo Narukawa
    Paperback
    $84.99
    BUY NOW
  • Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers - Carlos Martin-Vide
    Language and Automata Theory and Applications
    Second International Conference, LATA 2008, Tar...
    Carlos Martin-Vide, Friedrich Otto and Henning Fernau
    Paperback
    $143.99
    BUY NOW
  • Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Sungdeok Cha
    Automated Technology for Verification and Analysis
    6th International Symposium, ATVA 2008, Seoul, ...
    Sungdeok Cha, Jin-Young Choi and Moonzoo Kim
    Paperback
    $84.99
    BUY NOW
  • Programming Languages : An Active Learning Approach - Kent D. Lee
    Programming Languages
    An Active Learning Approach
    Kent D. Lee
    Hardcover
    $149.01
    BUY NOW
  • Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Marc Boulé
    Generating Hardware Assertion Checkers
    For Hardware Verification, Emulation, Post-Fabr...
    Marc Boulé and Zeljko Zilic
    Hardcover
    $169.00
    BUY NOW
  • Types for Proofs and Programs : International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers - Marino Miculan
    Types for Proofs and Programs
    International Conference, Types 2007, Cividale ...
    Marino Miculan, Ivan Scagnetto and Furio Honsell
    Paperback
    $84.99
    BUY NOW
  • FM 2008: Formal Methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Jorge Cuellar
    FM 2008: Formal Methods
    15th International Symposium on Formal Methods,...
    Jorge Cuellar and Tom Maibaum
    Paperback
    $84.99
    BUY NOW
  • Testing of Software and Communicating Systems : 20th Ifip Tc 6/Wg 6.1 International Conference, Testcom 2008 8th International Workshop, Fates 2008, Tokyo, Japan, June 10-13, 2008 Proceedings - Kenji Suzuki
    Testing of Software and Communicating Systems
    20th Ifip Tc 6/Wg 6.1 International Conference,...
    Kenji Suzuki, Teruo Higashino and Andreas Ulrich
    Paperback
    $84.99
    BUY NOW
  • Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings - María Alpuente
    Static Analysis
    15th International Symposium, SAS 2008, Valenci...
    María Alpuente and Germán Vidal-Oriola
    Paperback
    $84.99
    BUY NOW
  • Open Source Systems Security Certification - Ernesto Damiani
    Open Source Systems Security Certification
    Ernesto Damiani, Claudio Agostino Ardagna and Nabil El Ioini
    Hardcover
    $169.00
    BUY NOW
  • Conceptual Structures: Knowledge Visualization and Reasoning : 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008, Proceedings - Peter Eklund
    Conceptual Structures: Knowledge Visualization and Reasoning
    16th International Conference on Conceptual Str...
    Peter Eklund and Ollivier Haemmerlé
    Paperback
    $84.99
    BUY NOW
  • Implementation and Applications of Automata : 13th International Conference, Ciaa 2008, San Francisco, California, Usa, July 21-24, 2008, Proceedings - Oscar H. Ibarra
    Implementation and Applications of Automata
    13th International Conference, Ciaa 2008, San F...
    Oscar H. Ibarra and Bala Ravikumar
    Paperback
    $108.90
    BUY NOW
  • Declarative Agent Languages and Technologies V : 5th International Workshop, Dalt 2007, Honolulu, Hi, Usa, May 14, 2007, Revised Selected and Invited Papers - Matteo Baldoni
    Declarative Agent Languages and Technologies V
    5th International Workshop, Dalt 2007, Honolulu...
    Matteo Baldoni, Tran Cao Son and M. Birna van Riemsdijk
    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
    Hardcover
    $169.00
    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
  • Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised Tutorial Lectures - Ana Bove
    Language Engineering and Rigorous Software Development
    International LerNet ALFA Summer School 2008, P...
    Ana Bove, Luis Soares Barbosa and Alberto Pardo
    Paperback
    $84.99
    BUY NOW
  • Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers - 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
  • Programming Multi-Agent Systems : 6th International Workshop, Promas 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers - Koen V. Hindriks
    Programming Multi-Agent Systems
    6th International Workshop, Promas 2008, Estori...
    Koen V. Hindriks, Alexander Pokahr and Sebastian Sardina
    Paperback
    $84.99
    BUY NOW
  • Embedded Software Development with C - Kai Qian
    Embedded Software Development with C
    Kai Qian, David Den Haring and Li Cao
    Hardcover
    $149.01
    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
  • 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
  • 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
  • Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday - Jens Palsberg
    Semantics and Algebraic Specification
    Essays Dedicated to Peter D. Mosses on the Occa...
    Jens Palsberg
    Paperback
    $84.99
    BUY NOW
  • Principles and Practice of Constraint Programming - CP 2009 : 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings - Ian P. Gent
    Principles and Practice of Constraint Programming - CP 2009
    15th International Conference, CP 2009 Lisbon, ...
    Ian P. Gent
    Paperback
    $169.00
    BUY NOW
  • Machine Learning and Data Mining in Pattern Recognition : 6th International Conference, MLDM 2009 Leipzig, Germany, July 23-25, 2009 Proceedings - Petra Perner
    Machine Learning and Data Mining in Pattern Recognition
    6th International Conference, MLDM 2009 Leipzig...
    Petra Perner
    Paperback
    $169.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
  • Chdl : Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL'03 - Christoph Grimm
    Chdl
    Selected Contributions on UML, SystemC, System ...
    Christoph Grimm
    Hardcover
    $249.00
    BUY NOW
  • The China Information Technology Handbook - Patricia Ordonez de Pablos
    The China Information Technology Handbook
    Patricia Ordonez de Pablos and Miltiadis D. Lytras
    Hardcover
    $329.00
    BUY NOW
  • Lecture Notes in Computer Science : Paris, France, June 15-17, 1987. Proceedings - Jean Bezivin
    Lecture Notes in Computer Science
    Paris, France, June 15-17, 1987. Proceedings
    Jean Bezivin, Jean-Marie Hullot and Pierre Cointe
    Paperback
    $59.99
    BUY NOW
  • Advanced Functional Programming : 5th International School, Afp 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures - Varmo Vene
    Advanced Functional Programming
    5th International School, Afp 2004, Tartu, Esto...
    Varmo Vene and Tarmo Uustalu
    Paperback
    $84.99
    BUY NOW
  • Declarative Programming for Knowledge Management : 16th International Conference on Applications of Declarative Programming and Knowledge Management, Inap 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers - Masanobu Umeda
    Declarative Programming for Knowledge Management
    16th International Conference on Applications o...
    Masanobu Umeda, Armin Wolf and Oskar Bartenstein
    Paperback
    $84.99
    BUY NOW
  • 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
  • Monographs in Computer Science : Monographs in Computer Science - Annabelle McIver
    Monographs in Computer Science
    Monographs in Computer Science
    Annabelle McIver and Charles Carroll Morgan
    Paperback
    $219.00
    BUY NOW
  • Advances in Formal Methods : ACL2 Case Studies - Matt Kaufmann
    Advances in Formal Methods
    ACL2 Case Studies
    Matt Kaufmann, Panagiotis Manolios and J Strother Moore
    Paperback
    $329.00
    BUY NOW
  • Texts in Theoretical Computer Science. an Eatcs : Texts in Theoretical Computer Science. an Eatcs Series - Fred Kröger
    Texts in Theoretical Computer Science. an Eatcs
    Texts in Theoretical Computer Science. an Eatcs...
    Fred Kröger and Stephan Merz
    Paperback
    $99.00
    BUY NOW
  • Texts in Computer Science : For Pentium and RISC Processors - Sivarama P. Dandamudi
    Texts in Computer Science
    For Pentium and RISC Processors
    Sivarama P. Dandamudi
    Paperback
    $139.00
    BUY NOW
  • Visual Languages and Applications - Kang Zhang
    Visual Languages and Applications
    Kang Zhang
    Paperback
    $179.00
    BUY NOW
  • Handbook of Formal Languages : Volume 2. Linear Modeling: Background and Application - Grzegorz Rozenberg
    Handbook of Formal Languages
    Volume 2. Linear Modeling: Background and Appli...
    Grzegorz Rozenberg and Arto Salomaa
    Paperback
    $379.01
    BUY NOW
  • Compiler Design : Syntactic and Semantic Analysis - Helmut Seidl
    Compiler Design
    Syntactic and Semantic Analysis
    Helmut Seidl, Sebastian Hack and Reinhard Wilhelm
    Hardcover
    $139.00
    BUY NOW
  • Springer Computational Mathematics : A Fortran Package for Large-Scale Nonlinear Optimization (Release A) - A.R. Conn
    Springer Computational Mathematics
    A Fortran Package for Large-Scale Nonlinear Opt...
    A.R. Conn, G.I.M. Gould and P.L. Toint
    Paperback
    $249.00
    BUY NOW
  • Cognitive Technologies : Cognitive Technologies - Slim Abdennadher
    Cognitive Technologies
    Cognitive Technologies
    Slim Abdennadher and Thom Fruhwirth
    Paperback
    $84.99
    BUY NOW
  • Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring - Marc Boulé
    Generating Hardware Assertion Checkers
    For Hardware Verification, Emulation, Post-Fabr...
    Marc Boulé and Zeljko Zilic
    Paperback
    $163.90
    BUY NOW
  • Automatic Program Development : A Tribute to Robert Paige - Olivier Danvy
    Automatic Program Development
    A Tribute to Robert Paige
    Olivier Danvy, Fritz Henglein and Harry Mairson
    Paperback
    $141.90
    BUY NOW
  • Distributed Virtual Worlds : Foundations and Implementation Techniques Using Vrml, Java, and CORBA - Stephan Diehl
    Distributed Virtual Worlds
    Foundations and Implementation Techniques Using...
    Stephan Diehl
    Paperback
    $84.99
    BUY NOW
  • Texts in Computer Science : Texts in Computer Science - Pankaj Jalote
    Texts in Computer Science
    Texts in Computer Science
    Pankaj Jalote
    Hardcover
    $129.00
    BUY NOW
1547 Results | View 24 / 100
< 1 2 3 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