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 (11376)
  • Books (11004)
  • Audiobooks (222)
  • eTextbooks (9700)

AVAILABILITY

  • All eBooks (11376)
  • New Releases (221)
  • Coming Soon (30)
  • Subscription eBooks (1121)

PRICE

CUSTOMER RATING

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

FORMATS

LANGUAGE

  • eBook
    (11376)
  • Books
    (11004)
  • Audiobooks
    (222)
  • Audio CDs
    (1)
  • Stationery
    (1)
11376 Results | View 24 / 100
< 1 ... 96 97 98 99 100 ... 114 >
Sort By
Sort By:
  • 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
  • Australian Stories
  • 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
  • Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings - Nicola Olivetti
    Automated Reasoning
    8th International Joint Conference, IJCAR 2016,...
    Nicola Olivetti and Ashish Tiwari
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Dependable Software Engineering. Theories, Tools, and Applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings - Author
    Dependable Software Engineering. Theories, Tools, and Applications
    4th International Symposium, SETTA 2018, Beijin...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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 - Author
    Job Scheduling Strategies for Parallel Processing
    21st International Workshop, JSSPP 2017, Orland...
    Author
    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
11376 Results | View 24 / 100
< 1 ... 96 97 98 99 100 ... 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