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 (9230)
  • Books (8691)
  • Audiobooks (206)
  • eTextbooks (6138)

AVAILABILITY

  • All eBooks (9230)
  • New Releases (293)
  • Coming Soon (44)
  • Subscription eBooks (3395)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (9230)
  • Books
    (8691)
  • Audiobooks
    (206)
  • Audio CDs
    (2)
9230 Results | View 24 / 100
< 1 ... 46 47 48 49 50 ... 93 >
Sort By
Sort By:
  • Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
    Hardware and Software: Verification and Testing
    9th International Haifa Verification Conference...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
    Certified Programs and Proofs
    Third International Conference, CPP 2013, Melbo...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advanced Parallel Processing Technologies : 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers
    Advanced Parallel Processing Technologies
    10th International Symposium, APPT 2013, Stockh...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
    OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools
    First Workshop, OpenSHMEM 2014, Annapolis, MD, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    Programming Languages and Systems
    23rd European Symposium on Programming, ESOP 20...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings - Author
    NASA Formal Methods
    6th International Symposium, NFM 2014, Houston,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    Formal Methods for Executable Software Models
    14th International School on Formal Methods for...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hot Pre-Orders
  • Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings - Author
    Software Engineering and Formal Methods
    12th International Conference, SEFM 2014, Greno...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
    Programming Languages and Systems
    12th Asian Symposium, APLAS 2014, Singapore, Si...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering for Collective Autonomic Systems : The ASCENS Approach - Author
    Software Engineering for Collective Autonomic Systems
    The ASCENS Approach
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    NASA Formal Methods
    7th International Symposium, NFM 2015, Pasadena...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Author
    Foundations of Software Science and Computation Structures
    18th International Conference, FOSSACS 2015, He...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    16th International Conference, VMCAI 2015, Mumb...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logical Foundations of Computer Science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
    Logical Foundations of Computer Science
    International Symposium, LFCS 2013, San Diego, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
    Formal Aspects of Component Software
    9th International Symposium, FACS 2012, Mountai...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Generative and Transformational Techniques in Software Engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers
    Generative and Transformational Techniques in Software Engineering IV
    International Summer School, GTTSE 2011, Braga,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Author
    Tools and Algorithms for the Construction and Analysis of Systems
    19th International Conference, TACAS 2013, Held...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers
    System Analysis and Modeling: Theory and Practice
    7th International Workshop, SAM 2012, Innsbruck...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 25th International Workshops, LCPC 2012, Tokyo, Japan, September 11-13,2012, Revised Selected Papers
    Languages and Compilers for Parallel Computing
    25th International Workshops, LCPC 2012, Tokyo,...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
    Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky
    Essays Dedicted to Samson Abramsky on the Occas...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
    Web Services and Formal Methods
    9th International Workshop, WS-FM 2012, Tallinn...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings - Author
    Tests and Proofs
    7th International Conference, TAP 2013, Budapes...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Transactions on Pattern Languages of Programming III
    Transactions on Pattern Languages of Programming III
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Static Analysis : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
    Static Analysis
    20th International Symposium, SAS 2013, Seattle...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Safe and Secure Software Reuse : 13th International Conference on Software Reuse, ICSR 2013,Pisa, Italy, June 18-20, 2013, Proceedings - Author
    Safe and Secure Software Reuse
    13th International Conference on Software Reuse...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Model Transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013, Proceedings - Author
    Theory and Practice of Model Transformations
    6th International Conference, ICMT 2013, Budape...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • SDL 2013: Model Driven Dependability Engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
    SDL 2013: Model Driven Dependability Engineering
    16th International SDL Forum, Montreal, Canada,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    Model Checking Software
    20th International Symposium, SPIN 2013, Stony ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
    ECOOP 2013 -- Object-Oriented Programming
    27th European Conference, Montpellier, France, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
    Modelling Foundations and Applications
    9th European Conference, ECMFA 2013, Montpellie...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Software Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings - Author
    Software Architecture
    7th European Conference, ECSA 2013, Montpellier...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
    Structured Object-Oriented Formal Language and Method
    Second International Workshop, SOFL 2012, Kyoto...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Search Based Software Engineering : 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings - Author
    Search Based Software Engineering
    5th International Symposium, SSBSE 2013, St. Pe...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2013: Parallel Processing : 19th International Conference, Aachen, Germany, August 26-30, 2013, Proceedings
    Euro-Par 2013: Parallel Processing
    19th International Conference, Aachen, Germany,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programing-CP 2013 : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings
    Principles and Practice of Constraint Programing-CP 2013
    19th International Conference, CP 2013, Uppsala...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reachability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings - Author
    Reachability Problems
    7th International Workshop, RP 2013, Uppsala, S...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
    Formal Methods and Software Engineering
    15th International Conference on Formal Enginee...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • In Search of Elegance in the Theory and Practice of Computation : Essays dedicated to Peter Buneman
    In Search of Elegance in the Theory and Practice of Computation
    Essays dedicated to Peter Buneman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Driven Engineering Languages and Systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings
    Model-Driven Engineering Languages and Systems
    16th International Conference, MODELS 2013, Mia...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings - Author
    Programming Languages and Systems
    11th International Symposium, APLAS 2013, Melbo...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Ada 2012 Rationale : The Language -- The Standard Libraries - John Barnes
    Ada 2012 Rationale
    The Language -- The Standard Libraries
    John Barnes
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Trends in Functional Programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers - Author
    Trends in Functional Programming
    14th International Symposium, TFP 2013, Provo, ...
    Author
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 19-20, 2014, Proceedings
    Practical Aspects of Declarative Languages
    16th International Symposium, PADL 2014, San Di...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software: Theorie, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
    Verified Software: Theorie, Tools, Experiments
    5th International Conference, VSTTE 2013, Menlo...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
    Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance
    17th International GI/ITG Conference, MMB & DFT...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
    From Programs to Systems - The Systems Perspective in Computing
    ETAPS Workshop, FPS 2014, in Honor of Joseph Si...
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Compiler Construction : 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings - Author
    Compiler Construction
    23rd International Conference, CC 2014, Held as...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Functional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
    Functional and Logic Programming
    12th International Symposium, FLOPS 2014, Kanaz...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2014: Parallel Processing : 20th International Conference, Porto, Portugal, August 25-29, 2014, Proceedings
    Euro-Par 2014: Parallel Processing
    20th International Conference, Porto, Portugal,...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concurrent Objects and Beyond : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
    Concurrent Objects and Beyond
    Papers dedicated to Akinori Yonezawa on the Occ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings - Author
    Software Architecture
    8th European Conference, ECSA 2014, Vienna, Aus...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
    Theoretical Aspects of Computing - ICTAC 2014
    11th International Colloquium, Bucharest, Roman...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Driven Engineering Languages and Systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings
    Model-Driven Engineering Languages and Systems
    17th International Conference, MODELS 2014, Val...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    Formal Methods and Software Engineering
    16th International Conference on Formal Enginee...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
    Automated Technology for Verification and Analysis
    12th International Symposium, ATVA 2014, Sydney...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II - Author
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
    6th International Symposium, ISoLA 2014, Imperi...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Author
    Hardware and Software: Verification and Testing
    10th International Haifa Verification Conferenc...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Reuse for Dynamic Systems in the Cloud and Beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings - Author
    Software Reuse for Dynamic Systems in the Cloud and Beyond
    14th International Conference on Software Reuse...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Trends in Functional Programming : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
    Trends in Functional Programming
    15th International Symposium, TFP 2014, Soester...
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Software, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering - Author
    Software, Services, and Systems
    Essays Dedicated to Martin Wirsing on the Occas...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
    Unifying Theories of Programming
    5th International Symposium, UTP 2014, Singapor...
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings - Author
    Formal Methods: Foundations and Applications
    17th Brazilian Symposium, SBMF 2014, Maceio, AL...
    Author
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Author
    Tools and Algorithms for the Construction and Analysis of Systems
    21st International Conference, TACAS 2015, Held...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coordination Models and Languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
    Coordination Models and Languages
    17th IFIP WG 6.1 International Conference, COOR...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamentals of Software Engineering : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
    Fundamentals of Software Engineering
    6th International Conference, FSEN 2015, Tehran...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Deductive Software Verification - The KeY Book : From Theory to Practice
    Deductive Software Verification - The KeY Book
    From Theory to Practice
    eText
    Instant Online Reading*
    $189.00
    BUY EBOOK
  • Advances in Data Mining. Applications and Theoretical Aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings
    Advances in Data Mining. Applications and Theoretical Aspects
    17th Industrial Conference, ICDM 2017, New York...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
    Verification, Model Checking, and Abstract Interpretation
    19th International Conference, VMCAI 2018, Los ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ICT in Education, Research, and Industrial Applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers - Author
    ICT in Education, Research, and Industrial Applications
    8th International Conference, ICTERI 2012, Kher...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Evaluation of Novel Approaches to Software Engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
    Evaluation of Novel Approaches to Software Engineering
    6th International Conference, ENASE 2011, Beiji...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software and Data Technologies : 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers - Author
    Software and Data Technologies
    5th International Conference, ICSOFT 2010, Athe...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software and Data Technologies : 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012, Revised Selected Papers
    Software and Data Technologies
    7th International Conference, ICSOFT 2012, Rome...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Evaluation of Novel Approaches to Software Engineering : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers - Author
    Evaluation of Novel Approaches to Software Engineering
    8th International Conference, ENASE 2013, Anger...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Evaluation of Novel Approaches to Software Engineering : 7th International Conference, ENASE 2012, Wroclaw, Poland, June 29-30, 2012, Revised Selected Papers
    Evaluation of Novel Approaches to Software Engineering
    7th International Conference, ENASE 2012, Wrocl...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Concrete Semantics : With Isabelle/HOL - Tobias Nipkow
    Concrete Semantics
    With Isabelle/HOL
    Tobias Nipkow and Gerwin Klein
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • A Study Guide to the ISTQB® Foundation Level 2018 Syllabus : Test Techniques and Sample Mock Exams - Adam Roman
    A Study Guide to the ISTQB® Foundation Level 2018 Syllabus
    Test Techniques and Sample Mock Exams
    Adam Roman
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Handbook of Formal Languages : Volume 2. Linear Modeling: Background and Application - Author
    Handbook of Formal Languages
    Volume 2. Linear Modeling: Background and Appli...
    Author
    eText
    Instant Online Reading*
    $369.01
    BUY EBOOK
  • Handbook of Formal Languages : Volume 1 Word, Language, Grammar - Author
    Handbook of Formal Languages
    Volume 1 Word, Language, Grammar
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automatic SIMD Vectorization of SSA-based Control Flow Graphs - Ralf Karrenberg
    Automatic SIMD Vectorization of SSA-based Control Flow Graphs
    Ralf Karrenberg
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Using Microsoft Dynamics AX : The New Dynamics 'AX 7' - Andreas Luszczak
    Using Microsoft Dynamics AX
    The New Dynamics 'AX 7'
    Andreas Luszczak
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday
    Principled Software Development
    Essays Dedicated to Arnd Poetzsch-Heffter on th...
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Data Structures and Algorithms with Scala : A Practitioner's Approach with Emphasis on Functional Programming - Bhim P. Upadhyaya
    Data Structures and Algorithms with Scala
    A Practitioner's Approach with Emphasis on Func...
    Bhim P. Upadhyaya
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Computer Music Instruments II : Realtime and Object-Oriented Audio - Victor Lazzarini
    Computer Music Instruments II
    Realtime and Object-Oriented Audio
    Victor Lazzarini
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Computer Programming with C++ - Kunal Pimparkhede
    Computer Programming with C++
    Kunal Pimparkhede
    eText
    Instant Online Reading*
    $123.95
    BUY EBOOK
  • Basic Computation and Programming with C - Subrata Saha
    Basic Computation and Programming with C
    Subrata Saha and Subhodip Mukherjee
    eText
    Instant Online Reading*
    $120.00
    BUY EBOOK
  • Central European Functional Programming School : 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers - Author
    Central European Functional Programming School
    4th Summer School, CEFP 2011, Budapest, Hungary...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematica® : A Problem-Centered Approach - Roozbeh Hazrat
    Mathematica®
    A Problem-Centered Approach
    Roozbeh Hazrat
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Advanced Lectures on Software Engineering : LASER Summer School 2007/2008
    Advanced Lectures on Software Engineering
    LASER Summer School 2007/2008
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Generic and Indexed Programming
    Generic and Indexed Programming
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
    Empirical Software Engineering and Verification
    International Summer Schools, LASER 2008-2010, ...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009, Revised Selected Lectures
    Central European Functional Programming School
    Third Summer School, CEFP 2009, Budapest, Hunga...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    Testing Techniques in Software Engineering
    Second Pernambuco Summer School on Software Eng...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures
    Foundations of Security Analysis and Design VI
    FOSAD Tutorial Lectures
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
    Formal Methods for Eternal Networked Software Systems
    11th International School on Formal Methods for...
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures - Author
    Formal Methods for Model-Driven Engineering
    12th International School on Formal Methods for...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Generative and Transformational Techniques in Software Engineering III : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers - Author
    Generative and Transformational Techniques in Software Engineering III
    International Summer School, GTTSE 2009, Braga,...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools for Practical Software Verification : International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
    Tools for Practical Software Verification
    International Summer School, LASER 2011, Elba I...
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Logic of Categorial Grammars : A deductive account of natural language syntax and semantics - Richard Moot
    The Logic of Categorial Grammars
    A deductive account of natural language syntax ...
    Richard Moot and Christian Retore
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures - Author
    Stochastic Model Checking
    International Autumn School, ROCKS 2012, Vahrn,...
    Author
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
9230 Results | View 24 / 100
< 1 ... 46 47 48 49 50 ... 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