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
    • Coming Soon
    • Bestselling

      • Popular Subjects

      • Romance
      • Crime & Mystery
      • Erotic Fiction
      • Children's Fiction
      • Fantasy
      • Thrillers
      • Science Fiction

      • Popular Authors

      • Danielle Steel
      • E L James
      • James Patterson
      • Kerry Greenwood
      • Lee Child
      • Michael Connelly
      • Peter Corris

      • Popular Series

      • Text Classics
    Explore All Fiction >
  • NON-FICTION

      Browse Non-Fiction

    • Bestselling

      • 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
    Explore All Non-Fiction >
  • TEXTBOOKS
  • KIDS & YA

      Browse Kids & YA

    • New Releases
    • Bestselling

      • Popular Subjects

      • Children's Fiction
      • Romance & Love Stories
      • Picture Books & Early Learning
      • Children's Non-Fiction
    Explore All Kids & YA
  • EREADERS
  • KOBO PLUS
eBooks > 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
  • Compilers & Interpreters
  • Database Programming
  • Games Development & Programming
  • Microsoft Programming
  • Object-Oriented Programming or OOP
  • Programming & Scripting Languages
  • Software Engineering
  • Web Programming

LISTS

  • All eBooks (2009)
  • Books (1550)
  • Audiobooks (19)
  • eTextbooks (1874)

AVAILABILITY

  • All eBooks (2009)
  • New Releases (8)
  • Coming Soon (1)
  • Subscription eBooks (109)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (2009)
  • Books
     (1550)
  • Audiobooks
     (19)
