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

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

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

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

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

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

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

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

        Browse Fiction

      • New Releases
      • Bestselling
        • Popular Authors

        • Bryce Courtenay
        • Danielle Steel
        • Di Morrissey
        • Ian Fleming
        •  

        • J.K Rowling
        • J. R. R. Tolkien
        • James Patterson
        • Popular Subjects

        • Action & Adventure
        • Classic Fiction
        • Crime & Mystery
        • Fantasy Fiction
        • Historical Fiction
        •  

        • Horror & Ghost Stories
        • Modern & Contemporary Fiction
        • Romance
        • Thrillers & Suspense
      Explore All Fiction >
    • NON-FICTION
        • Subjects

        • Accounting & Finance
        • Animals & Nature
        • Antiques & Collectables
        • Archaeology
        • Arts & Entertainment
        • Biographies & True Stories
        • Business & Management
        •  

        • Children's Non-Fiction
        • Comedy & Humour
        • Computing & I.T.
        • Cooking, Food & Drink
        • Crafts & Handiwork
        • Dictionaries
        • Earth Sciences & Environment
        • Economics
        • Education
        •  

        • Engineering & Technology
        • Family & Health
        • Gardening
        • History
        • Hobbies, Games & Puzzles
        • Home & House Maintenance
        • Industry & Industrial Studies
        • Language & Linguistics
        •  

        • Law
        • Library & Info Sciences
        • Lifestyle & Fashion
        • Literature, Poetry & Plays
        • Mathematics
        • Medicine
        • Mind, Body, Spirit
        • Philosophy
        •  

        • Politics & Government
        • Psychology
        • Reference & Encyclopaedias
        • Religion & Beliefs
        • Science
        • Self-Help & Personal Development
        • Social Services & Welfare
        •  

        • Society & Culture
        • Sociology & Anthropology
        • Sports & Recreation
        • Teaching English (ELT)
        • Transportation
        • Travel & Holidays
        • Travel Maps & Atlases
        • Warfare & Defence
    • CHILDREN

        Browse Children's

      • New Releases
      • Bestselling
        • Popular Authors

        • Andy Griffiths
        • Enid Blyton
        • J.K Rowling
        • John Flanagan
        • Lemony Snicket
        • Stephaine Meyer
        • Popular Subjects

        • Action & Adventure
        • Children's Non-Fiction
        • Children's Classics
        • Crime & Mystery Fiction
        • Fairy Tales, Magical & Traditional Stories
        •  

        • Fantasy Fiction
        • General Fiction
        • Horror & Ghost Stories
        • Humorous Stories
        • Romance & Love Stories
        • Science Fiction
      Explore All Children's >
    • AUDIO CDS
    • AUDIO CD BARGAINS
    • Sony Headphones
Audiobooks > Non-Fiction > Computing & I.T. > Computer Programming & Software Development > Compilers & Interpreters
Get Free Shipping on orders over $79

Compilers & Interpreters

REFINE YOUR RESULTS

SUBJECTS

  • Algorithms & Data Structures
  • Mobile & Handheld Device Programming & Apps Programming
  • Object-Oriented Programming or OOP
  • Programming & Scripting Languages
  • Software Engineering
  • Web Programming

LISTS

  • All Books (19)
  • Books (1054)

PRICE

CUSTOMER RATING

  •  
    (1) 
  •  
    & Up (1) 
  •  
    & Up (1) 

LANGUAGE

  • Audiobook
    (19)
  • Books
    (1054)
  • eBooks
    (1981)
