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

AVAILABILITY

  • All eBooks (9231)
  • New Releases (294)
  • Coming Soon (44)
  • Subscription eBooks (3385)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (9231)
  • Books
     (8695)
  • Audiobooks
     (206)
  • Audio CDs
     (2)
9231 Results | View 24 / 100
< 1 ... 78 79 80 81 82 ... 93 >
Sort By
Sort By:
  • Learn Kotlin for Android Development : The Next Generation Language for Modern Android Apps Programming - Peter Späth
    Learn Kotlin for Android Development
    The Next Generation Language for Modern Android...
    Peter Späth
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • C++17 Standard Library Quick Reference : A Pocket Guide to Data Structures, Algorithms, and Functions - Peter Van Weert
    C++17 Standard Library Quick Reference
    A Pocket Guide to Data Structures, Algorithms, ...
    Peter Van Weert and Marc Gregoire
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Game Development with Ren'Py : Introduction to Visual Novel Games Using Ren'Py, TyranoBuilder, and Twine - Robert Ciesla
    Game Development with Ren'Py
    Introduction to Visual Novel Games Using Ren'Py...
    Robert Ciesla
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Oracle ADF Survival Guide : Mastering the Application Development Framework - Sten Vesterli
    Oracle ADF Survival Guide
    Mastering the Application Development Framework
    Sten Vesterli
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Let's Build a Multiplayer Phaser Game : With TypeScript, Socket.IO, and Phaser - Oscar Lodriguez
    Let's Build a Multiplayer Phaser Game
    With TypeScript, Socket.IO, and Phaser
    Oscar Lodriguez
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Pro Machine Learning Algorithms : A Hands-On Approach to Implementing Algorithms in Python and R - V Kishore Ayyadevara
    Pro Machine Learning Algorithms
    A Hands-On Approach to Implementing Algorithms ...
    V Kishore Ayyadevara
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Pro JavaFX 9 : A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients - Johan Vos
    Pro JavaFX 9
    A Definitive Guide to Building Desktop, Mobile,...
    Johan Vos, Stephen Chin, Weiqi Gao, James Weaver and Dean Iverson
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Hot Pre-Orders
  • Pro Spring 5 : An In-Depth Guide to the Spring Framework and Its Tools - Iuliana Cosmina
    Pro Spring 5
    An In-Depth Guide to the Spring Framework and I...
    Iuliana Cosmina, Rob Harrop, Chris Schaefer and Clarence Ho
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Hands-on JavaScript for Python Developers : Leverage your Python knowledge to quickly learn JavaScript and advance your web development career - Sonyl Nagale
    Hands-on JavaScript for Python Developers
    Leverage your Python knowledge to quickly learn...
    Sonyl Nagale
    eText
    Instant Online Reading*
    $37.39
    My Library BUY EBOOK
  • BANTAM User Guide : Biometric and Token Technology Application Modeling Language - Julian Ashbourn
    BANTAM User Guide
    Biometric and Token Technology Application Mode...
    Julian Ashbourn
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multi-Paradigm Programming using C++ - Dirk Vermeir
    Multi-Paradigm Programming using C++
    Dirk Vermeir
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Essential Visual J++ 6.0 fast : How to develop Java applications and applets with Visual J++ - John Cowell
    Essential Visual J++ 6.0 fast
    How to develop Java applications and applets wi...
    John Cowell
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Beginning C for Arduino : Learn C Programming for the Arduino - Jack Purdum
    Beginning C for Arduino
    Learn C Programming for the Arduino
    Jack Purdum
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Web Development with Go : Building Scalable Web Apps and RESTful Services - Shiju Varghese
    Web Development with Go
    Building Scalable Web Apps and RESTful Services
    Shiju Varghese
    eText
    Instant Online Reading*
    $59.99
    BUY EBOOK
  • Introducing Gradle : Professional and Applied Computing (R0) - Balaji Varanasi
    Introducing Gradle
    Professional and Applied Computing (R0)
    Balaji Varanasi
    eText
    Instant Online Reading*
    $50.00
    BUY EBOOK
  • Formal Languages and Compilation : Computer Science (R0) - Stefano Crespi Reghizzi
    Formal Languages and Compilation
    Computer Science (R0)
    Stefano Crespi Reghizzi, Luca Breveglieri and Angelo Morzenti
    eText
    Instant Online Reading*
    $149.01
    BUY EBOOK
  • Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings - Author
    Computer Safety, Reliability, and Security
    SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings - Josef Küng
    Future Data and Security Engineering
    4th International Conference, FDSE 2017, Ho Chi...
    Josef Küng, Roland Wagner, Erich J. Neuhold, Makoto Takizawa and Nam Thoai
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings - Christoph Benzmüller
    Rules and Reasoning
    Second International Joint Conference, RuleML+R...
    Christoph Benzmüller, Francesco Ricca, Xavier Parent and Dumitru Roman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings - Author
    NASA Formal Methods
    10th International Symposium, NFM 2018, Newport...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings - Shuvendu K. Lahiri
    Automated Technology for Verification and Analysis
    16th International Symposium, ATVA 2018, Los An...
    Shuvendu K. Lahiri and Chao Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers - Author
    Software Technologies: Applications and Foundations
    STAF 2018 Collocated Workshops, Toulouse, Franc...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday - Tiziana Margaria
    Models, Mindsets, Meta: The What, the How, and the Why Not?
    Essays Dedicated to Bernhard Steffen on the Occ...
    Tiziana Margaria, Susanne Graf and Kim G. Larsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings - Author
    Practical Aspects of Declarative Languages
    21th International Symposium, PADL 2019, Lisbon...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Accelerator Programming Using Directives : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings - Sunita Chandrasekaran
    Accelerator Programming Using Directives
    4th International Workshop, WACCPD 2017, Held i...
    Sunita Chandrasekaran and Guido Juckeland
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • High Performance Computing : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers - Author
    High Performance Computing
    ISC High Performance 2018 International Worksho...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings - Ahmed Bouajjani
    Verification, Model Checking, and Abstract Interpretation
    18th International Conference, VMCAI 2017, Pari...
    Ahmed Bouajjani and David Monniaux
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings - Atsushi Igarashi
    Programming Languages and Systems
    14th Asian Symposium, APLAS 2016, Hanoi, Vietna...
    Atsushi Igarashi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Search-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings - Shiva Nejati
    Search-Based Software Engineering
    11th International Symposium, SSBSE 2019, Talli...
    Shiva Nejati and Gregory Gay
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Functional and Logic Programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings - John P. Gallagher
    Functional and Logic Programming
    14th International Symposium, FLOPS 2018, Nagoy...
    John P. Gallagher and Martin Sulzmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings - Julia M. Badger
    NASA Formal Methods
    11th International Symposium, NFM 2019, Houston...
    Julia M. Badger and Kristin Yvonne Rozier
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers - Author
    OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
    Third Workshop, OpenSHMEM 2016, Baltimore, MD, ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers - Fabio Fioravanti
    Logic-Based Program Synthesis and Transformation
    27th International Symposium, LOPSTR 2017, Namu...
    Fabio Fioravanti and John P. Gallagher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Requirements Engineering: Foundation for Software Quality : 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings - Erik Kamsties
    Requirements Engineering: Foundation for Software Quality
    24th International Working Conference, REFSQ 20...
    Erik Kamsties, Jennifer Horkoff and Fabiano Dalpiaz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation, Specifications, and Nets : In Memory of Hartmut Ehrig - Reiko Heckel
    Graph Transformation, Specifications, and Nets
    In Memory of Hartmut Ehrig
    Reiko Heckel and Gabriele Taentzer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Search Based Software Engineering : 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings - Tim Menzies
    Search Based Software Engineering
    9th International Symposium, SSBSE 2017, Paderb...
    Tim Menzies and Justyna Petke
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings - Erwin Schoitsch
    Computer Safety, Reliability, and Security
    36th International Conference, SAFECOMP 2017, T...
    Erwin Schoitsch, Stefano Tonetta and Friedemann Bitsch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods - The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings - Maurice H. ter Beek
    Formal Methods - The Next 30 Years
    Third World Congress, FM 2019, Porto, Portugal,...
    Maurice H. ter Beek, Annabelle McIver and José N. Oliveira
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings - Author
    Formal Methods
    22nd International Symposium, FM 2018, Held as ...
    Author
    eText
    Instant Online Reading*
    $139.00
    BUY EBOOK
  • Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings - Didier Galmiche
    Automated Reasoning
    9th International Joint Conference, IJCAR 2018,...
    Didier Galmiche, Stephan Schulz and Roberto Sebastiani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coordination Models and Languages : 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings - Emilio Tuosto
    Coordination Models and Languages
    21st IFIP WG 6.1 International Conference, COOR...
    Emilio Tuosto and Hanne Riis Nielson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings - Rogério de Lemos
    Software Architecture
    11th European Conference, ECSA 2017, Canterbury...
    Rogério de Lemos and Antónia Lopes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers - Author
    Perspectives of System Informatics
    11th International Andrei P. Ershov Informatics...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Graph Transformation : 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings - Author
    Graph Transformation
    12th International Conference, ICGT 2019, Held ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings - Jorge A. Pérez
    Formal Techniques for Distributed Objects, Components, and Systems
    39th IFIP WG 6.1 International Conference, FORT...
    Jorge A. Pérez and Nobuko Yoshida
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings - Mauricio Ayala-Rincón
    Interactive Theorem Proving
    8th International Conference, ITP 2017, Brasili...
    Mauricio Ayala-Rincón and César A. Muñoz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings - Louis-Martin Rousseau
    Integration of Constraint Programming, Artificial Intelligence, and Operations Research
    16th International Conference, CPAIOR 2019, The...
    Louis-Martin Rousseau and Kostas Stergiou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings - Thierry Lecomte
    Formal Methods: Foundations and Applications
    19th Brazilian Symposium, SBMF 2016, Natal, Bra...
    Thierry Lecomte and Leila Ribeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings - Author
    Runtime Verification
    17th International Conference, RV 2017, Seattle...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings - Nicola Olivetti
    Automated Reasoning
    8th International Joint Conference, IJCAR 2016,...
    Nicola Olivetti and Ashish Tiwari
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings - Author
    Dependable Software Engineering. Theories, Tools, and Applications
    4th International Symposium, SETTA 2018, Beijin...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers - Lehel Csató
    Central European Functional Programming School
    5th Summer School, CEFP 2013, Cluj-Napoca, Roma...
    Lehel Csató, Viktória Zsók and Zoltán Horváth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Sandrine Blazy
    Verified Software. Theories, Tools, and Experiments
    8th International Conference, VSTTE 2016, Toron...
    Sandrine Blazy and Marsha Chechik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings - Mohammad Reza Mousavi
    Topics in Theoretical Computer Science
    Second IFIP WG 1.8 International Conference, TT...
    Mohammad Reza Mousavi and Ji?í Sgall
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Languages and Compilers for Parallel Computing : 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers - Chen Ding
    Languages and Compilers for Parallel Computing
    29th International Workshop, LCPC 2016, Rochest...
    Chen Ding, John Criswell and Peng Wu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings - Simon Devitt
    Reversible Computation
    8th International Conference, RC 2016, Bologna,...
    Simon Devitt and Ivan Lanese
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings - Bernd Finkbeiner
    Runtime Verification
    19th International Conference, RV 2019, Porto, ...
    Bernd Finkbeiner and Leonardo Mariani
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings - Peter Csaba Ölveczky
    Software Engineering and Formal Methods
    17th International Conference, SEFM 2019, Oslo,...
    Peter Csaba Ölveczky and Gwen Salaün
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Inductive Logic Programming : 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings - Author
    Inductive Logic Programming
    28th International Conference, ILP 2018, Ferrar...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings - Andreas Podelski
    Static Analysis
    25th International Symposium, SAS 2018, Freibur...
    Andreas Podelski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers - Joaquim Filipe
    Agents and Artificial Intelligence
    8th International Conference, ICAART 2016, Rome...
    Joaquim Filipe and Jaap van den Herik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers - Zhiming Liu
    Formal Aspects of Component Software
    10th International Symposium, FACS 2013, Nancha...
    Zhiming Liu, Jinyun Xue and José Luiz Fiadeiro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings - Cláudia Nalon
    Automated Reasoning with Analytic Tableaux and Related Methods
    26th International Conference, TABLEAUX 2017, B...
    Cláudia Nalon and Renate A. Schmidt
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers - Slimane Hammoudi
    Model-Driven Engineering and Software Development
    4th International Conference, MODELSWARD 2016, ...
    Slimane Hammoudi, Luís Ferreira Pires, Bran Selic and Philippe Desfray
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Supercomputing : 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018, Revised Selected Papers - Vladimir Voevodin
    Supercomputing
    4th Russian Supercomputing Days, RuSCDays 2018,...
    Vladimir Voevodin and Sergey Sobolev
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers - Cyrille Artho
    Formal Techniques for Safety-Critical Systems
    5th International Workshop, FTSCS 2016, Tokyo, ...
    Cyrille Artho and Peter Csaba Ölveczky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automatic Tuning of Compilers Using Machine Learning : SpringerBriefs in Applied Sciences and Technology - Amir H. Ashouri
    Automatic Tuning of Compilers Using Machine Learning
    SpringerBriefs in Applied Sciences and Technology
    Amir H. Ashouri, Gianluca Palermo, John Cavazos and Cristina Silvano
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Building Secure Defenses Against Code-Reuse Attacks : Computer Science (R0) - Lucas Davi
    Building Secure Defenses Against Code-Reuse Attacks
    Computer Science (R0)
    Lucas Davi and Ahmad-Reza Sadeghi
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • JRuby Rails Web Application Development : Computer Science (R0) - Deepak Vohra
    JRuby Rails Web Application Development
    Computer Science (R0)
    Deepak Vohra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Compiler Technology : Tools, Translators and Language Implementation - Derek Beng Kee Kiong
    Compiler Technology
    Tools, Translators and Language Implementation
    Derek Beng Kee Kiong
    eBook
    Instant Digital Delivery
    RRP $239.00
    $215.99
    BUY EBOOK
  • Testing Software and Systems : 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018, Proceedings - Inmaculada Medina-Bulo
    Testing Software and Systems
    30th IFIP WG 6.1 International Conference, ICTS...
    Inmaculada Medina-Bulo, Mercedes G. Merayo and Robert Hierons
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings - Author
    Testing Software and Systems
    27th IFIP WG 6.1 International Conference, ICTS...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings - Florian Rabe
    Intelligent Computer Mathematics
    11th International Conference, CICM 2018, Hagen...
    Florian Rabe, William M. Farmer, Grant O. Passmore and Abdou Youssef
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods for Industrial Critical Systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings - Author
    Formal Methods for Industrial Critical Systems
    23rd International Conference, FMICS 2018, Mayn...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scaling OpenMP for Exascale Performance and Portability : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings - Bronis R. de Supinski
    Scaling OpenMP for Exascale Performance and Portability
    13th International Workshop on OpenMP, IWOMP 20...
    Bronis R. de Supinski, Stephen L. Olivier, Christian Terboven, Barbara M. Chapman and Matthias S. Müller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model and Data Engineering : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings - Author
    Model and Data Engineering
    8th International Conference, MEDI 2018, Marrak...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Globalizing Domain-Specific Languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers - Betty H.C. Cheng
    Globalizing Domain-Specific Languages
    International Dagstuhl Seminar, Dagstuhl Castle...
    Betty H.C. Cheng, Robert B. France, Bernhard Rumpe, Jean-Marc Jézéquel and Benoit Combemale
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Verification and Evaluation of Computer and Communication Systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings - Author
    Verification and Evaluation of Computer and Communication Systems
    11th International Conference, VECoS 2017, Mont...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers - Ivan Lanese
    Formal Aspects of Component Software
    11th International Symposium, FACS 2014, Bertin...
    Ivan Lanese and Eric Madelaine
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2018: Parallel Processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings - Marco Aldinucci
    Euro-Par 2018: Parallel Processing
    24th International Conference on Parallel and D...
    Marco Aldinucci, Luca Padovani and Massimo Torquati
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A Pipelined Multi-core MIPS Machine : Hardware Implementation and Correctness Proof - Mikhail Kovalev
    A Pipelined Multi-core MIPS Machine
    Hardware Implementation and Correctness Proof
    Mikhail Kovalev, Silvia M. Müller and Wolfgang J. Paul
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday - Author
    Models, Languages, and Tools for Concurrent and Distributed Programming
    Essays Dedicated to Rocco De Nicola on the Occa...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Clark Barrett
    NASA Formal Methods
    9th International Symposium, NFM 2017, Moffett ...
    Clark Barrett, Misty Davies and Temesghen Kahsai
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies : Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers - Pavel Shamis
    OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies
    Second Workshop, OpenSHMEM 2015, Annapolis, MD,...
    Pavel Shamis, Manjunath Gorentla Venkata, Neena Imam and M. Graham Lopez
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Coordination Models and Languages : 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings - Jean-Marie Jacquet
    Coordination Models and Languages
    19th IFIP WG 6.1 International Conference, COOR...
    Jean-Marie Jacquet and Mieke Massink
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings - Michael Butler
    Formal Methods and Software Engineering
    17th International Conference on Formal Enginee...
    Michael Butler, Sylvain Conchon and Fatiha Zaïdi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Practical Aspects of Declarative Languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings - Author
    Practical Aspects of Declarative Languages
    18th International Symposium, PADL 2016, St. Pe...
    Author
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Rewriting Logic and Its Applications : 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings - Vlad Rusu
    Rewriting Logic and Its Applications
    12th International Workshop, WRLA 2018, Held as...
    Vlad Rusu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Provenance and Annotation of Data and Processes : 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings - Khalid Belhajjame
    Provenance and Annotation of Data and Processes
    7th International Provenance and Annotation Wor...
    Khalid Belhajjame, Ashish Gehani and Pinar Alper
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming with Actors : State-of-the-Art and Research Perspectives - Alessandro Ricci
    Programming with Actors
    State-of-the-Art and Research Perspectives
    Alessandro Ricci and Philipp Haller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Scalable Uncertainty Management : 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings - Davide Ciucci
    Scalable Uncertainty Management
    12th International Conference, SUM 2018, Milan,...
    Davide Ciucci, Gabriella Pasi and Barbara Vantaggi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Hardware and Software: Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - Nir Piterman
    Hardware and Software: Verification and Testing
    11th International Haifa Verification Conferenc...
    Nir Piterman
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Tests and Proofs : 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings - Dirk Beyer
    Tests and Proofs
    13th International Conference, TAP 2019, Held a...
    Dirk Beyer and Chantal Keller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings - Author
    Reversible Computation
    10th International Conference, RC 2018, Leicest...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings - Nina Yevtushenko
    Testing Software and Systems
    29th IFIP WG 6.1 International Conference, ICTS...
    Nina Yevtushenko, Ana Rosa Cavalli and Hüsnü Yenigün
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers - Author
    Software Engineering and Formal Methods
    SEFM 2014 Collocated Workshops: HOFM, SAFOME, O...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advanced Guide to Python 3 Programming : Computer Science (R0) - John Hunt
    Advanced Guide to Python 3 Programming
    Computer Science (R0)
    John Hunt
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers - Andreas Holzinger
    Software Technologies
    9th International Joint Conference, ICSOFT 2014...
    Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel and Marten van Sinderen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Evaluation of Novel Approaches to Software Engineering : 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers - Ernesto Damiani
    Evaluation of Novel Approaches to Software Engineering
    13th International Conference, ENASE 2018, Func...
    Ernesto Damiani, George Spanoudakis and Leszek A. Maciaszek
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
9231 Results | View 24 / 100
< 1 ... 78 79 80 81 82 ... 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