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
      • Bestselling
      • Bargains
      • Signed Copies

        • Popular Subjects

        • Australian Fiction
        • Classic Fiction
        • Crime & Mystery
        • Erotic Fiction
        • Fantasy
        • Graphic Novels & Manga
        • Historical
        • Modern & Contemporary

        •  

        • Poetry
        • Romance
        • Science Fiction
        • Thrillers & Mystery
        • Young Adult

        • Popular Authors

        • Margaret Atwood
        • Trent Dalton
        • Jane Harper
        • Stephen King
        • Dervla McTiernan
        • Liane Moriarty
        • Matthew Reilly
        • Sally Rooney

        • Popular Series

        • After
        • A Game of Thrones
        • Jack Reacher
        • Jack West
        • The Seven Sisters
        • Outlander
        • The Witcher
        • Wolf Hall

        More:

      • Award Winning Reads
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
        • Explore All Fiction >
    • NON-FICTION

        Browse Non-Fiction

      • Bestselling
      • Bargains
      • Signed Copies

        • Popular Subjects

        • Animals & Nature
        • Arts & Entertainment
        • Biographies & True Stories
        • Business & Management
        • Comedy & Humour
        • Computing & IT
        • Cooking, Food & Drink
        • Crafts & Handiwork
        • Family & Health
        • Fashion & Style Guides
        • Fitness & Diet
        • Gardening
        • Green Lifestyle & Self-Sufficiency
        • History
        • House & Home

        •  

        • Language & Linguistics
        • Mind, Body, Spirit
        • Politics & Government
        • Popular Psychology
        • Religion & Beliefs
        • Science
        • Self Help & Personal Development
        • Society & Culture
        • Sport & Recreation
        • Transportation
        • Travel & Holidays

        • Biographies & True Stories

        • Arts & Entertainment Biographies
        • Historical Biographies
        • Sport Biographies
        • Travel Writing
        • True Crime
        • True Stories of Heroism

          • Cooking, Food & Drink

        • Baking & Desserts
        • Cooking for & with Children
        • Health & Wholefood Cookery
        • National & Regional Cuisine
        • TV & Celebrity Chefs
        • Vegetarian Cookery

        • Self Help & Personal Development

        • Advice on Careers & Success
        • Advice on Parenting
        • Family, Health & Relationships
        • Fitness & Diet
        • Mind, Body, Spirit
        • Popular Psychology

          • Professional

        • Business
        • Law
        • Medicine

        More:

      • Award Winning Reads
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
        • Explore All Non-Fiction >
    • KIDS & YA

        Browse Kids & YA

      • New Releases
      • Bestselling
      • Bargains
      • Signed Copies

        • Browse by Age

        • Under 3
        • Pre-School (3-6)
        • School Age (6-9)
        • Pre-Teen (9-12)
        • Teen (12-15)
        • Young Adult (16+)

        • Popular Authors

        • Aaron Blabey
        • Anh Do
        • J.K. Rowling
        • Emily Rodda
        • Rick Riordan
        • Mem Fox
        • David Walliams
        • Cassandra Clare

        • Popular Series

        • Harry Potter
        • Bluey
        • The Treehouse Series
        • Nevermoor
        • Dog Man
        • Billie B Brown
        • Fun for Kids

        • Education

        • Education Central
        • Pre School
        • Primary School
        • Secondary School

        More:

      • CBCA Awards
      • Reviews and Staff Picks
      • Author Interviews
      • Podcasts
        • Explore All Kids & YA Books >
    • AUSTRALIAN
    • EDUCATION

        • Pre-School / Kindergarten

        • Pre-School & Day-Care
        • Starting School
        • Early Learning
        • ABC Reading Eggs
        • Picks for Toddlers
        • Picks for Pre-school
        • Sleeping Easy
        • Managing Manners
        • Big Picture Books
        • Understanding Emotions

        • Primary

        • Bestselling Primary Texts
        • Excel Guides for Primary
        • All About Sport
        • Reading
        • Maths
        • Primary Reference
        • CBCA Books

        • Secondary

        • Bestselling Secondary Texts
        • Accounting Business & Legal
        • Media, Arts & Religion
        • Reference & Study Guides
        • Guides to the School Certificates
        • Biology & Science
        • English & Literature
        • History
        • Languages
        • Maths

        •  

        • Poetry
        • Plays
        • Classic Fiction

          • Guides and Resources

        • NAPLAN
        • Anti-Bullying Books
        • Empowering Girls
        • Introducing Indigenous Culture
        • Oxford Dictionaries
      Education Central
      Explore All Education >
    • DIGITAL TEXTBOOKS
    • ACADEMIC

        • University

        • Accounting, Business & Finance
        • Biology and Sciences
        • 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 >
    • BARGAINS
    • GIFT CERTIFICATES
