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

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 (11341)
  • Books (10912)
  • Audiobooks (218)
  • eTextbooks (9667)

AVAILABILITY

  • All eBooks (11341)
  • New Releases (209)
  • Coming Soon (27)
  • Subscription eBooks (1123)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (11341)
  • Books
    (10912)
  • Audiobooks
    (218)
  • Audio CDs
    (1)
  • Stationery
    (1)
11341 Results | View 24 / 100
< 1 ... 106 107 108 109 110 ... 114 >
Sort By
Sort By:
  • User-Centred Requirements Engineering : Computer Science (R0) - Alistair Sutcliffe
    User-Centred Requirements Engineering
    Computer Science (R0)
    Alistair Sutcliffe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Optimization Methods, Theory and Applications - Honglei Xu
    Optimization Methods, Theory and Applications
    Honglei Xu
    eText
    Instant Online Reading*
    $109.00
    BUY EBOOK
  • Project-Management in Practice : A Guideline and Toolbox for Successful Projects - M. Daud Alam
    Project-Management in Practice
    A Guideline and Toolbox for Successful Projects
    M. Daud Alam and Uwe F. Gühl
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Foundations for Designing User-Centered Systems : What System Designers Need to Know about People - Frank E. Ritter
    Foundations for Designing User-Centered Systems
    What System Designers Need to Know about People
    Frank E. Ritter, Gordon D. Baxter and Elizabeth F. Churchill
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • Using Event-B for Critical Device Software Systems : Computer Science (R0) - Neeraj Kumar Singh
    Using Event-B for Critical Device Software Systems
    Computer Science (R0)
    Neeraj Kumar Singh
    eBook
    Instant Digital Delivery
    RRP $159.00
    $143.10
    BUY EBOOK
  • Formal Methods for Safety and Security : Case Studies for Aerospace Applications - Yogananda Jeppu
    Formal Methods for Safety and Security
    Case Studies for Aerospace Applications
    Yogananda Jeppu and Manju Nanda
    eText
    Instant Online Reading*
    $169.00
    BUY EBOOK
  • Computer and Computing Technologies in Agriculture X : 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19-21, 2016, Proceedings - Daoliang Li
    Computer and Computing Technologies in Agriculture X
    10th IFIP WG 5.14 International Conference, CCT...
    Daoliang Li
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Hot Pre-Orders
  • Open Source Systems: Integrating Communities : 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings - Kevin Crowston
    Open Source Systems: Integrating Communities
    12th IFIP WG 2.13 International Conference, OSS...
    Kevin Crowston, Imed Hammouda, Björn Lundell, Gregorio Robles and Juho Lindman
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Precision Assembly in the Digital Age : 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers - Svetan Ratchev
    Precision Assembly in the Digital Age
    8th IFIP WG 5.5 International Precision Assembl...
    Svetan Ratchev
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mashups : Concepts, Models and Architectures - Florian Daniel
    Mashups
    Concepts, Models and Architectures
    Florian Daniel and Maristella Matera
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Solving Software Challenges for Exascale : International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers - Stefano Markidis
    Solving Software Challenges for Exascale
    International Conference on Exascale Applicatio...
    Stefano Markidis and Erwin Laure
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Design, User Experience, and Usability: Technological Contexts : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III - Aaron Marcus
    Design, User Experience, and Usability: Technological Contexts
    5th International Conference, DUXU 2016, Held a...
    Aaron Marcus
    eText
    Instant Online Reading*
    $84.99
    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
  • Progress in Artificial Intelligence : 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings - Eugénio Oliveira
    Progress in Artificial Intelligence
    18th EPIA Conference on Artificial Intelligence...
    Eugénio Oliveira, João Gama, Zita Vale and Henrique Lopes Cardoso
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity : 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers - Author
    OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity
    5th Workshop, OpenSHMEM 2018, Baltimore, MD, US...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Analysis, Testing, and Evolution : 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings - Lei Bu
    Software Analysis, Testing, and Evolution
    8th International Conference, SATE 2018, Shenzh...
    Lei Bu and Yingfei Xiong
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithms and Architectures for Parallel Processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV - Jaideep Vaidya
    Algorithms and Architectures for Parallel Processing
    18th International Conference, ICA3PP 2018, Gua...
    Jaideep Vaidya and Jin Li
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment : First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers - Jean-Michel Bruel
    Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment
    First International Workshop, DEVOPS 2018, Chat...
    Jean-Michel Bruel, Manuel Mazzara and Bertrand Meyer
    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
  • Hybrid Systems Biology : 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings - Alexandre Donzé
    Hybrid Systems Biology
    5th International Workshop, HSB 2016, Grenoble,...
    Alexandre Donzé and Eugenio Cinquemani
    eText
    Instant Online Reading*
    $69.99
    BUY EBOOK
  • SOFSEM 2019: Theory and Practice of Computer Science : 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings - Author
    SOFSEM 2019: Theory and Practice of Computer Science
    45th International Conference on Current Trends...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings - Vladimir P. Gerdt
    Computer Algebra in Scientific Computing
    19th International Workshop, CASC 2017, Beijing...
    Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler and Evgenii V. Vorozhtsov
    eText
    Instant Online Reading*
    $109.00
    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
  • Security, Privacy, and Applied Cryptography Engineering : 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings - Anupam Chattopadhyay
    Security, Privacy, and Applied Cryptography Engineering
    8th International Conference, SPACE 2018, Kanpu...
    Anupam Chattopadhyay, Chester Rebeiro and Yuval Yarom
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Design, User Experience, and Usability: Design Thinking and Methods : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I - Aaron Marcus
    Design, User Experience, and Usability: Design Thinking and Methods
    5th International Conference, DUXU 2016, Held a...
    Aaron Marcus
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • High Performance Computing : 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16-20, 2019, Proceedings - Author
    High Performance Computing
    34th International Conference, ISC High Perform...
    Author
    eText
    Instant Online Reading*
    $99.00
    BUY EBOOK
  • Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings - Md. Aquil Khan
    Logic and Its Applications
    8th Indian Conference, ICLA 2019, Delhi, India,...
    Md. Aquil Khan and Amaldev Manuel
    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 II - 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
  • Design, User Experience, and Usability: Novel User Experiences : 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II - Author
    Design, User Experience, and Usability: Novel User Experiences
    5th International Conference, DUXU 2016, Held a...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Agents and Multi-Agent Systems for Health Care : 10th International Workshop, A2HC 2017, São Paulo, Brazil, May 8, 2017, and International Workshop, A-HEALTH 2017, Porto, Portugal, June 21, 2017, Revised and Extended Selected Papers - Author
    Agents and Multi-Agent Systems for Health Care
    10th International Workshop, A2HC 2017, São Pau...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Data Analytics : 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017, Proceedings - Andrea Calì
    Data Analytics
    31st British International Conference on Databa...
    Andrea Calì, Peter Wood, Nigel Martin and Alexandra Poulovassilis
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Progress in Cryptology - INDOCRYPT 2018 : 19th International Conference on Cryptology in India, New Delhi, India, December 9-12, 2018, Proceedings - Debrup Chakraborty
    Progress in Cryptology - INDOCRYPT 2018
    19th International Conference on Cryptology in ...
    Debrup Chakraborty and Tetsu Iwata
    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
  • Neural Information Processing : 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part VI - Long Cheng
    Neural Information Processing
    25th International Conference, ICONIP 2018, Sie...
    Long Cheng, Andrew Chi Sing Leung and Seiichi Ozawa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithms and Architectures for Parallel Processing : 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III - Author
    Algorithms and Architectures for Parallel Processing
    18th International Conference, ICA3PP 2018, Gua...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Information Systems Security : 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings - Vinod Ganapathy
    Information Systems Security
    14th International Conference, ICISS 2018, Bang...
    Vinod Ganapathy, Trent Jaeger and R.K. Shyamasundar
    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
  • Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings - Pascal Fontaine
    Automated Deduction - CADE 27
    27th International Conference on Automated Dedu...
    Pascal Fontaine
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings - Constantin Enea
    Verification, Model Checking, and Abstract Interpretation
    20th International Conference, VMCAI 2019, Casc...
    Constantin Enea and Ruzica Piskac
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Membrane Computing : 19th International Conference, CMC 2018, Dresden, Germany, September 4-7, 2018, Revised Selected Papers - Author
    Membrane Computing
    19th International Conference, CMC 2018, Dresde...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers - Antonio Cerone
    Software Engineering and Formal Methods
    SEFM 2017 Collocated Workshops: DataMod, FAACS,...
    Antonio Cerone and Marco Roveri
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Networked Systems : 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers - Andreas Podelski
    Networked Systems
    6th International Conference, NETYS 2018, Essao...
    Andreas Podelski and François Taïani
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithms and Architectures for Parallel Processing : ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings - Jesus Carretero
    Algorithms and Architectures for Parallel Processing
    ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS,...
    Jesus Carretero, Javier Garcia-Blas, Victor Gergel, Vladimir Voevodin and José Gracia
    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
  • Measurement, Modelling and Evaluation of Computing Systems : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings - Reinhard German
    Measurement, Modelling and Evaluation of Computing Systems
    19th International GI/ITG Conference, MMB 2018,...
    Reinhard German, Kai-Steffen Hielscher and Udo R. Krieger
    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
  • Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings - Andreas Herzig
    Frontiers of Combining Systems
    12th International Symposium, FroCoS 2019, Lond...
    Andreas Herzig and Andrei Popescu
    eText
    Instant Online Reading*
    $99.00
    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 - Author
    Transactions on Computational Science XXXI
    Special Issue on Signal Processing and Security...
    Author
    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 - Author
    Human-Computer Interaction. Novel User Experiences
    18th International Conference, HCI Internationa...
    Author
    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 - 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
  • Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings - Author
    Application and Theory of Petri Nets and Concurrency
    40th International Conference, PETRI NETS 2019,...
    Author
    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 - 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
  • 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 - Author
    Perspectives of System Informatics
    11th International Andrei P. Ershov Informatics...
    Author
    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 - Author
    Application and Theory of Petri Nets and Concurrency
    38th International Conference, PETRI NETS 2017,...
    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
  • 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 - Author
    Runtime Verification
    17th International Conference, RV 2017, Seattle...
    Author
    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 and Cyril Nicaud
    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
11341 Results | View 24 / 100
< 1 ... 106 107 108 109 110 ... 114 >
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