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 $0

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 (9234)
  • Books (8563)
  • Audiobooks (217)
  • eTextbooks (6275)

AVAILABILITY

  • All eBooks (9234)
  • New Releases (276)
  • Coming Soon (40)
  • Subscription eBooks (3260)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (9234)
  • Books
     (8563)
  • Audiobooks
     (217)
9234 Results | View 24 / 100
< 1 ... 58 59 60 61 62 ... 93 >
Sort By
Sort By:
  • 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
  • Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday - Gregor Engels
    Graph Transformations and Model-Driven Engineering
    Essays Dedicated to Manfred Nagl on the Occasio...
    Gregor Engels, ?Claus Lewerentz and ?Wilhelm Schäfer
    eText
    Instant Online Reading*
    $179.00
    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
  • Hot Pre-Orders
  • 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
  • Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings - Michael Butler
    Formal Methods and Software Engineering
    9th International Conference on Formal Engineer...
    Michael Butler, ?Michael G. Hinchey and ?Maria M. LarrondoPetrie
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing of Software and Communicating Systems : 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings - Alexandre Petrenko
    Testing of Software and Communicating Systems
    19th IFIP TC 6/WG 6.1 International Conference,...
    Alexandre Petrenko, Wolfgang Grieskamp and Margus Veanes
    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
  • Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings - Z. Shao
    Programming Languages and Systems
    5th Asian Symposium, APLAS 2007, Singapore, Nov...
    Z. Shao
    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
  • Reliable Systems on Unreliable Networked Platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers - Fabrice Kordon
    Reliable Systems on Unreliable Networked Platforms
    12th Monterey Workshop 2005, Laguna Beach, CA, ...
    Fabrice Kordon and ?Janos Sztipanovits
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Middleware 2007 : ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings - Renato Cerqueira
    Middleware 2007
    ACM/IFIP/USENIX 8th International Middleware Co...
    Renato Cerqueira and ?Roy H. Campbell
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings - J. Duparc
    Computer Science Logic
    21 International Workshop, CSL 2007, 16th Annua...
    J. Duparc and T. A. Henzinger
    eText
    Instant Online Reading*
    $159.01
    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
  • Middleware 2008 : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings - Valerie Issarny
    Middleware 2008
    ACM/IFIP/USENIX 9th International Middleware Co...
    Valerie Issarny and Richard E Schantz
    eText
    Instant Online Reading*
    $84.99
    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
  • Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedings - Roberto Amadio
    Foundations of Software Science and Computational Structures
    11th International Conference, FOSSACS 2008, He...
    Roberto Amadio
    eText
    Instant Online Reading*
    $159.01
    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
  • Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers - Ugo Montanari
    Trustworthy Global Computing
    Second Symposium, TGC 2006, Lucca, Italy, Novem...
    Ugo Montanari, ?Donald Sannella and ?Roberto Bruni
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science : 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings - V. Arvind
    FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
    27th International Conference, New Delhi, India...
    V. Arvind and ?Sanjiva Prasad
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Jim Davies
    Integrated Formal Methods
    6th International Conference, IFM 2007, Oxford,...
    Jim Davies and Jeremy Gibbons
    eText
    Instant Online Reading*
    $159.01
    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
  • Compiler Construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings - Shriram Krishnamurthi
    Compiler Construction
    16th International Conference, CC 2007, Held as...
    Shriram Krishnamurthi and ?Martin Odersky
    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
  • Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers - Fabrice Kordon
    Composition of Embedded Systems. Scientific and Industrial Issues
    13th Monterey Workshop 2006 Paris, France, Octo...
    Fabrice Kordon and ?Oleg Sokolsky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings - Rocco De Nicola
    Programming Languages and Systems
    16th European Symposium on Programming, ESOP 20...
    Rocco De Nicola
    eText
    Instant Online Reading*
    $159.01
    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
  • Practical Aspects of Declarative Languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings - Michael Hanus
    Practical Aspects of Declarative Languages
    9th International Symposium, PADL 2007, Nice, F...
    Michael Hanus
    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
  • Practical Aspects of Declarative Languages : 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings - D. S. Warren
    Practical Aspects of Declarative Languages
    10th International Symposium, PADL 2008, San Fr...
    D. S. Warren and P. Hudak
    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
  • Recent Advances in Parallel Virtual Machine and Message Passing Interface : 14th European PVM/MPI User's Group Meeting, Paris France, September 30 - October 3, 2007, Proceedings - Franck Capello
    Recent Advances in Parallel Virtual Machine and Message Passing Interface
    14th European PVM/MPI User's Group Meeting, Par...
    Franck Capello, ?Thomas Herault and ?Jack Dongarra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Time for Verification : Essays in Memory of Amir Pnueli - Z. Manna
    Time for Verification
    Essays in Memory of Amir Pnueli
    Z. Manna and D. A. Peled
    eText
    Instant Online Reading*
    $139.00
    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
  • Systems, Software and Services Process Improvement : 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011, Proceedings - Rory V. Connor
    Systems, Software and Services Process Improvement
    18th European Conference, EuroSPI 2011, Roskild...
    Rory V. Connor, ?Jan PriesHeje and ?Richard Messnarz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Aspect-Oriented Software Development III : Focus: Early Aspects - Awais Rashid
    Transactions on Aspect-Oriented Software Development III
    Focus: Early Aspects
    Awais Rashid and ?Mehmet Aksit
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • CONCUR 2011 -- Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings - JoostPieter Katoen
    CONCUR 2011 -- Concurrency Theory
    22nd International Conference, CONCUR 2011, Aac...
    JoostPieter Katoen and ?Barbara König
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings - Vicenç Torra
    Modeling Decisions for Artificial Intelligence
    5th International Conference, MDAI 2008, Sabade...
    Vicenç Torra and Yasuo Narukawa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings - G. Ramalingam
    Programming Languages and Systems
    6th Asian Symposium, APLAS 2008, Bangalore, Ind...
    G. Ramalingam
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings - Ait Mohamed Otmane
    Theorem Proving in Higher Order Logics
    21st International Conference, TPHOLs 2008, Mon...
    Ait Mohamed Otmane, Sofiene Tahar and César Muñoz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rigorous Software Engineering for Service-Oriented Systems : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing - Martin Wirsing
    Rigorous Software Engineering for Service-Oriented Systems
    Results of the SENSORIA Project on Software Eng...
    Martin Wirsing and ?Matthias Hölzl
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings - Fabrice Kordon
    Reliable Software Technologies - Ada-Europe 2008
    13th Ada-Europe International Conference on Rel...
    Fabrice Kordon and ?Tullio Vardanega
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Pattern Languages of Programming II : Special lssue on Applying Patterns - Paris Avgeriou
    Transactions on Pattern Languages of Programming II
    Special lssue on Applying Patterns
    Paris Avgeriou, ?Neil B. Harrison and ?Uwe Zdun
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computational Structures : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings - Luca de Alfaro
    Foundations of Software Science and Computational Structures
    12th International Conference, FOSSACS 2009, He...
    Luca de Alfaro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers - Olaf Chitil
    Implementation and Application of Functional Languages
    19th International Workshop, IFL 2007, Freiburg...
    Olaf Chitil, Viktoria Zsók and Zoltan Horvath
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • ECOOP 2008 - Object-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008, Proceedings - Jan Vitek
    ECOOP 2008 - Object-Oriented Programming
    22nd European Conference Paphos, Cyprus, July 7...
    Jan Vitek
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers - Bernhard Beckert
    Formal Verification of Object-Oriented Software
    International Conference, FoVeOOS 2010, Paris, ...
    Bernhard Beckert and ?Claude Marché
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
  • 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
9234 Results | View 24 / 100
< 1 ... 58 59 60 61 62 ... 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