Books > Non-Fiction > Computing & I.T. > Computer Programming & Software Development > Software Engineering
Get Free Shipping on orders over $79

Software Engineering

REFINE YOUR RESULTS

SUBJECTS

  • Object Oriented Software Engineering
  • Software Testing & Verification
  • Unified Modelling Language or UML

LISTS

  • All Books (10420)
  • Hot Prices (166)
  • Audiobooks (208)

PRICE

CUSTOMER RATING

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

LANGUAGE

  • Book
     (10420)
  • eBooks
     (11185)
  • Audiobooks
     (208)
11185 Results | View 24 / 100
< 1 ... 103 104 105 106 107 ... 112 >
Sort By
Sort By:
  • 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
  • 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 - Barbara Catania
    SOFSEM 2019: Theory and Practice of Computer Science
    45th International Conference on Current Trends...
    Barbara Catania, Rastislav Královi?, Jerzy Nawrocki and Giovanni Pighizzini
    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
  • 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
  • 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
  • Transactions on Computational Science XXXI : Special Issue on Signal Processing and Security in Distributed Systems - Marina L. Gavrilova
    Transactions on Computational Science XXXI
    Special Issue on Signal Processing and Security...
    Marina L. Gavrilova, C.J. Kenneth Tan, Nabendu Chaki and Khalid Saeed
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • 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
  • Bestseller Bargains
  • 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
  • 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
  • Agile Anywhere : Essays on Agile Projects and Beyond - Orit Hazzan
    Agile Anywhere
    Essays on Agile Projects and Beyond
    Orit Hazzan and Yael Dubinsky
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tree-Based Convolutional Neural Networks : Principles and Applications - Lili Mou
    Tree-Based Convolutional Neural Networks
    Principles and Applications
    Lili Mou and Zhi Jin
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes : SpringerBriefs in Computer Science - Telmo Adão
    Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes
    SpringerBriefs in Computer Science
    Telmo Adão, Luís Magalhães and Emanuel Peres
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • JRuby Rails Web Application Development : SpringerBriefs in Computer Science - Deepak Vohra
    JRuby Rails Web Application Development
    SpringerBriefs in Computer Science
    Deepak Vohra
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings - Einar Broch Johnsen
    Tests and Proofs
    11th International Conference, TAP 2017, Held a...
    Einar Broch Johnsen and Sebastian Gabmeyer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Formal Modeling and Analysis of Timed Systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings - David N. Jansen
    Formal Modeling and Analysis of Timed Systems
    16th International Conference, FORMATS 2018, Be...
    David N. Jansen and Pavithra Prabhakar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Cryptology - EUROCRYPT 2018 : 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I - Jesper Buus Nielsen
    Advances in Cryptology - EUROCRYPT 2018
    37th Annual International Conference on the The...
    Jesper Buus Nielsen and Vincent Rijmen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Bidirectional Transformations : International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures - Jeremy Gibbons
    Bidirectional Transformations
    International Summer School, Oxford, UK, July 2...
    Jeremy Gibbons and Perdita Stevens
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings - Carlo A. Furia
    Integrated Formal Methods
    14th International Conference, IFM 2018, Maynoo...
    Carlo A. Furia and Kirsten Winter
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Open Problems in Optimization and Data Analysis : Mathematics and Statistics (R0) - Panos M. Pardalos
    Open Problems in Optimization and Data Analysis
    Mathematics and Statistics (R0)
    Panos M. Pardalos
    eText
    Instant Online Reading*
    $219.00
    BUY EBOOK
  • Advanced Information Systems Engineering Workshops : CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings - Author
    Advanced Information Systems Engineering Workshops
    CAiSE 2015 International Workshops, Stockholm, ...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computer and Communication Engineering : First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings - Miguel Botto-Tobar
    Computer and Communication Engineering
    First International Conference, ICCCE 2018, Gua...
    Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz and Wendy Yánez-Pazmiño
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • The Practice of Enterprise Modeling : 9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016, Proceedings - Manfred A. Jeusfeld and Anne Persson Jennifer Horkoff
    The Practice of Enterprise Modeling
    9th IFIP WG 8.1. Working Conference, PoEM 2016,...
    Manfred A. Jeusfeld and Anne Persson Jennifer Horkoff
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Combinatorial Testing in Cloud Computing : SpringerBriefs in Computer Science - Wei-Tek Tsai
    Combinatorial Testing in Cloud Computing
    SpringerBriefs in Computer Science
    Wei-Tek Tsai and Guanqiu Qi
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Understanding Modern Dive Computers and Operation : Protocols, Models, Tests, Data, Risk and Applications - B. R. Wienke
    Understanding Modern Dive Computers and Operation
    Protocols, Models, Tests, Data, Risk and Applic...
    B. R. Wienke and T. R. O'Leary
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Autonomic Computing : Principles, Design and Implementation - Philippe Lalanda
    Autonomic Computing
    Principles, Design and Implementation
    Philippe Lalanda, Julie A. McCann and Ada Diaconescu
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Information Technology for Management. Ongoing Research and Development : 15th Conference, AITM 2017, and 12th Conference, ISM 2017, Held as Part of FedCSIS, Prague, Czech Republic, September 3-6, 2017, Extended Selected Papers - Ewa Ziemba
    Information Technology for Management. Ongoing Research and Development
    15th Conference, AITM 2017, and 12th Conference...
    Ewa Ziemba
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Docker Management Design Patterns : Swarm Mode on Amazon Web Services - Deepak Vohra
    Docker Management Design Patterns
    Swarm Mode on Amazon Web Services
    Deepak Vohra
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday - Axel Legay
    Models, Algorithms, Logics and Tools
    Essays Dedicated to Kim Guldstrand Larsen on th...
    Axel Legay, Anna Ingólfsdóttir, Radu Mardare, Giovanni Bacci and Luca Aceto
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Low Earth Orbit Satellite Design : Space Technology Library : Book 36 - George Sebestyen
    Low Earth Orbit Satellite Design
    Space Technology Library : Book 36
    George Sebestyen, Steve Fujikawa, Nicholas Galassi and Alex Chuchra
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Optimization in Science and Engineering : In Honor of the 60th Birthday of Panos M. Pardalos - Christodoulos A. Floudas
    Optimization in Science and Engineering
    In Honor of the 60th Birthday of Panos M. Pardalos
    Christodoulos A. Floudas, Sergiy Butenko and Themistocles M. Rassias
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Mathematics, Computer Science and Logic - A Never Ending Story : The Bruno Buchberger Festschrift - Peter Paule
    Mathematics, Computer Science and Logic - A Never Ending Story
    The Bruno Buchberger Festschrift
    Peter Paule
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Proceedings of ICRIC 2019 : Recent Innovations in Computing - Pradeep Kumar Singh
    Proceedings of ICRIC 2019
    Recent Innovations in Computing
    Pradeep Kumar Singh, Arpan Kumar Kar, Yashwant Singh, Maheshkumar H. Kolekar and Sudeep Tanwar
    eText
    Instant Online Reading*
    $319.00
    BUY EBOOK
  • Programming Smalltalk - Object-Orientation from the Beginning : An introduction to the principles of programming - Johannes Brauer
    Programming Smalltalk - Object-Orientation from the Beginning
    An introduction to the principles of programming
    Johannes Brauer
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II - Hermann Lödding
    Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing
    IFIP WG 5.7 International Conference, APMS 2017...
    Hermann Lödding, Ralph Riedel, Klaus-Dieter Thoben, Gregor von Cieminski and Dimitris Kiritsis
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings - Catherine Dubois
    Tests and Proofs
    12th International Conference, TAP 2018, Held a...
    Catherine Dubois and Burkhart Wolff
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings - Michael Butler
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    5th International Conference, ABZ 2016, Linz, A...
    Michael Butler, Miklos Biro, Klaus-Dieter Schewe and Atif Mashkoor
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human-Computer Interaction: Interaction Technologies : 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part II - Masaaki Kurosu
    Human-Computer Interaction: Interaction Technologies
    17th International Conference, HCI Internationa...
    Masaaki Kurosu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transactions on Foundations for Mastering Change I : Computer Science (R0) - Bernhard Steffen
    Transactions on Foundations for Mastering Change I
    Computer Science (R0)
    Bernhard Steffen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I - Tiziana Margaria
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
    7th International Symposium, ISoLA 2016, Imperi...
    Tiziana Margaria and Bernhard Steffen
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings - Nadia Polikarpova
    Integrated Formal Methods
    13th International Conference, IFM 2017, Turin,...
    Nadia Polikarpova and Steve Schneider
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings - Einar Broch Johnsen
    Software Engineering and Formal Methods
    16th International Conference, SEFM 2018, Held ...
    Einar Broch Johnsen and Ina Schaefer
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings - Author
    Software Engineering and Formal Methods
    15th International Conference, SEFM 2017, Trent...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Algorithms and Architectures for Parallel Processing : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II - Kenli Li
    Algorithms and Architectures for Parallel Processing
    15th International Conference, ICA3PP 2015, Zha...
    Kenli Li, Albert Zomaya, Guojun Wang and Gregorio Martinez
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Theory and Practice of Natural Computing : 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9-11, 2019, Proceedings - Carlos Martín-Vide
    Theory and Practice of Natural Computing
    8th International Conference, TPNC 2019, Kingst...
    Carlos Martín-Vide, Geoffrey Pond and Miguel A. Vega-Rodríguez
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Algorithms for Sensor Systems : 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers - Falko Dressler
    Algorithms for Sensor Systems
    15th International Symposium on Algorithms and ...
    Falko Dressler and Christian Scheideler
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Model-Driven Engineering and Software Development : 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers - Luís Ferreira Pires
    Model-Driven Engineering and Software Development
    5th International Conference, MODELSWARD 2017, ...
    Luís Ferreira Pires, Slimane Hammoudi and Bran Selic
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Enterprise Information Systems : 16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014, Revised Selected Papers - José Cordeiro
    Enterprise Information Systems
    16th International Conference, ICEIS 2014, Lisb...
    José Cordeiro, Slimane Hammoudi, Leszek Maciaszek, Olivier Camp and Joaquim Filipe
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Technologies and Innovation : Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings - Rafael Valencia-García
    Technologies and Innovation
    Third International Conference, CITI 2017, Guay...
    Rafael Valencia-García, Martha Bucaram-Leverone, Javier Del Cioppo, Gema Alcaraz-Mármol and Katty Lagos-Ortiz
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Transforming Healthcare Through Information Systems : Proceedings of the 24th International Conference on Information Systems Development - Doug Vogel
    Transforming Healthcare Through Information Systems
    Proceedings of the 24th International Conferenc...
    Doug Vogel, Xitong Guo, Henry Linger, Chris Barry and Christoph Schneider
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Software Defined Systems : Sensing, Communication and Computation - Deze Zeng
    Software Defined Systems
    Sensing, Communication and Computation
    Deze Zeng, Lin Gu, Shengli Pan and Song Guo
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Solving Hyperbolic Equations with Finite Volume Methods : Mathematics and Statistics (R0) - M. Elena Vázquez-Cendón
    Solving Hyperbolic Equations with Finite Volume Methods
    Mathematics and Statistics (R0)
    M. Elena Vázquez-Cendón
    eText
    Instant Online Reading*
    $99.00
    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
  • 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
  • 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
  • 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
  • 27th International Meshing Roundtable : Lecture Notes in Computational Science and Engineering : Book 127 - Author
    27th International Meshing Roundtable
    Lecture Notes in Computational Science and Engi...
    Author
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Fault Prediction Modeling for the Prediction of Number of Software Faults : Computer Science (R0) - Santosh Singh Rathore
    Fault Prediction Modeling for the Prediction of Number of Software Faults
    Computer Science (R0)
    Santosh Singh Rathore and Sandeep Kumar
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Cloud Portability and Interoperability : Issues and Current Trends - Beniamino Di Martino
    Cloud Portability and Interoperability
    Issues and Current Trends
    Beniamino Di Martino, Giuseppina Cretella and Antonio Esposito
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Enhanced Building Information Models : Using IoT Services and Integration Patterns - Umit Isikdag
    Enhanced Building Information Models
    Using IoT Services and Integration Patterns
    Umit Isikdag
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Modern Business Management : Creating a Built-to-Change Organization - Doug Dockery
    Modern Business Management
    Creating a Built-to-Change Organization
    Doug Dockery and Laureen Knudsen
    eText
    Instant Online Reading*
    $44.99
    BUY EBOOK
  • Modelling and Implementation of Complex Systems : Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria - Author
    Modelling and Implementation of Complex Systems
    Proceedings of the 4th International Symposium,...
    Author
    eText
    Instant Online Reading*
    $249.00
    BUY EBOOK
  • Network and Parallel Computing : 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017, Proceedings - Hai Jin
    Network and Parallel Computing
    14th IFIP WG 10.3 International Conference, NPC...
    Hai Jin, Xuanhua Shi, Mahmut Kandemir, Chao Wang and Hong An
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Progress in Cryptology - AFRICACRYPT 2019 : 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9-11, 2019, Proceedings - Johannes Buchmann
    Progress in Cryptology - AFRICACRYPT 2019
    11th International Conference on Cryptology in ...
    Johannes Buchmann, Abderrahmane Nitaj and Tajjeeddine Rachidi
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advances in Cryptology - EUROCRYPT 2019 : 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part II - Yuval Ishai
    Advances in Cryptology - EUROCRYPT 2019
    38th Annual International Conference on the The...
    Yuval Ishai and Vincent Rijmen
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings - K. Narayan Kumar
    Automated Technology for Verification and Analysis
    15th International Symposium, ATVA 2017, Pune, ...
    K. Narayan Kumar and Deepak D'Souza
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Parallel Computing Hits the Power Wall : Principles, Challenges, and a Survey of Solutions - Arthur Francisco Lorenzon
    Parallel Computing Hits the Power Wall
    Principles, Challenges, and a Survey of Solutions
    Arthur Francisco Lorenzon and Antonio Carlos Schneider Beck Filho
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Middleware Solutions for the Internet of Things : SpringerBriefs in Computer Science - Flávia C. Delicato
    Middleware Solutions for the Internet of Things
    SpringerBriefs in Computer Science
    Flávia C. Delicato, Paulo F. Pires and Thais Batista
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Fault Prediction : A Road Map - Sandeep Kumar
    Software Fault Prediction
    A Road Map
    Sandeep Kumar and Santosh Singh Rathore
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mastering Disruption and Innovation in Product Management : Connecting the Dots - Christoph Fuchs
    Mastering Disruption and Innovation in Product Management
    Connecting the Dots
    Christoph Fuchs and Franziska Golenhofen
    eText
    Instant Online Reading*
    $89.00
    BUY EBOOK
  • Pro Angular - Adam Freeman
    Pro Angular
    Adam Freeman
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Pro ASP.NET MVC 5 - Adam Freeman
    Pro ASP.NET MVC 5
    Adam Freeman
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I - Axel Legay
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held...
    Axel Legay and Tiziana Margaria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures - Jonathan P. Bowen
    Engineering Trustworthy Software Systems
    Second International School, SETSS 2016, Chongq...
    Jonathan P. Bowen, Zhiming Liu and Zili Zhang
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II - Author
    Tools and Algorithms for the Construction and Analysis of Systems
    23rd International Conference, TACAS 2017, Held...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Thread and Data Mapping for Multicore Systems : Improving Communication and Memory Accesses - Eduardo H. M. Cruz
    Thread and Data Mapping for Multicore Systems
    Improving Communication and Memory Accesses
    Eduardo H. M. Cruz, Matthias Diener and Philippe O. A. Navaux
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Multiple Criteria Decision Aid : Methods, Examples and Python Implementations - Jason Papathanasiou
    Multiple Criteria Decision Aid
    Methods, Examples and Python Implementations
    Jason Papathanasiou and Nikolaos Ploskas
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • The Practice of Enterprise Modeling : 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings - Geert Poels
    The Practice of Enterprise Modeling
    10th IFIP WG 8.1. Working Conference, PoEM 2017...
    Geert Poels, Frederik Gailly, Estefania Serral Asensio and Monique Snoeck
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Software Quality: Methods and Tools for Better Software and Systems : 10th International Conference, SWQD 2018, Vienna, Austria, January 16-19, 2018, Proceedings - Dietmar Winkler
    Software Quality: Methods and Tools for Better Software and Systems
    10th International Conference, SWQD 2018, Vienn...
    Dietmar Winkler, Stefan Biffl and Johannes Bergsmann
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • SAP ERP Financial Accounting and Controlling : Configuration and Use Management - Andrew Okungbowa
    SAP ERP Financial Accounting and Controlling
    Configuration and Use Management
    Andrew Okungbowa
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Mobile Web and Intelligent Information Systems : 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings - Author
    Mobile Web and Intelligent Information Systems
    15th International Conference, MobiWIS 2018, Ba...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Reproducible Research in Pattern Recognition : Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers - Bertrand Kerautret
    Reproducible Research in Pattern Recognition
    Second International Workshop, RRPR 2018, Beiji...
    Bertrand Kerautret, Miguel Colom, Daniel Lopresti, Pascal Monasse and Hugues Talbot
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human-Computer Interaction. Design Practice in Contemporary Societies : Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III - Masaaki Kurosu
    Human-Computer Interaction. Design Practice in Contemporary Societies
    Thematic Area, HCI 2019, Held as Part of the 21...
    Masaaki Kurosu
    eText
    Instant Online Reading*
    $129.00
    BUY EBOOK
  • NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings - Clark Barrett
    NASA Formal Methods
    9th International Symposium, NFM 2017, Moffett ...
    Clark Barrett, Misty Davies and Temesghen Kahsai
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Human-Computer Interaction. User Interface Design, Development and Multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I - Masaaki Kurosu
    Human-Computer Interaction. User Interface Design, Development and Multimodality
    19th International Conference, HCI Internationa...
    Masaaki Kurosu
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Programming with Actors : State-of-the-Art and Research Perspectives - Alessandro Ricci
    Programming with Actors
    State-of-the-Art and Research Perspectives
    Alessandro Ricci and Philipp Haller
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Computational Science and Its Applications - ICCSA 2019 : 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part V - Sanjay Misra
    Computational Science and Its Applications - ICCSA 2019
    19th International Conference, Saint Petersburg...
    Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova and Eufemia Tarantino
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers - Michael Felderer
    Risk Assessment and Risk-Driven Testing
    Third International Workshop, RISK 2015, Berlin...
    Michael Felderer, Fredrik Seehusen, Marc-Florian Wendland and Jürgen Großmann
    eText
    Instant Online Reading*
    $64.99
    BUY EBOOK
  • Advanced Information Systems Engineering Workshops : CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings - Henderik A. Proper
    Advanced Information Systems Engineering Workshops
    CAiSE 2019 International Workshops, Rome, Italy...
    Henderik A. Proper and Janis Stirna
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Advanced Information Systems Engineering Workshops : CAISE 2017 International Workshops, Essen, Germany, June 12-16, 2017, Proceedings - Andreas Metzger
    Advanced Information Systems Engineering Workshops
    CAISE 2017 International Workshops, Essen, Germ...
    Andreas Metzger and Anne Persson
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • QoS Prediction in Cloud and Service Computing : Approaches and Applications - Yilei Zhang
    QoS Prediction in Cloud and Service Computing
    Approaches and Applications
    Yilei Zhang and Michael R. Lyu
    eText
    Instant Online Reading*
    $89.99
    BUY EBOOK
  • Advances in Human Factors, Software, and Systems Engineering : Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA - Tareq Ahram
    Advances in Human Factors, Software, and Systems Engineering
    Proceedings of the AHFE 2017 International Conf...
    Tareq Ahram and Waldemar Karwowski
    eText
    Instant Online Reading*
    $239.00
    BUY EBOOK
  • Agile Machine Learning : Effective Machine Learning Inspired by the Agile Manifesto - Eric Carter
    Agile Machine Learning
    Effective Machine Learning Inspired by the Agil...
    Eric Carter and Matthew Hurst
    eText
    Instant Online Reading*
    $119.00
    BUY EBOOK
  • Software Reliability Modeling : Fundamentals and Applications - Shigeru Yamada
    Software Reliability Modeling
    Fundamentals and Applications
    Shigeru Yamada
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Workload Characterization for Computer System Design : The Springer International Series in Engineering and Computer Science : Book 542 - Lizy Kurian John
    Workload Characterization for Computer System Design
    The Springer International Series in Engineerin...
    Lizy Kurian John and Ann Marie Grizzaffi Maynard
    eText
    Instant Online Reading*
    $159.01
    BUY EBOOK
  • Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II - Author
    Leveraging Applications of Formal Methods, Verification and Validation. Verification
    8th International Symposium, ISoLA 2018, Limass...
    Author
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • Quantitative Evaluation of Systems : 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings - Annabelle McIver
    Quantitative Evaluation of Systems
    15th International Conference, QEST 2018, Beiji...
    Annabelle McIver and Andras Horvath
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
  • SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings - Bernhard Steffen
    SOFSEM 2017: Theory and Practice of Computer Science
    43rd International Conference on Current Trends...
    Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder and Tiziana Margaria
    eText
    Instant Online Reading*
    $84.99
    BUY EBOOK
11185 Results | View 24 / 100
< 1 ... 103 104 105 106 107 ... 112 >
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