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

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 (12153)
  • Books (11156)
  • Audiobooks (247)
  • eTextbooks (9901)

AVAILABILITY

  • All eBooks (12153)
  • New Releases (564)
  • Coming Soon (35)
  • Subscription eBooks (1331)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
     (12153)
  • Books
     (11156)
  • Audiobooks
     (247)
  • Audio CDs
     (1)
12153 Results | View 24 / 100
< 1 ... 113 114 115 116 117 ... 122 >
Sort By
Sort By:
  • Practical TLA+ : Planning Driven Development - Hillel Wayne
    Practical TLA+
    Planning Driven Development
    Hillel Wayne
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • .NET DevOps for Azure : A Developer's Guide to DevOps Architecture the Right Way - Jeffrey Palermo
    .NET DevOps for Azure
    A Developer's Guide to DevOps Architecture the ...
    Jeffrey Palermo
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Refinement : Semantics, Languages and Applications - John Derrick
    Refinement
    Semantics, Languages and Applications
    John Derrick and Eerke Boiten
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Spring 5 Recipes : A Problem-Solution Approach - Daniel Rubio
    Spring 5 Recipes
    A Problem-Solution Approach
    Daniel Rubio, Marten Deinum and Josh Long
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Implementing SAP S/4HANA : A Framework for Planning and Executing SAP S/4HANA Projects - Sanket Kulkarni
    Implementing SAP S/4HANA
    A Framework for Planning and Executing SAP S/4H...
    Sanket Kulkarni
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Securing the Perimeter : Deploying Identity and Access Management with Free Open Source Software - Michael Schwartz
    Securing the Perimeter
    Deploying Identity and Access Management with F...
    Michael Schwartz and Maciej Machulak
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Carl Adam Petri : Ideas, Personality, Impact - Wolfgang Reisig
    Carl Adam Petri
    Ideas, Personality, Impact
    Wolfgang Reisig and Grzegorz Rozenberg
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Afterpay
  • Pro .NET Benchmarking : The Art of Performance Measurement - Andrey Akinshin
    Pro .NET Benchmarking
    The Art of Performance Measurement
    Andrey Akinshin
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Developing Enterprise Chatbots : Learning Linguistic Structures - Boris Galitsky
    Developing Enterprise Chatbots
    Learning Linguistic Structures
    Boris Galitsky
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • DevOps on the Microsoft Stack : Professional and Applied Computing (R0) - Wouter de Kort
    DevOps on the Microsoft Stack
    Professional and Applied Computing (R0)
    Wouter de Kort
    eText
    Instant Online Reading*
    $74.99
    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
  • Pro Spring 5 : An In-Depth Guide to the Spring Framework and Its Tools - Clarence Ho
    Pro Spring 5
    An In-Depth Guide to the Spring Framework and I...
    Clarence Ho, Rob Harrop, Chris Schaefer and Iuliana Cosmina
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • The Philosophy of Software : Code and Mediation in the Digital Age - D. Berry
    The Philosophy of Software
    Code and Mediation in the Digital Age
    D. Berry
    eText
    Instant Online Reading*
    $44.99
    BUY EBOOK
  • Switch/Router Architectures : Systems with Crossbar Switch Fabrics - James Aweya
    Switch/Router Architectures
    Systems with Crossbar Switch Fabrics
    James Aweya
    eText
    Instant Online Reading*
    $105.59
    BUY EBOOK
  • The Python Workbook : A Brief Introduction with Exercises and Solutions - Ben Stephenson
    The Python Workbook
    A Brief Introduction with Exercises and Solutions
    Ben Stephenson
    eText
    Instant Online Reading*
    $74.99
    BUY EBOOK
  • Usability : Gaining a Competitive Edge - Judy Hammond
    Usability
    Gaining a Competitive Edge
    Judy Hammond, Tom Gross and Janet Wesson
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Empowering Learners for Life in the Digital Age : IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24-28, 2018, Revised Selected Papers - Don Passey
    Empowering Learners for Life in the Digital Age
    IFIP TC 3 Open Conference on Computers in Educa...
    Don Passey, Rosa Bottino, Cathy Lewin and Eric Sanchez
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Diffusing Software Product and Process Innovations : IFIP TC8 WG8.6 Fourth Working Conference on Diffusing Software Product and Process Innovations April 7-10, 2001, Banff, Canada - Mark A. Ardis
    Diffusing Software Product and Process Innovations
    IFIP TC8 WG8.6 Fourth Working Conference on Dif...
    Mark A. Ardis and Barbara L. Marcolin
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Network and Parallel Computing : 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings - Guang R. Gao
    Network and Parallel Computing
    13th IFIP WG 10.3 International Conference, NPC...
    Guang R. Gao, Depei Qian, Xinbo Gao, Barbara Chapman and Wenguang Chen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Security, Privacy, and Applied Cryptography Engineering : 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings - Claude Carlet
    Security, Privacy, and Applied Cryptography Engineering
    6th International Conference, SPACE 2016, Hyder...
    Claude Carlet, M. Anwar Hasan and Vishal Saraswat
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web - ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I - Philippe Cudré-Mauroux
    The Semantic Web - ISWC 2017
    16th International Semantic Web Conference, Vie...
    Philippe Cudré-Mauroux, Valentina Tamma, Jeff Heflin, Miriam Fernandez and Juan Sequeda
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Computational Collective Intelligence XVI : Computer Science (R0) - Ryszard Kowalczyk
    Transactions on Computational Collective Intelligence XVI
    Computer Science (R0)
    Ryszard Kowalczyk and Ngoc Thanh Nguyen
    eText
    Instant Online Reading*
    $79.99
    BUY EBOOK
  • Theoretical Aspects of Computing - ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings - Augusto Sampaio
    Theoretical Aspects of Computing - ICTAC 2016
    13th International Colloquium, Taipei, Taiwan, ...
    Augusto Sampaio and Farn Wang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings - Alexander Romanovsky
    Computer Safety, Reliability, and Security
    38th International Conference, SAFECOMP 2019, T...
    Alexander Romanovsky, Elena Troubitsyna and Friedemann Bitsch
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers - Phillip James
    Recent Trends in Algebraic Development Techniques
    23rd IFIP WG 1.3 International Workshop, WADT 2...
    Phillip James and Markus Roggenbach
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multi-Agent Based Simulation XVI : International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers - Benoit Gaudou
    Multi-Agent Based Simulation XVI
    International Workshop, MABS 2015, Istanbul, Tu...
    Benoit Gaudou and Jaime Simao Sichman
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Developments in Language Theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings - Piotrek Hofman
    Developments in Language Theory
    23rd International Conference, DLT 2019, Warsaw...
    Piotrek Hofman and Micha? Skrzypczak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 : 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings - Pau Fonseca i Casas
    System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0
    11th International Conference, SAM 2019, Munich...
    Pau Fonseca i Casas, Maria-Ribera Sancho and Edel Sherratt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Euro-Par 2015: Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers - Sascha Hunold
    Euro-Par 2015: Parallel Processing Workshops
    Euro-Par 2015 International Workshops, Vienna, ...
    Sascha Hunold, Alexandru Costan, Domingo Giménez, Alexandru Iosup and Michael Alexander
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Model Transformation : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings - Arend Rensink
    Theory and Practice of Model Transformation
    11th International Conference, ICMT 2018, Held ...
    Arend Rensink and Jesús Sánchez Cuadrado
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Semantic Web - ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II - Philippe Cudré-Mauroux
    The Semantic Web - ISWC 2017
    16th International Semantic Web Conference, Vie...
    Philippe Cudré-Mauroux, Valentina Tamma, Jeff Heflin, Miriam Fernandez and Juan Sequeda
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings - Simon Collart-Dutilleul
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    Third International Conference, RSSRail 2019, L...
    Simon Collart-Dutilleul, Thierry Lecomte and Alexander Romanovsky
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Mobile, Secure, and Programmable Networking : Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers - Selma Boumerdassi
    Mobile, Secure, and Programmable Networking
    Second International Conference, MSPN 2016, Par...
    Selma Boumerdassi, Éric Renault and Samia Bouzefrane
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Bart Jacobs
    Foundations of Software Science and Computation Structures
    19th International Conference, FOSSACS 2016, He...
    Bart Jacobs and Christof Löding
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings - Fernando Castor
    Programming Languages
    20th Brazilian Symposium, SBLP 2016, Maringa, B...
    Fernando Castor and Yu David Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Swarm, Evolutionary, and Memetic Computing : 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers - Ponnuthurai Nagaratnam Suganthan
    Swarm, Evolutionary, and Memetic Computing
    6th International Conference, SEMCCO 2015, Hyde...
    Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy and Bijaya Ketan Panigrahi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • SDL 2017: Model-Driven Engineering for Future Internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings - Gábor Kovács
    SDL 2017: Model-Driven Engineering for Future Internet
    18th International SDL Forum, Budapest, Hungary...
    Gábor Kovács, György Réthy and Tibor Csöndes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Architecture of Computing Systems -- ARCS 2016 : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings - Frank Hannig
    Architecture of Computing Systems -- ARCS 2016
    29th International Conference, Nuremberg, Germa...
    Frank Hannig, João M.P. Cardoso, Thilo Pionteck, Dietmar Fey and Jürgen Teich
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - María del Mar Gallardo
    Model Checking Software
    25th International Symposium, SPIN 2018, Malaga...
    María del Mar Gallardo and Pedro Merino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Parallel Processing and Applied Mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II - Roman Wyrzykowski
    Parallel Processing and Applied Mathematics
    11th International Conference, PPAM 2015, Krako...
    Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski and Kazimierz Wiatr
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Computational Science XXVII : Computer Science (R0) - Marina L. Gavrilova
    Transactions on Computational Science XXVII
    Computer Science (R0)
    Marina L. Gavrilova and C.J. Kenneth Tan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Erika Ábrahám
    Theory and Practice of Formal Methods
    Essays Dedicated to Frank de Boer on the Occasi...
    Erika Ábrahám, Marcello Bonsangue and Einar Broch Johnsen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Parallel Computing Technologies : 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019, Proceedings - Victor Malyshkin
    Parallel Computing Technologies
    15th International Conference, PaCT 2019, Almat...
    Victor Malyshkin
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Distributed Applications and Interoperable Systems : 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings - Silvia Bonomi
    Distributed Applications and Interoperable Systems
    18th IFIP WG 6.1 International Conference, DAIS...
    Silvia Bonomi and Etienne Rivière
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Requirements Engineering: Foundation for Software Quality : 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, Proceedings - Eric Knauss
    Requirements Engineering: Foundation for Software Quality
    25th International Working Conference, REFSQ 20...
    Eric Knauss and Michael Goedicke
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings - John Fitzgerald
    FM 2016: Formal Methods
    21st International Symposium, Limassol, Cyprus,...
    John Fitzgerald, Constance Heitmeyer, Stefania Gnesi and Anna Philippou
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings - Kazuhiro Ogata
    Formal Methods and Software Engineering
    18th International Conference on Formal Enginee...
    Kazuhiro Ogata, Mark Lawford and Shaoying Liu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mathematical Software - ICMS 2016 : 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings - Gert-Martin Greuel
    Mathematical Software - ICMS 2016
    5th International Conference, Berlin, Germany, ...
    Gert-Martin Greuel, Thorsten Koch, Peter Paule and Andrew Sommese
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Coordination, Organizations, Institutions, and Norms in Agent Systems XI : COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers - Virginia Dignum
    Coordination, Organizations, Institutions, and Norms in Agent Systems XI
    COIN 2015 International Workshops, COIN@AAMAS, ...
    Virginia Dignum, Murat Sensoy, Jaime Simão Sichman and Pablo Noriega
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings - Bill Roscoe
    Formal Methods: Foundations and Applications
    18th Brazilian Symposium, SBMF 2015, Belo Horiz...
    Bill Roscoe and Márcio Cornélio
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Marsha Chechik
    Tools and Algorithms for the Construction and Analysis of Systems
    22nd International Conference, TACAS 2016, Held...
    Marsha Chechik and Jean-François Raskin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers - Francisco Botana
    Automated Deduction in Geometry
    10th International Workshop, ADG 2014, Coimbra,...
    Francisco Botana and Pedro Quaresma
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings - Laure Petrucci
    Critical Systems: Formal Methods and Automated Verification
    Joint 22nd International Workshop on Formal Met...
    Laure Petrucci, Ana Cavalcanti and Cristina Seceleanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Internet and Distributed Computing Systems : 12th International Conference, IDCS 2019, Naples, Italy, October 10-12, 2019, Proceedings - Raffaele Montella
    Internet and Distributed Computing Systems
    12th International Conference, IDCS 2019, Naple...
    Raffaele Montella, Angelo Ciaramella, Giancarlo Fortino, Antonio Guerrieri and Antonio Liotta
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Computational Collective Intelligence XX : Computer Science (R0) - Ngoc Thanh Nguyen
    Transactions on Computational Collective Intelligence XX
    Computer Science (R0)
    Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik and Joaquim Filipe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Spatial Cognition X : 13th Biennial Conference, KogWis 2016, Bremen, Germany, September 26-30, 2016, and 10th International Conference, Spatial Cognition 2016, Philadelphia, PA, USA, August 2-5, 2016, Revised Selected Papers - Heather Burte
    Spatial Cognition X
    13th Biennial Conference, KogWis 2016, Bremen, ...
    Heather Burte, Holger Schultheis, Thomas Barkowsky and Christoph Hölscher
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • System Analysis and Modeling. Technology-Specific Aspects of Models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings - Steffen Herbold
    System Analysis and Modeling. Technology-Specific Aspects of Models
    9th International Conference, SAM 2016, Saint-M...
    Steffen Herbold and Jens Grabowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings - Yiannis Papadopoulos
    Model-Based Safety and Assessment
    6th International Symposium, IMBSA 2019, Thessa...
    Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros and Marco Bozzano
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability, and Security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings - Amund Skavhaug
    Computer Safety, Reliability, and Security
    35th International Conference, SAFECOMP 2016, T...
    Amund Skavhaug, Jérémie Guiochet and Friedemann Bitsch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agents and Artificial Intelligence : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers - Jaap van den Herik
    Agents and Artificial Intelligence
    9th International Conference, ICAART 2017, Port...
    Jaap van den Herik, Ana Paula Rocha and Joaquim Filipe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Fundamental Approaches to Software Engineering : 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Perdita Stevens
    Fundamental Approaches to Software Engineering
    19th International Conference, FASE 2016, Held ...
    Perdita Stevens and Andrzej Wąsowski
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Swarm Intelligence : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I - Ying Tan
    Advances in Swarm Intelligence
    9th International Conference, ICSI 2018, Shangh...
    Ying Tan, Yuhui Shi and Qirong Tang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Security : 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings - Yvo Desmedt
    Information Security
    16th International Conference, ISC 2013, Dallas...
    Yvo Desmedt
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Ambient Intelligence : 15th European Conference, AmI 2019, Rome, Italy, November 13-15, 2019, Proceedings - Ioannis Chatzigiannakis
    Ambient Intelligence
    15th European Conference, AmI 2019, Rome, Italy...
    Ioannis Chatzigiannakis, Boris De Ruyter and Irene Mavrommati
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Conceptual Modeling : ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14-17, 2016, Proceedings - Sebastian Link
    Advances in Conceptual Modeling
    ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, ...
    Sebastian Link and Juan C. Trujillo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Rule Technologies. Research, Tools, and Applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings - Jose Julio Alferes
    Rule Technologies. Research, Tools, and Applications
    10th International Symposium, RuleML 2016, Ston...
    Jose Julio Alferes, Guido Governatori, Paul Fodor, Dumitru Roman and Leopoldo Bertossi
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Computer Safety, Reliability, and Security : SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings - Alexander Romanovsky
    Computer Safety, Reliability, and Security
    SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR...
    Alexander Romanovsky, Elena Troubitsyna, Ilir Gashi, Erwin Schoitsch and Friedemann Bitsch
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Multi-Agent Systems : 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers - Marija Slavkovik
    Multi-Agent Systems
    16th European Conference, EUMAS 2018, Bergen, N...
    Marija Slavkovik
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings - Yliès Falcone
    Runtime Verification
    16th International Conference, RV 2016, Madrid,...
    Yliès Falcone and César Sánchez
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Search Based Software Engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings - Federica Sarro
    Search Based Software Engineering
    8th International Symposium, SSBSE 2016, Raleig...
    Federica Sarro and Kalyanmoy Deb
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings - Stephan Merz
    Interactive Theorem Proving
    7th International Conference, ITP 2016, Nancy, ...
    Stephan Merz and Jasmin Christian Blanchette
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday - Arend Rensink
    ModelEd, TestEd, TrustEd
    Essays Dedicated to Ed Brinksma on the Occasion...
    Arend Rensink, Joost-Pieter Katoen and Rom Langerak
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Engineering Secure Software and Systems : 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings - Juan Caballero
    Engineering Secure Software and Systems
    8th International Symposium, ESSoS 2016, London...
    Juan Caballero, Eric Bodden and Elias Athanasopoulos
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Parallel Processing and Applied Mathematics : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I - Roman Wyrzykowski
    Parallel Processing and Applied Mathematics
    11th International Conference, PPAM 2015, Krako...
    Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski and Kazimierz Wiatr
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers - Moreno Falaschi
    Logic-Based Program Synthesis and Transformation
    25th International Symposium, LOPSTR 2015, Sien...
    Moreno Falaschi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings - Sanjai Rayadurgam
    NASA Formal Methods
    8th International Symposium, NFM 2016, Minneapo...
    Sanjai Rayadurgam and Oksana Tkachuk
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Knowledge Engineering and Knowledge Management : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings - Eva Blomqvist
    Knowledge Engineering and Knowledge Management
    20th International Conference, EKAW 2016, Bolog...
    Eva Blomqvist, Paolo Ciancarini, Francesco Poggi and Fabio Vitali
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Transactions on Pattern Languages of Programming IV : Computer Science (R0) - James Noble
    Transactions on Pattern Languages of Programming IV
    Computer Science (R0)
    James Noble, Ralph Johnson, Uwe Zdun and Eugene Wallingford
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I - Daniel Kroening
    Computer Aided Verification
    27th International Conference, CAV 2015, San Fr...
    Daniel Kroening and Corina S. Păsăreanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II - Daniel Kroening
    Computer Aided Verification
    27th International Conference, CAV 2015, San Fr...
    Daniel Kroening and Corina S. P?s?reanu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Controlled Natural Language : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings - Brian Davis
    Controlled Natural Language
    5th International Workshop, CNL 2016, Aberdeen,...
    Brian Davis, Gordon J. Pace and Adam Wyner
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016, Proceedings - Anne Remke
    Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems
    18th International GI/ITG Conference, MMB & DFT...
    Anne Remke and Boudewijn R. Haverkort
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Membrane Computing : 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers - Alberto Leporati
    Membrane Computing
    17th International Conference, CMC 2016, Milan,...
    Alberto Leporati, Grzegorz Rozenberg, Arto Salomaa and Claudio Zandron
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Social, Cultural, and Behavioral Modeling : 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings - Robert Thomson
    Social, Cultural, and Behavioral Modeling
    11th International Conference, SBP-BRiMS 2018, ...
    Robert Thomson, Christopher Dancy, Ayaz Hyder and Halil Bisgin
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Games and Learning Alliance : 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers - Remco Veltkamp
    Games and Learning Alliance
    4th International Conference, GALA 2015, Rome, ...
    Remco Veltkamp and Alessandro de Gloria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings - Matthew Hague
    Reachability Problems
    11th International Workshop, RP 2017, London, U...
    Matthew Hague and Igor Potapov
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings - Keijiro Araki
    FME 2003: Formal Methods
    International Symposium of Formal Methods Europ...
    Keijiro Araki, Stefania Gnesi and Dion Mandrioli
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers - Shaoying Liu
    Structured Object-Oriented Formal Language and Method
    5th International Workshop, SOFL+MSVL 2015, Par...
    Shaoying Liu and Zhenhua Duan
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantitative Evaluation of Systems : 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings - David Parker
    Quantitative Evaluation of Systems
    16th International Conference, QEST 2019, Glasg...
    David Parker and Verena Wolf
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings - Amund Skavhaug
    Computer Safety, Reliability, and Security
    SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR...
    Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch and Friedemann Bitsch
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Collaboration and Technology : 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings - Takaya Yuizono
    Collaboration and Technology
    22nd International Conference, CRIWG 2016, Kana...
    Takaya Yuizono, Hiroaki Ogata, Ulrich Hoppe and Julita Vassileva
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings - Maurice H. ter Beek
    Critical Systems: Formal Methods and Automated Verification
    Joint 21st International Workshop on Formal Met...
    Maurice H. ter Beek, Stefania Gnesi and Alexander Knapp
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Logistics : 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings - Ana Paias
    Computational Logistics
    7th International Conference, ICCL 2016, Lisbon...
    Ana Paias, Mario Ruthmair and Stefan Voß
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers - Fred Mesnard
    Logic-Based Program Synthesis and Transformation
    28th International Symposium, LOPSTR 2018, Fran...
    Fred Mesnard and Peter J. Stuckey
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Applications of Satisfiability Testing - SAT 2018 : 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings - Olaf Beyersdorff
    Theory and Applications of Satisfiability Testing - SAT 2018
    21st International Conference, SAT 2018, Held a...
    Olaf Beyersdorff and Christoph M. Wintersteiger
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • A List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday - Sam Lindley
    A List of Successes That Can Change the World
    Essays Dedicated to Philip Wadler on the Occasi...
    Sam Lindley, Conor McBride, Phil Trinder and Don Sannella
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Distributed Real-Time Systems : Theory and Practice - K. Erciyes
    Distributed Real-Time Systems
    Theory and Practice
    K. Erciyes
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 27th International Meshing Roundtable : Mathematics and Statistics (R0) - Xevi Roca
    27th International Meshing Roundtable
    Mathematics and Statistics (R0)
    Xevi Roca and Adrien Loseille
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Evaluation of Novel Approaches to Software Engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers - Ernesto Damiani
    Evaluation of Novel Approaches to Software Engineering
    12th International Conference, ENASE 2017, Port...
    Ernesto Damiani, George Spanoudakis and Leszek Maciaszek
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
12153 Results | View 24 / 100
< 1 ... 113 114 115 116 117 ... 122 >
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