2009 Results | View 24 / 100
< 1 ... 7 8 9 10 11 ... 21 >
Sort By
Sort By:
  • 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
  • Bestseller Bargains
  • 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
  • Tests and Proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings - Achim Brucker
    Tests and Proofs
    6th International Conference, TAP 2012, Prague,...
    Achim Brucker and ?Jacques Julliand
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation
    5th International Symposium, ISoLA 2012, Herakl...
    Tiziana Margaria and ?Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Object, Models, Components, Patterns : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings - Carlo A. Furia
    Object, Models, Components, Patterns
    50th International Conference, TOOLS Europe 201...
    Carlo A. Furia and ?Sebastian Nanz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ECOOP 2012 -- Object-Oriented Programming : 26th European Conference, Beijing, China, June 11-16, 2012, Proceedings - James Noble
    ECOOP 2012 -- Object-Oriented Programming
    26th European Conference, Beijing, China, June ...
    James Noble
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation
    5th International Symposium, ISoLA 2012, Herakl...
    Tiziana Margaria and ?Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Eran Yahav
    Static Analysis
    18th International Symposium, SAS 2011. Venice,...
    Eran Yahav
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Open Source Systems: Grounding Research : 7th IFIP 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, Proceedings - Scott Hissam
    Open Source Systems: Grounding Research
    7th IFIP 2.13 International Conference, OSS 201...
    Scott Hissam, Barbara Russo and Manoel G. De Mendonca Neto
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Top Productivity through Software Reuse : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings - Klaus Schmid
    Top Productivity through Software Reuse
    12th International Conference on Software Reuse...
    Klaus Schmid
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings - Marko Van Eekelen
    Interactive Theorem Proving
    Second International Conference, ITP 2011, Berg...
    Marko Van Eekelen, ?Herman Geuvers and ?Julien Schmaltz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Tevfik Bultan
    Automated Technology for Verification and Analysis
    9th International Symposium, ATVA 2011, Taipei,...
    Tevfik Bultan and PaoAnn Hsiung
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings - Alexander Romanovsky
    Reliable Software Technologies - Ada-Europe 2011
    16th Ada-Europe International Conference on Rel...
    Alexander Romanovsky and ?Tullio Vardanega
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Petri Nets and Other Models of Concurrency VI - Wil M. P. van der Aalst
    Transactions on Petri Nets and Other Models of Concurrency VI
    Wil M. P. van der Aalst, ?Marco Ajmone Marsan and ?Giuliana Franceschinis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trends in Functional Programming : 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers - Ricardo Peña
    Trends in Functional Programming
    12th International Symposium, TFP 2011, Madrid,...
    Ricardo Peña and ?Rex Page
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Models in Software Engineering : Workshops and Symposia at MoDELS 2010, Olso, Norway, October 3-8, 2010, Reports and Revised Selected Papers - Juergen Dingel
    Models in Software Engineering
    Workshops and Symposia at MoDELS 2010, Olso, No...
    Juergen Dingel and ?Arnor Solberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings - Burkhart Wolff
    Testing Software and Systems
    23rd IFIP WG 6.1 International Conference, ICTS...
    Burkhart Wolff and Fatiha Zaidi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings - Gilles Barthe
    Verification, Model Checking, and Abstract Interpretation
    11th International Conference, VMCAI 2010, Madr...
    Gilles Barthe and ?Manuel Hermenegildo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 15th International Conference, FASE 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 - Juan de Lara
    Fundamental Approaches to Software Engineering
    15th International Conference, FASE 2012, Held ...
    Juan de Lara and ?Andrea Zisman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modelling Autonomic Communication Environments : 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010, Proceedings - Rob Brennan
    Modelling Autonomic Communication Environments
    5th IEEE International Workshop, MACE 2010, Nia...
    Rob Brennan, ?Joel Fleck II and ?Sven van der Meer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Ganesh Gopalakrishnan
    Computer Aided Verification
    23rd International Conference, CAV 2011, Snowbi...
    Ganesh Gopalakrishnan and ?Shaz Qadeer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models in Software Engineering : Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers - Jörg Kienzle
    Models in Software Engineering
    Workshops and Symposia at MODELS 2011, Wellingt...
    Jörg Kienzle
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings - Adenilso Simao
    Formal Methods: Foundations and Applications
    14th Brazilian Symposium, SBMF 2011, Sao Paulo,...
    Adenilso Simao and Carroll Morgan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2011: Formal Methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Michael Butler
    FM 2011: Formal Methods
    17th International Symposium on Formal Methods,...
    Michael Butler and ?Wolfram Schulte
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Software Engineering Techniques : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers - Tomasz Szmuc
    Advances in Software Engineering Techniques
    4th IFIP TC 2 Central and East European Confere...
    Tomasz Szmuc, ?Marcin Szpyrka and ?Jaroslav Zendulka
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers - Ricardo Peña
    Foundational and Practical Aspects of Resource Analysis
    Second International Workshop, FOPARA 2011, Mad...
    Ricardo Peña, ?Marko van Eekelen and ?Olha Shkaravska
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Computational Logic in Multi-Agent Systems : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings - Michael Fisher
    Computational Logic in Multi-Agent Systems
    13th International Workshop, CLIMA XIII, Montpe...
    Michael Fisher, ?Leon van der Torre and ?Mehdi Dastani
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Runtime Verification : Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers - Koushik Sen
    Runtime Verification
    Second international Conference, RV 2011, San F...
    Koushik Sen and ?Sarfaz Khurshid
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Aspect-Oriented Software Development IV : Focus: Early Aspects and Aspects of Software Evolution - Awais Rashid
    Transactions on Aspect-Oriented Software Development IV
    Focus: Early Aspects and Aspects of Software Ev...
    Awais Rashid and ?Mehmet Aksit
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers - Andrei Voronkov
    Perspectives of Systems Informatics
    6th International Andrei Ershov Memorial Confer...
    Andrei Voronkov and ?Irina Virbitskaite
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings - Klaus Havelund
    Model Checking Software
    15th International SPIN Workshop, Los Angeles, ...
    Klaus Havelund, Rupak Majumdar and Jens Palsberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers - Jose Nelson Amaral
    Languages and Compilers for Parallel Computing
    21th International Workshop, LCPC 2008, Edmonto...
    Jose Nelson Amaral
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006, Revised Papers - Gheorghe Almasi
    Languages and Compilers for Parallel Computing
    19th International Workshop, LCPC 2006, New Orl...
    Gheorghe Almasi, Calin Cascaval and Peng Wu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings - Franck Cassez
    Formal Modeling and Analysis of Timed Systems
    6th International Conference, FORMATS 2008, Sai...
    Franck Cassez and Claude Jard
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings - Michel R. V. Chaudron
    Component-Based Software Engineering
    11th International Symposium, CBSE 2008, Karlsr...
    Michel R. V. Chaudron, Clemens Szyperski and Ralf H. Reussner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Distributed Applications and Interoperable Systems : 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings - Jadwiga Indulska
    Distributed Applications and Interoperable Systems
    7th IFIP WG 6.1 International Conference, DAIS ...
    Jadwiga Indulska and Kerry Raymond
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 25 Years of Model Checking : History, Achievements, Perspectives - Orna Grumberg
    25 Years of Model Checking
    History, Achievements, Perspectives
    Orna Grumberg and ?Helmut Veith
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Early Aspects: Current Challenges and Future Directions : 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers - A. Moreira
    Early Aspects: Current Challenges and Future Directions
    10th International Workshop, Vancouver, Canada,...
    A. Moreira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Composition : 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings - Cesare Pautasso
    Software Composition
    7th International Symposium, SC 2008, Budapest,...
    Cesare Pautasso and ?Éric Tanter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings - Andrei Voronkov
    Rewriting Techniques and Applications
    19th International Conference, RTA 2008 Hagenbe...
    Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers - Carlos MartinVide
    Language and Automata Theory and Applications
    Second International Conference, LATA 2008, Tar...
    Carlos MartinVide, Friedrich Otto and Henning Fernau
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures - Frank S. de Boer
    Formal Methods for Components and Objects
    5th International Symposium, FMCO 2006, Amsterd...
    Frank S. de Boer, ?Marcello M. Bonsangue and ?Susanne Graf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures - Anna Soos
    Central European Functional Programming School
    Second Summer School, CEFP 2007, Cluj-Napoca, R...
    Anna Soos
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings - Egon Borger
    Abstract State Machines, B and Z
    First International Conference, ABZ 2008, Londo...
    Egon Borger, Michael Butler and Jonathan P Bowen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings - Shaoying Liu
    Formal Methods and Software Engineering
    10th International Conference on Formal Enginee...
    Shaoying Liu, Tom Maibaum and Keijiro Araki
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers - Jaume Bacardit
    Learning Classifier Systems
    10th International Workshop, IWLCS 2006, Seattl...
    Jaume Bacardit, Ester BernadoMansilla and Martin V Butz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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 - Suzuki
    Testing of Software and Communicating Systems
    20th IFIP TC 6/WG 6.1 International Conference,...
    Suzuki, K., Higashino, T. and Hasegawa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering for Self-Adaptive Systems - Betty H. C. Cheng
    Software Engineering for Self-Adaptive Systems
    Betty H. C. Cheng, ?Rogério de Lemos and ?Paola Inverardi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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, ?JinYoung Choi and ?Moonzoo Kim
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Ada 2005 Rationale : The Language, The Standard Libraries - John Barnes
    Ada 2005 Rationale
    The Language, The Standard Libraries
    John Barnes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
2009 Results | View 24 / 100
< 1 ... 7 8 9 10 11 ... 21 >
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