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 > Programming & Scripting Languages
Get Free Shipping on orders over $89

Programming & Scripting Languages

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 (9232)
  • Books (8695)
  • Audiobooks (206)
  • eTextbooks (6139)

AVAILABILITY

  • All eBooks (9232)
  • New Releases (294)
  • Coming Soon (44)
  • Subscription eBooks (3387)

PRICE

CUSTOMER RATING

  •  
    (2) 
  •  
    & Up (3) 
  •  
    & Up (3) 

FORMATS

LANGUAGE

  • eBook
    (9232)
  • Books
    (8695)
  • Audiobooks
    (206)
  • Audio CDs
    (2)
9232 Results | View 24 / 100
< 1 ... 51 52 53 54 55 ... 93 >
Sort By
Sort By:
  • Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings - Gwen Salaun
    Formal Methods for Industrial Critical Systems
    16th International Workshop, FMICS 2011, Trento...
    Gwen Salaun and Bernhard Schatz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers - Eyal Bin
    Hardware and Software, Verification and Testing
    Second International Haifa Verification Confere...
    Eyal Bin, Avi Ziv and Shmuel Ur
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software and Data Technologies : 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009. Revised Selected Papers - José Cordeiro
    Software and Data Technologies
    4th International Conference, ICSOFT 2009, Sofi...
    José Cordeiro, ?AlpeshKumar Ranchordas and ?Boris Shishkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings - Joel Ouaknine
    Formal Modeling and Analysis of Timed Systems
    7th International Conference, FORMATS 2009, Bud...
    Joel Ouaknine and Frits W. Vaandrager
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey - Frank S. de Boer
    Formal Methods for Components and Objects
    7th International Symposium, FMCO 2008, Sophia ...
    Frank S. de Boer, Marcello M. Bonsangue and ?Eric Madelaine
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • AI 2008: Advances in Artificial Intelligence : 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings - Wayne Wobcke
    AI 2008: Advances in Artificial Intelligence
    21st Australasian Joint Conference on Artificia...
    Wayne Wobcke and ?Mengjie Zhang
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Bestseller Bargains
  • Logic Programming : 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings - Verónica Dahl
    Logic Programming
    23rd International Conference, ICLP 2007, Porto...
    Verónica Dahl and ?Ilkka Niemelä
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers - Zoltán Horváth
    Implementation and Application of Functional Languages
    18th International Symposium, IFL 2006, Budapes...
    Zoltán Horváth, Viktória Zsók and ?Andrew Butterfield
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings - Einar Broch Johnsen
    Formal Methods for Open Object-Based Distributed Systems
    9th IFIP WG 6.1 International Conference, FMOOD...
    Einar Broch Johnsen and Marcello M. Bonsangue
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • CONCUR 2007 - Concurrency Theory : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings - Luís Caires
    CONCUR 2007 - Concurrency Theory
    18th International Conference, CONCUR 2007, Lis...
    Luís Caires and Vasco T. Vasconcelos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings - Antoine Mine
    Static Analysis
    19th International Symposium, SAS 2012, Deauvil...
    Antoine Mine and David Schmidt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings - JeanFrancois Raskin
    Formal Modeling and Analysis of Timed Systems
    5th International Conference, FORMATS 2007, Sal...
    JeanFrancois Raskin and ?P.S. Thiagarajan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings - Anuj Dawar
    Logic, Language, Information and Computation
    17th International Workshop, WoLLIC 2010, Brasi...
    Anuj Dawar and ?Ruy de Queiroz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modelling Foundations and Applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings - Antonio Vallecillo
    Modelling Foundations and Applications
    8th European Conference, ECMFA 2012, Kgs. Lyngb...
    Antonio Vallecillo, ?JuhaPekka Tolvanen and ?Ekkart Kindler
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers - Frank S. de Boer
    Formal Methods for Components and Objects
    8th International Symposium, FMCO 2009, Eindhov...
    Frank S. de Boer, ?Marcello M. Bonsangue and ?Stefan Hallerstede
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings - Karin Breitman
    Formal Methods and Software Engineering
    11th International Conference on Formal Enginee...
    Karin Breitman and ?Ana Cavalcanti
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings - John Derrick
    Integrated Formal Methods
    9th International Conference, IFM 2012, Pisa, I...
    John Derrick, ?Stefania Gnesi and ?Diego Latella
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings - Manuel Carro
    Practical Aspects of Declarative Languages
    12th International Symposium, PADL 2010, Madrid...
    Manuel Carro and Ricardo Peña
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Dependable and Historic Computing : Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday - Cliff B. Jones
    Dependable and Historic Computing
    Essays Dedicated to Brian Randell on the Occasi...
    Cliff B. Jones and John L. Lloyd
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway 3-8, 2010, Proceedings, Part II - 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
  • 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
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Edmund M. Clarke
    Logic for Programming, Artificial Intelligence, and Reasoning
    16th International Conference, LPAR-16, Dakar, ...
    Edmund M. Clarke and ?Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers - Keith Cooper
    Languages and Compilers for Parallel Computing
    23rd International Workshop, LCPC 2010, Houston...
    Keith Cooper, ?John MellorCrummey and ?Vivek Sarkar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Data Engineering and Management : Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers - Rajkumar Kannan
    Data Engineering and Management
    Second International Conference, ICDEM 2010, Ti...
    Rajkumar Kannan and Frederic Andres
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 14th International Symposium, PADL 2012, Philadelphia, PA, January 23-24, 2012. Proceedings - Claudio Russo
    Practical Aspects of Declarative Languages
    14th International Symposium, PADL 2012, Philad...
    Claudio Russo and NengFa Zhou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rewriting Logic and Its Applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers - Francisco Durán
    Rewriting Logic and Its Applications
    9th International Workshop, WRLA 2012, Held as ...
    Francisco Durán
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Network and Parallel Computing : 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012, Proceedings - Albert Zomaya
    Network and Parallel Computing
    9th IFIP International Conference, NPC 2012, Gw...
    Albert Zomaya, Sartaj Sahni and SangSoo Yeo
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Reachability Problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011, Proceedings - Giorgio Delzanno
    Reachability Problems
    5th International Workshop, RP 2011, Genoa, Ita...
    Giorgio Delzanno and Igor Potapov
    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 II - 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
  • Principles and Practice of Constraint Programming -- CP 2011 : 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011, Proceedings - Jimmy Lee
    Principles and Practice of Constraint Programming -- CP 2011
    17th International Conference, CP 2011, Perugia...
    Jimmy Lee
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings - Matthew B. Dwyer
    Fundamental Approaches to Software Engineering
    10th International Conference, FASE 2007 Held a...
    Matthew B. Dwyer and ?Antonia Lopes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Smalltalk : 14th International Smaltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers - Wolfgang De Meuter
    Advances in Smalltalk
    14th International Smaltalk Conference, ISC 200...
    Wolfgang De Meuter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming - CP 2007 : 13th International Conference, CP 2007, Providence, RI, USA, September 25-29, 2007, Proceedings - Christian Bessiere
    Principles and Practice of Constraint Programming - CP 2007
    13th International Conference, CP 2007, Provide...
    Christian Bessiere
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Advances in Case-Based Reasoning : 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, Proceedings - Ralph Bergmann
    Advances in Case-Based Reasoning
    9th European Conference, ECCBR 2008, Trier, Ger...
    Ralph Bergmann, KlausDieter Althoff and Alexandre Hanft
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Compiler Construction : 21st International Conference, CC 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 - Michael O'Boyle
    Compiler Construction
    21st International Conference, CC 2012, Held as...
    Michael O'Boyle
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Architecting Dependable Systems VII - Antonio Casimiro
    Architecting Dependable Systems VII
    Antonio Casimiro, ?Rogério de Lemos and ?Cristina Gacek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quality of Software Architectures Models and Architectures : 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings - Steffen Becker
    Quality of Software Architectures Models and Architectures
    4th International Conference on the Quality of ...
    Steffen Becker, ?Frantisek Plasil and ?Ralf H. Reussner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2012 Parallel Processing : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings - Christos Kaklamanis
    Euro-Par 2012 Parallel Processing
    18th International Conference, Euro-Par 2012, R...
    Christos Kaklamanis, ?Theodore Papatheodorou and ?Paul G. Spirakis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Component-Based Software Engineering : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings - Ivica Crnkovic
    Component-Based Software Engineering
    10th International Symposium, CBSE 2007, Medfor...
    Ivica Crnkovic, George T. Heineman and Heinz W. Schmidt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Term Rewriting and Applications : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings - Franz Baader
    Term Rewriting and Applications
    18th International Conference, RTA 2007, Paris,...
    Franz Baader
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Technologies for Embedded and Ubiquitous Systems : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010, Proceedings - Theo Ungerer
    Software Technologies for Embedded and Ubiquitous Systems
    8th IFIP WG 10.2 International Workshop, SEUS 2...
    Theo Ungerer, Robert Pettit and Sang Lyul Min
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Architecture : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings - Ronald Morrison
    Software Architecture
    Second International Conference, ECSA 2008 Paph...
    Ronald Morrison, ?Dharini Balasubramaniam and ?Katrina Falkner
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Model Driven Engineering Languages and Systems : 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings - Krzysztof Czarnecki
    Model Driven Engineering Languages and Systems
    11th International Conference, MoDELS 2008, Tou...
    Krzysztof Czarnecki, ?Ileana Ober and ?JeanMichel Bruel
    eText
    Instant Online Reading*
    $229.00
    BUY EBOOK
  • Object-Oriented Technology.ECOOP 2006 Workshop Reader : ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports - Charles Consel
    Object-Oriented Technology.ECOOP 2006 Workshop Reader
    ECOOP 2006 Workshops, Nantes, France, July 3-7,...
    Charles Consel and Mario Südholt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Program Analysis and Compilation, Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday - Thomas Reps
    Program Analysis and Compilation, Theory and Practice
    Essays Dedicated to Reinhard Wilhelm on the Occ...
    Thomas Reps, ?Mooly Sagiv and ?Jörg Bauer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Beginning C : From Novice to Professional - Ivor Horton
    Beginning C
    From Novice to Professional
    Ivor Horton
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Beginning REALbasic : From Novice to Professional - Jerry Lee Jr. Ford Jr.
    Beginning REALbasic
    From Novice to Professional
    Jerry Lee Jr. Ford Jr.
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings - Antti Valmari
    Model Checking Software
    13th International SPIN Workshop, Vienna, Austr...
    Antti Valmari
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006,     Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers - Klaus Havelund
    Formal Approaches to Software Testing and Runtime Verification
    First Combined International Workshops FATES 20...
    Klaus Havelund, ?Manuel Núnez and ?Grigore Rosu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FM 2006: Formal Methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Jayadev Misra
    FM 2006: Formal Methods
    14th International Symposium on Formal Methods,...
    Jayadev Misra, ?Tobias Nipkow and ?Emil Sekerinski
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Recent Advances in Parallel Virtual Machine and Message Passing Interface : 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings - Bernd Mohr
    Recent Advances in Parallel Virtual Machine and Message Passing Interface
    13th European PVM/MPI User's Group Meeting, Bon...
    Bernd Mohr, ?Jesper Larsson Träff and ?Joachim Worringen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rigorous Development of Complex Fault-Tolerant Systems - Michael Butler
    Rigorous Development of Complex Fault-Tolerant Systems
    Michael Butler, ?Cliff Jones and ?Alexander Romanovsky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Sandro Etalle
    Logic Programming
    22nd International Conference, ICLP 2006, Seatt...
    Sandro Etalle and ?Miroslav Truszczynski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Composition : 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers - Welf Löwe
    Software Composition
    5th International Symposium, SC 2006, Vienna, A...
    Welf Löwe and Mario Südholt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings - Kamel Barkaoui
    Theoretical Aspects of Computing - ICTAC 2006
    Third International Colloquium, Tunis, Tunisia,...
    Kamel Barkaoui, ?Ana Cavalcanti and ?Antonio Cerone
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers - JeanChristophe Filliatre
    Types for Proofs and Programs
    International Workshop, TYPES 2004, Jouy-en-Jos...
    JeanChristophe Filliatre, ?Christine PaulinMohring and ?Benjamin Werner
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings - Kwangkeun Yi
    Static Analysis
    13th International Symposium, SAS 2006, Seoul, ...
    Kwangkeun Yi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Component-Based Software Engineering : 9th International Symposium, CBSE 2006, Vasteras, Sweden, June 29 - July 1, 2006, Proceedings - Ian Gorton
    Component-Based Software Engineering
    9th International Symposium, CBSE 2006, Vastera...
    Ian Gorton, ?George T. Heinemann and ?Ivica Crnkovic
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers - Wolfgang Grieskamp
    Formal Approaches to Software Testing
    5th International Workshop, FATES 2005, Edinbur...
    Wolfgang Grieskamp and ?Carsten Weise
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Term Rewriting and Applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - Frank Pfenning
    Term Rewriting and Applications
    17th International Conference, RTA 2006, Seattl...
    Frank Pfenning
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Logic Programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings - Masami Hagiya
    Functional and Logic Programming
    8th International Symposium, FLOPS 2006, Fuji-S...
    Masami Hagiya and ?Philip Wadler
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • CONCUR 2006 - Concurrency Theory : 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006 - Christel Baier
    CONCUR 2006 - Concurrency Theory
    17th International Conference, CONCUR 2006, Bon...
    Christel Baier and Holger Hermanns
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Component Deployment : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings - Alan Dearle
    Component Deployment
    Third International Working Conference, CD 2005...
    Alan Dearle and ?Susan Eisenbach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings - Pascal van Hentenryck
    Practical Aspects of Declarative Languages
    8th International Symposium, PADL 2006, Charles...
    Pascal van Hentenryck
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers - Andrew Butterfield
    Implementation and Application of Functional Languages
    17th International Workshop, IFL 2005, Dublin, ...
    Andrew Butterfield, ?Clemens Grelck and ?Frank Huch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Architecting Systems with Trustworthy Components : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers - Ralf H. Reussner
    Architecting Systems with Trustworthy Components
    International Seminar, Dagstuhl Castle, Germany...
    Ralf H. Reussner, ?Judith A. Stafford and ?Clemens A. Szyperski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European - Peter Sestoft
    Programming Languages and Systems
    15th European Symposium on Programming, ESOP 20...
    Peter Sestoft
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings - Andrew Black
    ECOOP 2005 - Object-Oriented Programming
    19th European Conference, Glasgow, UK, July 25-...
    Andrew Black
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Modular Programming Languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings - David Lightfoot
    Modular Programming Languages
    7th Joint Modular Languages Conference, JMLC 20...
    David Lightfoot and ?Clemens Szyperski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Generative and Transformational Techniques in Software Engineering : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers - Ralf Lämmel
    Generative and Transformational Techniques in Software Engineering
    International Summer School, GTTSE 2005, Braga,...
    Ralf Lämmel, ?João Saraiva and ?Joost Visser
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers - Bill Pugh
    Languages and Compilers for Parallel Computing
    15th Workshop, LCPC 2002, College Park, MD, USA...
    Bill Pugh and ?ChauWen Tseng
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rules and Rule Markup Languages for the Semantic Web : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings - Asaf Adi
    Rules and Rule Markup Languages for the Semantic Web
    First International Conference, RuleML 2005, Ga...
    Asaf Adi, ?Suzette Stoutenburg and ?Said Tabet
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings - Eugene Asarin
    Formal Modeling and Analysis of Timed Systems
    4th International Conference, FORMATS 2006, Par...
    Eugene Asarin and ?Patricia Bouyer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers - Eduard Ayguadé
    Languages and Compilers for Parallel Computing
    18th International Workshop, LCPC 2005, Hawthor...
    Eduard Ayguadé, Gerald Baumgartner and J. Ramanujam
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Extreme Programming and Agile Processes in Software Engineering : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings - Hubert Baumeister
    Extreme Programming and Agile Processes in Software Engineering
    6th International Conference, XP 2005, Sheffiel...
    Hubert Baumeister, ?Michele Marchesi and ?Mike Holcombe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings - Byron Cook
    Verification, Model Checking, and Abstract Interpretation
    8th International Conference, VMCAI 2007, Nice,...
    Byron Cook and ?Andreas Podelski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers - Tiziana Maragria
    Leveraging Applications of Formal Methods
    First International Symposium, ISoLA 2004, Paph...
    Tiziana Maragria and ?Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings - Zoltán Ésik
    Computer Science Logic
    20th International Workshop, CSL 2006, 15th Ann...
    Zoltán Ésik
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Mathematica GuideBook for Graphics - Michael Trott
    The Mathematica GuideBook for Graphics
    Michael Trott
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings - S. ArunKumar
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science
    26th International Conference, Kolkata, India, ...
    S. ArunKumar and ?Naveen Garg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Frank S. de Boer
    Formal Methods for Components and Objects
    Third International Symposium, FMCO 2004, Leide...
    Frank S. de Boer, ?Marcello M. Bonsangue and ?Susanne Graf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings - N. Kobayashi
    Programming Languages and Systems
    4th Asian Symposium, APLAS 2006, Sydney, Austra...
    N. Kobayashi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verilog: Frequently Asked Questions : Language, Applications and Extensions - Shivakumar S. Chonnad
    Verilog: Frequently Asked Questions
    Language, Applications and Extensions
    Shivakumar S. Chonnad and Needamangalam B. Balachander
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • 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
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings - Zhiming Liu
    Formal Methods and Software Engineering
    8th International Conference on Formal Engineer...
    Zhiming Liu and ?Jifeng He
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Duration Calculus : A Formal Approach to Real-Time Systems - Chaochen Zhou
    Duration Calculus
    A Formal Approach to Real-Time Systems
    Chaochen Zhou and Michael R. Hansen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Algorithm Design for Networked Information Technology Systems - Sumit Ghosh
    Algorithm Design for Networked Information Technology Systems
    Sumit Ghosh
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Parametric Lambda Calculus : A Metamodel for Computation - Simona Ronchi Della Rocca
    The Parametric Lambda Calculus
    A Metamodel for Computation
    Simona Ronchi Della Rocca and Luca Paolini
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coordination Models and Languages : 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings - Rocco De Nicola
    Coordination Models and Languages
    6th International Conference, COORDINATION 2004...
    Rocco De Nicola, ?Gianluigi Ferrari and ?Greg Meredith
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers - JeanPierre Banâtre
    Unconventional Programming Paradigms
    International Workshop UPP 2004, Le Mont Saint ...
    JeanPierre Banâtre, ?Pascal Fradet and ?JeanLouis Giavitto
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers - Olivier Boissier
    Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
    AAMAS 2005 International Workshops on Agents, N...
    Olivier Boissier, ?Julian Padget and ?Virginia Dignum
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automatic Quantum Computer Programming : A Genetic Programming Approach - Lee Spector
    Automatic Quantum Computer Programming
    A Genetic Programming Approach
    Lee Spector
    eText
    Instant Online Reading*
    $209.00
    BUY EBOOK
  • Computer Systems : Theory, Technology, and Applications - Andrew James Herbert
    Computer Systems
    Theory, Technology, and Applications
    Andrew James Herbert and ?Karen I.B. Spaerck Jones
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Semantic Integration of Heterogeneous Software Specifications - Martin Große-Rhode
    Semantic Integration of Heterogeneous Software Specifications
    Martin Große-Rhode
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • CASL User Manual : Introduction to Using the Common Algebraic Specification Language - Michel Bidoit
    CASL User Manual
    Introduction to Using the Common Algebraic Spec...
    Michel Bidoit and Peter D. Mosses
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • UML Modeling Languages and Applications : <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers - Nuno Jardim Nunes
    UML Modeling Languages and Applications
    <> 2004 Satellite Activities Lisbon, Portu...
    Nuno Jardim Nunes, ?Bran Selic and ?Alberto Rodrigues da Silva
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
9232 Results | View 24 / 100
< 1 ... 51 52 53 54 55 ... 93 >
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