1981 Results | View 24 / 100
< 1 ... 15 16 17 18 19 20 >
Sort By
Sort By:
  • Multicore Software Engineering, Performance and Tools : International Conference, MSEPT 2012, Prague, Czech Republic, May 31--June 1, 2012, Proceedings - Victor Pankratius
    Multicore Software Engineering, Performance and Tools
    International Conference, MSEPT 2012, Prague, C...
    Victor Pankratius and Michael Philippsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proceedings - Dimitra Giannakopoulou
    Fundamental Approaches to Software Engineering
    14th International Conference, FASE 2011, Held ...
    Dimitra Giannakopoulou and ?Fernando Orejas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010  Proceedings - Kazunori Ueda
    Programming Languages and Systems
    8th Asian Symposium, APLAS 2010, Shanghai, Chin...
    Kazunori Ueda
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings - María Alpuente
    Formal Methods for Industrial Critical Systems
    14th International Workshop, FMICS 2009, Eindho...
    María Alpuente, ?Byron Cook and ?Christophe Joubert
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance : 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings - Jens B. Schmitt
    Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
    16th International GI/ITG Conference, MMB & DFT...
    Jens B. Schmitt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • SDL 2011: Integrating System and Software Modeling : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers - Iulian Ober
    SDL 2011: Integrating System and Software Modeling
    15th International SDL Forum Toulouse, France, ...
    Iulian Ober and ?Ileana Ober
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2011 Parallel Processing : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I - Emmanuel Jeannot
    Euro-Par 2011 Parallel Processing
    17th International Euro-ParConference, Bordeaux...
    Emmanuel Jeannot, ?Raymond Namyst and ?Jean Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers - SvenBodo Scholz
    Implementation and Application of Functional Languages
    20th International Symposium, IFL 2008, Hatfiel...
    SvenBodo Scholz and ?Olaf Chitil
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Architecture : 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings - Ivica Crnkovic
    Software Architecture
    5th European Conference, ECSA 2011, Essen, Germ...
    Ivica Crnkovic, ?Volker Gruhn and ?Matthias Book
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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 - Taihoon Kim
    Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity
    International Conferences, ASEA and DRBC 2012, ...
    Taihoon Kim, ?Carlos Ramos and ?Haengkon Kim
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematics of Program Construction : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Jeremy Gibbons
    Mathematics of Program Construction
    11th International Conference, MPC 2012, Madrid...
    Jeremy Gibbons and Pablo Nogueira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trustworthy Global Computing : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers - Christos Kaklamanis
    Trustworthy Global Computing
    4th International Symposium, TGC 2008, Barcelon...
    Christos Kaklamanis and Flemming Nielson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Requirements Engineering: Foundation for Software Quality : 18th International Working Conference, REFSQ 2012, Essen, Germany, March 2012, Proceedings - Björn Regnell
    Requirements Engineering: Foundation for Software Quality
    18th International Working Conference, REFSQ 20...
    Björn Regnell and Daniela Damian
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Modelling and Its Theoretical Foundations : Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday - Antje Düsterhöft
    Conceptual Modelling and Its Theoretical Foundations
    Essays Dedicated to Bernhard Thalheim on the Oc...
    Antje Düsterhöft, Meike Klettke and KlausDieter Schewe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - Helmut Seidl
    Programming Languages and Systems
    21st European Symposium on Programming, ESOP 20...
    Helmut Seidl
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings - Alastair Donaldson
    Model Checking Software
    19th International SPIN Workshop, Oxford, UK, J...
    Alastair Donaldson and David Parker
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Composition : 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings - Alexandre Bergel
    Software Composition
    8th International Conference, SC 2009, Zurich, ...
    Alexandre Bergel and ?Johan Fabry
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Giuseppe Castagna
    Programming Languages and Systems
    18th European Symposium on Programming, ESOP 20...
    Giuseppe Castagna
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Architectures for Adaptive Software Systems : 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings - Raffaela Mirandola
    Architectures for Adaptive Software Systems
    5th International Conference on the Quality of ...
    Raffaela Mirandola, ?Ian Gorton and ?Christine Hofmeister
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings - Ricardo Rocha
    Practical Aspects of Declarative Languages
    13th International Symposium, PADL 2011, Austin...
    Ricardo Rocha and ?John Launchbury
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Aspect-Oriented Software Development V : Focus: Aspects, Dependencies and Interactions - Awais Rashid
    Transactions on Aspect-Oriented Software Development V
    Focus: Aspects, Dependencies and Interactions
    Awais Rashid and Harold Ossher
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers - Michael Hanus
    Logic-Based Program Synthesis and Transformation
    18th International Symposium, LOPSTR 2008, Vale...
    Michael Hanus
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Declarative Agent Languages and Technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers - Chiaki Sakama
    Declarative Agent Languages and Technologies IX
    9th International Workshop, DALT 2011, Taipei, ...
    Chiaki Sakama, ?Sebastian Sardina and ?Wamberto Vasconcelos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers - Hana Chockler
    Hardware and Software: Verification and Testing
    4th International Haifa Verification Conference...
    Hana Chockler and ?Alan J. Hu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modelling -- Foundation and Applications : 7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings - Robert B. France
    Modelling -- Foundation and Applications
    7th European Conference, ECMFA 2011, Birmingham...
    Robert B. France, ?Jochen M. Kuester and ?Behzad Bordbar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conceptual Modeling - ER 2011 : 30th International Conference on Conceptual Modeling, Brussels, Belgium, October 31 - November 3, 2011. Proceedings - Manfred Jeusfeld
    Conceptual Modeling - ER 2011
    30th International Conference on Conceptual Mod...
    Manfred Jeusfeld, ?Lois Delcambre and ?Tok Wang Ling
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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 Jerome Lang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings - Michel Baudry
    Software Composition
    9th International Conference, SC 2010, Malaga, ...
    Michel Baudry and Eric Wohlstadter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Declarative Agent Languages and Technologies VI : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers - Matteo Baldoni
    Declarative Agent Languages and Technologies VI
    6th International Workshop, DALT 2008, Estoril,...
    Matteo Baldoni, Tran Cao Son and Birna Van Riemsdijk
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Large-Scale Complex IT Systems. Development, Operation and Management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers - Radu Calinescu
    Large-Scale Complex IT Systems. Development, Operation and Management
    17th Monterey Workshop 2012, Oxford, UK, March ...
    Radu Calinescu and ?David Garlan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings - Jens Palsberg
    Static Analysis
    16th International Symposium, SAS 2009, Los Ang...
    Jens Palsberg and ?Zhendong Su
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings - Holger Giese
    Formal Techniques for Distributed Systems
    Joint 14th IFIP WG 6.1 International Conference...
    Holger Giese and Grigore Rosu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Software Engineering : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings - Dominik ?l?zak
    Advances in Software Engineering
    International Conference on Advanced Software E...
    Dominik ?l?zak, ?Taihoon Kim and ?Akingbehin Kiumi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Research in Attacks, Intrusions and Defenses : 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings - Davide Balzarotti
    Research in Attacks, Intrusions and Defenses
    15th International Symposium, RAID 2012, Amster...
    Davide Balzarotti, ?Salvatore J. Stolfo and ?Marco Cova
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures - Andrea De Lucia
    Software Engineering
    International Summer Schools, ISSSE 2006-2008, ...
    Andrea De Lucia and Filomena Ferrucci
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Transactions on High-Performance Embedded Architectures and Compilers III - Per Stenström
    Transactions on High-Performance Embedded Architectures and Compilers III
    Per Stenström
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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 and Diego MollaAliod
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Systems, Software and Services Process Improvement : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings - Andreas Riel
    Systems, Software and Services Process Improvement
    17th European Conference, EuroSPI 2010, Grenobl...
    Andreas Riel, ?Rory O'Connor and ?Serge Tichkiewitch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering, Business Continuity, and Education : International Conferences, ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings - Taihoon Kim
    Software Engineering, Business Continuity, and Education
    International Conferences, ASEA, DRBC and EL 20...
    Taihoon Kim, ?Hojjat Adeli and ?HaengKon Kim
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Model and Data Engineering : 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings - Alberto Abelló
    Model and Data Engineering
    2nd International Conference, MEDI 2012, Poitie...
    Alberto Abelló, ?Ladjel Bellatreche and ?Boualem Benatallah
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Open Source Systems: Long-Term Sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedings - Imed Hammouda
    Open Source Systems: Long-Term Sustainability
    8th IFIP WG 2.13 International Conference, OSS ...
    Imed Hammouda, ?Björn Lundell and ?Tommi Mikkonen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers - Kerstin Eder
    Hardware and Software: Verification and Testing
    7th International Haifa Verification Conference...
    Kerstin Eder, ?João Louren?o and ?Onn Shehory
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings - Madhavan Mukund
    Automated Technology for Verification and Analysis
    10th International Symposium, ATVA 2012, Thiruv...
    Madhavan Mukund and ?Supratik Chakraborty
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers - Michael Johnson
    Algebraic Methodology and Software Technology
    13th International Conference, AMAST 2010, Lac-...
    Michael Johnson and Dusko Pavlovic
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers - Sharon Barner
    Hardware and Software: Verification and Testing
    6th International Haifa Verification Conference...
    Sharon Barner, ?Ian Harris and ?Daniel Kroening
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers - Luis Soares Barbosa
    Formal Aspects of Component Software
    7th International Workshop, FACS 2010, Guimarãe...
    Luis Soares Barbosa and ?Markus Lumpe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings - Ranjit Jhala
    Programming Languages and Systems
    10th Asian Symposium, APLAS 2012, Kyoto, Japan,...
    Ranjit Jhala and ?Atsushi Igarashi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Aspect-Oriented Software Development IX - Gary T. Leavens
    Transactions on Aspect-Oriented Software Development IX
    Gary T. Leavens, Shigeru Chiba and Michael Haupt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Rohit Gheyi
    Formal Methods: Foundations and Applications
    15th Brazilian Symposium, SBMF 2012, Natal, Bra...
    Rohit Gheyi and ?David Naumann
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings - Gilles Barthe
    Software Engineering and Formal Methods
    9th International Conference, SEFM 2011, Montev...
    Gilles Barthe, ?Alberto Pardo and ?Gerardo Schneider
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers - Jurriaan Hage
    Implementation and Application of Functional Languages
    22nd International Symposium, IFL 2010, Alphen ...
    Jurriaan Hage and ?Marco T. Morazán
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing Software and Systems : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings - Brian Nielsen
    Testing Software and Systems
    24th IFIP WG 6.1 International Conference, ICTS...
    Brian Nielsen and ?Carsten Weise
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings - Shengchao Qin
    Formal Methods and Software Engineering
    13th International Conference on Formal Enginee...
    Shengchao Qin and ?Zongyan Qiu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings - Uli Fahrenberg
    Formal Modeling and Analysis of Timed Systems
    9th International Conference, FORMATS 2011, Aal...
    Uli Fahrenberg and ?Stavros Tripakis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers - Arbab Farhad
    Formal Aspects of Component Software
    8th International Symposium, FACS 2011, Oslo, N...
    Arbab Farhad and Ölveczky Peter Csaba
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory of Security and Applications : Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31-April 1, 2011, Revised Selected Papers - Sebastian Moedersheim
    Theory of Security and Applications
    Joint Workshop, TOSCA 2011, Saarbrucken, German...
    Sebastian Moedersheim and ?Catuscia Palamidessi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trends in Functional Programming : 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers - Page Rex
    Trends in Functional Programming
    11th International Symposium, TFP 2010, Norman,...
    Page Rex, Horvath Zoltan and Zsók Viktoria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers - Holger Giese
    Model-Based Engineering of Embedded Real-Time Systems
    International Dagstuhl Workshop, Dagstuhl Castl...
    Holger Giese, ?Gabor Karsai and ?Edward A. Lee
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday - Robert L. Constable
    Logic and Program Semantics
    Essays Dedicated to Dexter Kozen on the Occasio...
    Robert L. Constable and ?Alexandra Silva
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings - Groce Alex
    Model Checking Software
    18th International SPIN Workshop, Snowbird, UT,...
    Groce Alex and Musuvathi Madanlal
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reversible Computation : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers - Alexis De Vos
    Reversible Computation
    Third International Workshop, Gent, Belgium, Ju...
    Alexis De Vos and ?Robert Wille
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I - Dorina C. Petriu
    Model Driven Engineering Languages and Systems
    13th International Conference, MODELS 2010, Osl...
    Dorina C. Petriu, ?Nicolas Rouquette and ?Oystein Haugen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Conceptual Modeling - Applications and Challenges : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010, Proceedings - Juan Trujillo
    Advances in Conceptual Modeling - Applications and Challenges
    ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-...
    Juan Trujillo, Gillian Dobbie and Hannu Kangassalo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Processing of the Portuguese Language : 9th International Conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27-30, 2010. Proceedings - Thiago A.S. Pardo
    Computational Processing of the Portuguese Language
    9th International Conference, PROPOR 2010, Port...
    Thiago A.S. Pardo, António Branco and ?Aldebaro Klautau
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, Proceedings - Leite J
    Computational Logic in Multi-Agent Systems
    12th International Workshop, CLIMA XII, Barcelo...
    Leite J, Torroni P and Agotnes Th
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing: Academic and Industrial Conference - Practice and Research Techniques : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings - Leonardo Bottaci
    Testing: Academic and Industrial Conference - Practice and Research Techniques
    5th International Conference, TAIC PART 2010, W...
    Leonardo Bottaci and ?Gordon Fraser
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings - Jin Song Dong
    Formal Methods and Software Engineering
    12th International Conference on Formal Enginee...
    Jin Song Dong and Huibiao Zhu
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Declarative Agent Languages and Technologies VIII : 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers - Andrea Omicini
    Declarative Agent Languages and Technologies VIII
    8th International Workshop, DALT 2009, Toronto,...
    Andrea Omicini, ?Sebastian Sardina and ?Wamberto Vasconcelos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algebraic and Numeric Biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31-August 2, 2010, Revised Selected Papers - Katsuhisa Horimoto
    Algebraic and Numeric Biology
    4th International Conference, ANB 2010, Hagenbe...
    Katsuhisa Horimoto, ?Masahiko Nakatsui and ?Nikolaj Popov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings - Mihaela Bobaru
    NASA Formal Methods
    Third International Symposium, NFM 2011, Pasade...
    Mihaela Bobaru, ?Klaus Havelund and ?Gerard Holzmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - JeanPierre Jouannaud
    Certified Programs and Proofs
    First International Conference, CPP 2011, Kenti...
    JeanPierre Jouannaud and ?Zhong Shao
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Logic Programming : 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings - Tom Schrijvers
    Functional and Logic Programming
    11th International Symposium, FLOPS 2012, Kobe,...
    Tom Schrijvers and ?Peter Thiemann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • System Analysis and Modeling: About Models : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers - Frank Alexander Kraemer
    System Analysis and Modeling: About Models
    6th International Workshop, SAM 2010, Oslo, Nor...
    Frank Alexander Kraemer and Peter Herrmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coding Interviews : Questions, Analysis & Solutions - Harry He
    Coding Interviews
    Questions, Analysis & Solutions
    Harry He
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Grid Computing - GRID 2001 : Second International Workshop, Denver, CO, USA, November 12, 2001. Proceedings - Craig A. Lee
    Grid Computing - GRID 2001
    Second International Workshop, Denver, CO, USA,...
    Craig A. Lee
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming - CP 2001 : 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings - ToWalsh
    Principles and Practice of Constraint Programming - CP 2001
    7th International Conference, CP 2001, Paphos, ...
    ToWalsh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Software Engineering - ESEC/FSE '99 : 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings - Oskar Nierstrasz
    Software Engineering - ESEC/FSE '99
    7th European Software Engineering Conference He...
    Oskar Nierstrasz and ?Michel Lemoine
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming in Prolog : Using the ISO Standard - William F. Clocksin
    Programming in Prolog
    Using the ISO Standard
    William F. Clocksin and Christopher S. Mellish
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Transactions on Aspect-Oriented Software Development VII : A Common Case Study for Aspect-Oriented Modeling - Jörg Kienzle
    Transactions on Aspect-Oriented Software Development VII
    A Common Case Study for Aspect-Oriented Modeling
    Jörg Kienzle
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings - Gordon Fraser
    Tests and Proofs
    4th International Conference, TAP 2010, Malaga,...
    Gordon Fraser and ?Angelo Gargantini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proceedings - Parosh Aziz Abdulla
    Tools and Algorithms for the Construction and Analysis of Systems
    17th International Conference, TACAS 2011, Held...
    Parosh Aziz Abdulla and ?K. Rustan M. Leino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • New Modeling Concepts for Today's Software Processes : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings - Jürgen Münch
    New Modeling Concepts for Today's Software Processes
    International Conference on Software Process, I...
    Jürgen Münch, ?Ye Yang and ?Wilhelm Schäfer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Model Transformations : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings - Laurence Tratt
    Theory and Practice of Model Transformations
    Third International Conference, ICMT 2010, Mala...
    Laurence Tratt and ?Martin Gogolla
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Business Process Management : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings - Richard Hull
    Business Process Management
    8th International Conference, BPM 2010, Hoboken...
    Richard Hull, ?Jan Mendling and ?Stefan Tai
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever - Dennis Dams
    Concurrency, Compositionality, and Correctness
    Essays in Honor of Willem-Paul de Roever
    Dennis Dams, ?Ulrich Hannemann and ?Martin Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings - Toshiaki Aoki
    Formal Methods and Software Engineering
    14th International Conference on Formal Enginee...
    Toshiaki Aoki and ?Kenji Taguchi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • CONCUR 2012- Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, September 4-7, 2012. Proceedings - Maciej Koutny
    CONCUR 2012- Concurrency Theory
    23rd International Conference, CONCUR 2012, New...
    Maciej Koutny and ?Irek Ulidowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Objects, Components, Models, Patterns : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011, Proceedings - Judith Bishop
    Objects, Components, Models, Patterns
    49th International Conference, TOOLS 2011, Zuri...
    Judith Bishop and ?Antonio Vallecillo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings - Viktor Kuncak
    Verification, Model Checking, and Abstract Interpretation
    13th International Conference, VMCAI 2012, Phil...
    Viktor Kuncak and ?Andrey Rybalchenko
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers - Edmund Clarke
    Perspectives of Systems Informatics
    8th International Andrei Ershov Memorial Confer...
    Edmund Clarke, ?Irina Virbitskaite and ?Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings - Alwyn Goodloe
    NASA Formal Methods
    4th International Symposium, NFM 2012, Norfolk,...
    Alwyn Goodloe and ?Suzette Person
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers - Javier Larrosa
    Recent Advances in Constraints
    14th Annual ERCIM International Workshop on Con...
    Javier Larrosa and Barry O'Sullivan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Requirements Engineering: Foundation for Software Quality : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings - Daniel M. Berry
    Requirements Engineering: Foundation for Software Quality
    17th International Working Conference, REFSQ 20...
    Daniel M. Berry and ?Xavier Franch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agent-Oriented Software Engineering X : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers - MariePierre Gleizes
    Agent-Oriented Software Engineering X
    10th International Workshop, AOSE 2009, Budapes...
    MariePierre Gleizes and Jorge J. GomezSanz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Driven Engineering Languages and Systems : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Proceedings - Jon Whittle
    Model Driven Engineering Languages and Systems
    14th International Conference, MODELS 2011, Wel...
    Jon Whittle, Tony Clark and Thomas Kuhne
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Constraint Logic Programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers - Julio Marino
    Functional and Constraint Logic Programming
    19th International Workshop, WFLP 2010, Madrid,...
    Julio Marino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
1981 Results | View 24 / 100
< 1 ... 15 16 17 18 19 20 >
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

© 2025 Booktopia Direct Pty Ltd.
${altTag}
RRP ${fmtRetailPrice}
${fmtSalePrice}
BUY NOW