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 > Software Engineering
Get Free Shipping on orders over $79

Software Engineering

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 (11562)
  • Books (11084)
  • Audiobooks (229)
  • eTextbooks (9791)

AVAILABILITY

  • All eBooks (11562)
  • New Releases (319)
  • Coming Soon (33)
  • Subscription eBooks (1187)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (11562)
  • Books
     (11084)
  • Audiobooks
     (229)
  • Audio CDs
     (1)
  • Stationery
     (1)
11562 Results | View 24 / 100
< 1 ... 26 27 28 29 30 ... 116 >
Sort By
Sort By:
  • The Multi-Agent Programming Contest 2018 : Agents Teaming Up in an Urban Environment - Tobias Ahlbrecht
    The Multi-Agent Programming Contest 2018
    Agents Teaming Up in an Urban Environment
    Tobias Ahlbrecht, Jürgen Dix and Niklas Fiekas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Short Tips on How to Make Money with iPhone Applications! - Chad Booth
    Short Tips on How to Make Money with iPhone Applications!
    Chad Booth
    eBook
    Instant Digital Delivery
    $0.99
    My Library BUY EBOOK
  • DevOps Adoption : How to Build a DevOps IT Environment and Kickstart Your Digital Transformation - Frank Millstein
    DevOps Adoption
    How to Build a DevOps IT Environment and Kickst...
    Frank Millstein
    eBook
    Instant Digital Delivery
    $5.99
    My Library BUY EBOOK
  • Automated Software Testing : Foundations, Applications and Challenges - Ajay Kumar Jena
    Automated Software Testing
    Foundations, Applications and Challenges
    Ajay Kumar Jena, Himansu Das and Durga Prasad Mohapatra
    eText
    Instant Online Reading*
    $269.01
    BUY EBOOK
  • Computer Programming for Beginners : A Step-By-Step Guide - Murali Chemuturi
    Computer Programming for Beginners
    A Step-By-Step Guide
    Murali Chemuturi
    eText
    Instant Online Reading*
    $117.69
    BUY EBOOK
  • COBOL Basic Training Using VSAM, IMS and DB2 - Robert Wingate
    COBOL Basic Training Using VSAM, IMS and DB2
    Robert Wingate
    eBook
    Instant Digital Delivery
    $27.99
    BUY EBOOK
  • GPU Parallel Program Development Using CUDA : Chapman & Hall/CRC Computational Science - Tolga Soyata
    GPU Parallel Program Development Using CUDA
    Chapman & Hall/CRC Computational Science
    Tolga Soyata
    eText
    Instant Online Reading*
    $113.29
    BUY EBOOK
  • Hot Pre-Orders
  • How to Build VST Plugin Path to Guru - Thoth Charles
    How to Build VST Plugin Path to Guru
    Thoth Charles
    eBook
    Instant Digital Delivery
    $19.99
    My Library BUY EBOOK
  • Getting Started With TestNG (A Java Test Framework) - Rex Jones
    Getting Started With TestNG (A Java Test Framework)
    Rex Jones
    eBook
    Instant Digital Delivery
    $5.99
    My Library BUY EBOOK
  • A Comprehensive Guide to Enterprise Mobility - Jithesh Sathyan
    A Comprehensive Guide to Enterprise Mobility
    Jithesh Sathyan, Anoop N., Navin Narayan and Shibu Kizhakke Vallathai
    eText
    Instant Online Reading*
    $115.50
    BUY EBOOK
  • Start Your Engines : Developing Driving and Racing Games - Jim Parker
    Start Your Engines
    Developing Driving and Racing Games
    Jim Parker
    eBook
    Instant Digital Delivery
    $5.67
    BUY EBOOK
  • The Agile Self-assessment Game - Ben Linders
    The Agile Self-assessment Game
    Ben Linders
    eBook
    Instant Digital Delivery
    $14.99
    My Library BUY EBOOK
  • Property-Based Testing with PropEr, Erlang, and Elixir : Find Bugs Before Your Users Do - Fred Hebert
    Property-Based Testing with PropEr, Erlang, and Elixir
    Find Bugs Before Your Users Do
    Fred Hebert
    eText
    Instant Online Reading*
    $50.59
    BUY EBOOK
  • Scrum Basics : A Very Quick Guide to Agile Project Management - Tycho Press
    Scrum Basics
    A Very Quick Guide to Agile Project Management
    Tycho Press
    eBook
    Instant Digital Delivery
    RRP $10.99
    $9.56
    13%
    OFF
    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
  • Reuse in the Big Data Era : 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019, Proceedings - Xin Peng
    Reuse in the Big Data Era
    18th International Conference on Software and S...
    Xin Peng, Apostolos Ampatzoglou and Tanmay Bhowmik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings - Nadia Creignou
    Theory and Applications of Satisfiability Testing - SAT 2016
    19th International Conference, Bordeaux, France...
    Nadia Creignou and Daniel Le Berre
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Conflict Resolution in Decision Making : Second International Workshop, COREDEMA 2016, The Hague, The Netherlands, August 29-30, 2016, Revised Selected Papers - Reyhan Aydo?an
    Conflict Resolution in Decision Making
    Second International Workshop, COREDEMA 2016, T...
    Reyhan Aydo?an, Tim Baarslag, Enrico Gerding, Catholijn M. Jonker and Victor Sanchez-Anguix
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Computational Science XXXI : Special Issue on Signal Processing and Security in Distributed Systems - Marina L. Gavrilova
    Transactions on Computational Science XXXI
    Special Issue on Signal Processing and Security...
    Marina L. Gavrilova, C.J. Kenneth Tan, Nabendu Chaki and Khalid Saeed
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human-Computer Interaction. Novel User Experiences : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III - Masaaki Kurosu
    Human-Computer Interaction. Novel User Experiences
    18th International Conference, HCI Internationa...
    Masaaki Kurosu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • High-Performance Scientific Computing : First JARA-HPC Symposium, JHPCS 2016, Aachen, Germany, October 4-5, 2016, Revised Selected Papers - Edoardo Di Napoli
    High-Performance Scientific Computing
    First JARA-HPC Symposium, JHPCS 2016, Aachen, G...
    Edoardo Di Napoli, Marc-André Hermanns, Hristo Iliev, Andreas Lintermann and Alexander Peyser
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • High Performance Computing in Science and Engineering : Second International Conference, HPCSE 2015, Sola?, Czech Republic, May 25-28, 2015, Revised Selected Papers - TomᚠKozubek
    High Performance Computing in Science and Engineering
    Second International Conference, HPCSE 2015, So...
    TomᚠKozubek, Radim Blaheta, Jakub Šístek, Miroslav Rozložník and Martin ?ermák
    eText
    Instant Online Reading*
    $84.99
    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 - Manjunath Gorentla Venkata
    OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments
    Third Workshop, OpenSHMEM 2016, Baltimore, MD, ...
    Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale and Tiffany M. Mintz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings - Susanna Donatelli
    Application and Theory of Petri Nets and Concurrency
    40th International Conference, PETRI NETS 2019,...
    Susanna Donatelli and Stefan Haar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Risk Assessment and Risk-Driven Testing : First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers - Thomas Bauer
    Risk Assessment and Risk-Driven Testing
    First International Workshop, RISK 2013, Held i...
    Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen and Marc-Florian Wendland
    eText
    Instant Online Reading*
    $64.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
  • On the Move to Meaningful Internet Systems: OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers - Ioana Ciuciu
    On the Move to Meaningful Internet Systems: OTM 2016 Workshops
    Confederated International Workshops: EI2N, FBM...
    Ioana Ciuciu, Christophe Debruyne, Hervé Panetto, Georg Weichhart and Maria-Esther Vidal
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers - Nora Cuppens
    Risks and Security of Internet and Systems
    12th International Conference, CRiSIS 2017, Din...
    Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay and Joaquin Garcia-Alfaro
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human Centered Computing : Third International Conference, HCC 2017, Kazan, Russia, August 7-9, 2017, Revised Selected Papers - Qiaohong Zu
    Human Centered Computing
    Third International Conference, HCC 2017, Kazan...
    Qiaohong Zu and Bo Hu
    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
  • Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things : 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016, Revised Selected Papers - Raghunath Nambiar
    Performance Evaluation and Benchmarking. Traditional - Big Data - Internet of Things
    8th TPC Technology Conference, TPCTC 2016, New ...
    Raghunath Nambiar and Meikel Poess
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human-Computer Interaction. Theory, Design, Development and Practice : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I - Masaaki Kurosu
    Human-Computer Interaction. Theory, Design, Development and Practice
    18th International Conference, HCI Internationa...
    Masaaki Kurosu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multi-Agent Based Simulation XVII : International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers - Luis Antunes
    Multi-Agent Based Simulation XVII
    International Workshop, MABS 2016, Singapore, S...
    Luis Antunes and Luis Gustavo Nardin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Methods in Systems Biology : 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings - Luca Bortolussi
    Computational Methods in Systems Biology
    17th International Conference, CMSB 2019, Tries...
    Luca Bortolussi and Guido Sanguinetti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Principles and Practice of Constraint Programming : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings - John Hooker
    Principles and Practice of Constraint Programming
    24th International Conference, CP 2018, Lille, ...
    John Hooker
    eText
    Instant Online Reading*
    $159.01
    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 - Klaus Havelund
    Formal Methods
    22nd International Symposium, FM 2018, Held as ...
    Klaus Havelund, Jan Peleska, Bill Roscoe and Erik de Vink
    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
  • Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I - Ian F. C. Smith
    Advanced Computing Strategies for Engineering
    25th EG-ICE International Workshop 2018, Lausan...
    Ian F. C. Smith and Bernd Domer
    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 - Alexander K. Petrenko
    Perspectives of System Informatics
    11th International Andrei P. Ershov Informatics...
    Alexander K. Petrenko and Andrei Voronkov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Lectures on Runtime Verification : Introductory and Advanced Topics - Ezio Bartocci
    Lectures on Runtime Verification
    Introductory and Advanced Topics
    Ezio Bartocci and Yliès Falcone
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings - Wil van der Aalst
    Application and Theory of Petri Nets and Concurrency
    38th International Conference, PETRI NETS 2017,...
    Wil van der Aalst and Eike Best
    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 - Esther Guerra
    Graph Transformation
    12th International Conference, ICGT 2019, Held ...
    Esther Guerra and Fernando Orejas
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings - Giovanni Pighizzini
    Descriptional Complexity of Formal Systems
    19th IFIP WG 1.02 International Conference, DCF...
    Giovanni Pighizzini and Cezar Câmpeanu
    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
  • Relational and Algebraic Methods in Computer Science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings - Peter Höfner
    Relational and Algebraic Methods in Computer Science
    16th International Conference, RAMiCS 2017, Lyo...
    Peter Höfner, Damien Pous and Georg Struth
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I - Swarat Chaudhuri
    Computer Aided Verification
    28th International Conference, CAV 2016, Toront...
    Swarat Chaudhuri and Azadeh Farzan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings - Michal Hospodár
    Implementation and Application of Automata
    24th International Conference, CIAA 2019, Košic...
    Michal Hospodár and Galina Jirásková
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers - Sergiy Bogomolov
    Numerical Software Verification
    9th International Workshop, NSV 2016, Toronto, ...
    Sergiy Bogomolov, Matthieu Martel and Pavithra Prabhakar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human-Centered Software Engineering : 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers - Cristian Bogdan
    Human-Centered Software Engineering
    7th IFIP WG 13.2 International Working Conferen...
    Cristian Bogdan, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe Palanque and Marco Winckler
    eText
    Instant Online Reading*
    $84.99
    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
  • Advanced Information Systems Engineering : 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings - Johann Eder
    Advanced Information Systems Engineering
    28th International Conference, CAiSE 2016, Ljub...
    Johann Eder, Pnina Soffer, Selmin Nurcan and Marko Bajec
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Job Scheduling Strategies for Parallel Processing : 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers - Dalibor Klusá?ek
    Job Scheduling Strategies for Parallel Processing
    22nd International Workshop, JSSPP 2018, Vancou...
    Dalibor Klusá?ek, Walfredo Cirne and Narayan Desai
    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
  • Parallel Processing and Applied Mathematics : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part I - Roman Wyrzykowski
    Parallel Processing and Applied Mathematics
    10th International Conference, PPAM 2013, Warsa...
    Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski and Jerzy Wa?niewski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings - Shuvendu Lahiri
    Runtime Verification
    17th International Conference, RV 2017, Seattle...
    Shuvendu Lahiri and Giles Reger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Implementation and Application of Automata : 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017, Proceedings - Arnaud Carayol
    Implementation and Application of Automata
    22nd International Conference, CIAA 2017, Marne...
    Arnaud Carayol and Cyril Nicaud
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Job Scheduling Strategies for Parallel Processing : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers - Walfredo Cirne
    Job Scheduling Strategies for Parallel Processing
    18th International Workshop, JSSPP 2014, Phoeni...
    Walfredo Cirne and Narayan Desai
    eText
    Instant Online Reading*
    $64.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 - Xinyu Feng
    Dependable Software Engineering. Theories, Tools, and Applications
    4th International Symposium, SETTA 2018, Beijin...
    Xinyu Feng, Markus Müller-Olm and Zijiang Yang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Architecture of Computing Systems - ARCS 2017 : 30th International Conference, Vienna, Austria, April 3-6, 2017, Proceedings - Jens Knoop
    Architecture of Computing Systems - ARCS 2017
    30th International Conference, Vienna, Austria,...
    Jens Knoop, Wolfgang Karl, Martin Schulz, Koji Inoue and Thilo Pionteck
    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
  • Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings - Elvira Albert
    Formal Techniques for Distributed Objects, Components, and Systems
    36th IFIP WG 6.1 International Conference, FORT...
    Elvira Albert and Ivan Lanese
    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
  • Cooperative Design, Visualization, and Engineering : 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings - Yuhua Luo
    Cooperative Design, Visualization, and Engineering
    14th International Conference, CDVE 2017, Mallo...
    Yuhua Luo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Number-Theoretic Methods in Cryptology : First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers - Jerzy Kaczorowski
    Number-Theoretic Methods in Cryptology
    First International Conference, NuTMiC 2017, Wa...
    Jerzy Kaczorowski, Josef Pieprzyk and Jacek Pomyka?a
    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
  • Graphical Models for Security : 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers - Peng Liu
    Graphical Models for Security
    4th International Workshop, GraMSec 2017, Santa...
    Peng Liu, Sjouke Mauw and Ketil Stolen
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Job Scheduling Strategies for Parallel Processing : 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers - Dalibor Klusá?ek
    Job Scheduling Strategies for Parallel Processing
    21st International Workshop, JSSPP 2017, Orland...
    Dalibor Klusá?ek, Walfredo Cirne and Narayan Desai
    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
  • Automated Reasoning with Analytic Tableaux and Related Methods : 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings - Serenella Cerrito
    Automated Reasoning with Analytic Tableaux and Related Methods
    28th International Conference, TABLEAUX 2019, L...
    Serenella Cerrito and Andrei Popescu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Public-Key Cryptography - PKC 2018 : 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I - Michel Abdalla
    Public-Key Cryptography - PKC 2018
    21st IACR International Conference on Practice ...
    Michel Abdalla and Ricardo Dahab
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Service-Oriented Computing - ICSOC 2015 Workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers - Alex Norta
    Service-Oriented Computing - ICSOC 2015 Workshops
    WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES...
    Alex Norta, Walid Gaaloul, G. R. Gangadharan and Hoa Khanh Dam
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering for Self-Adaptive Systems III. Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers - Rogério de Lemos
    Software Engineering for Self-Adaptive Systems III. Assurances
    International Seminar, Dagstuhl Castle, Germany...
    Rogério de Lemos, David Garlan, Carlo Ghezzi and Holger Giese
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings - Marcello Balduccini
    Logic Programming and Nonmonotonic Reasoning
    14th International Conference, LPNMR 2017, Espo...
    Marcello Balduccini and Tomi Janhunen
    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
  • Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings - Alessandro Antonucci
    Symbolic and Quantitative Approaches to Reasoning with Uncertainty
    14th European Conference, ECSQARU 2017, Lugano,...
    Alessandro Antonucci, Laurence Cholvy and Odile Papini
    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
  • Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications : 12th International Conference, NooJ 2018, Palermo, Italy, June 20-22, 2018, Revised Selected Papers - Ignazio Mauro Mirto
    Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications
    12th International Conference, NooJ 2018, Paler...
    Ignazio Mauro Mirto, Mario Monteleone and Max Silberztein
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Parallel and Distributed Computing, Applications and Technologies : 19th International Conference, PDCAT 2018, Jeju Island, South Korea, August 20-22, 2018, Revised Selected Papers - Jong Hyuk Park
    Parallel and Distributed Computing, Applications and Technologies
    19th International Conference, PDCAT 2018, Jeju...
    Jong Hyuk Park, Hong Shen, Yunsick Sung and Hui Tian
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Wireless Sensor Networks : 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers - Jianzhong Li
    Wireless Sensor Networks
    11th China Wireless Sensor Network Conference, ...
    Jianzhong Li, Huadong Ma, Keqiu Li, Li Cui and Xiaofei Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering Frameworks for the Cloud Computing Paradigm : Computer Science (R0) - Zaigham Mahmood
    Software Engineering Frameworks for the Cloud Computing Paradigm
    Computer Science (R0)
    Zaigham Mahmood and Saqib Saeed
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Databases and Information Systems : 12th International Baltic Conference, DB &IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings - Guntis Arnicans
    Databases and Information Systems
    12th International Baltic Conference, DB &IS 20...
    Guntis Arnicans, Vineta Arnicane, Juris Borzovs and Laila Niedrite
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Intelligent Technologies and Applications : First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers - Imran Sarwar Bajwa
    Intelligent Technologies and Applications
    First International Conference, INTAP 2018, Bah...
    Imran Sarwar Bajwa, Fairouz Kamareddine and Anna Costa
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Software Business : 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings - Krzysztof Wnuk
    Software Business
    9th International Conference, ICSOB 2018, Talli...
    Krzysztof Wnuk and Sjaak Brinkkemper
    eText
    Instant Online Reading*
    $84.99
    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
  • Security by Design : Innovative Perspectives on Complex Problems - Anthony J. Masys
    Security by Design
    Innovative Perspectives on Complex Problems
    Anthony J. Masys
    eText
    Instant Online Reading*
    $189.00
    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
  • Computer Science - CACIC 2017 : 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers - Armando Eduardo De Giusti
    Computer Science - CACIC 2017
    23rd Argentine Congress, La Plata, Argentina, O...
    Armando Eduardo De Giusti
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Process Improvement and Capability Determination : 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings - Paul M. Clarke
    Software Process Improvement and Capability Determination
    16th International Conference, SPICE 2016, Dubl...
    Paul M. Clarke, Rory V. O'Connor, Terry Rout and Alec Dorling
    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
  • Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud : 11th International Conference, SWQD 2019, Vienna, Austria, January 15-18, 2019, Proceedings - Dietmar Winkler
    Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud
    11th International Conference, SWQD 2019, Vienn...
    Dietmar Winkler, Stefan Biffl and Johannes Bergsmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
11562 Results | View 24 / 100
< 1 ... 26 27 28 29 30 ... 116 >
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