1- 20 of 153 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures, Author: Elena Giachino
QUICK ADD
Formal Methods for Components…
by Elena Giachino (Editor), Reiner Hähnle (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)
#7866 in Series
Paperback $49.99
Title: Flash MX Studio / Edition 1, Author: Connor McDonald
QUICK ADD
Flash MX Studio / Edition 1
by Connor McDonald, Jon Steer, Jerome Turner, Abe White, Gerald YardFace
Paperback $49.99
Title: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III, Author: Arie Gurfinkel
QUICK ADD
Computer Aided Verification:…
by Arie Gurfinkel (Editor), Vijay Ganesh (Editor)
#14683 in Series
Paperback $49.99
Title: Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings, Author: Pieter Van Gorp
QUICK ADD
Modelling Foundations and…
by Pieter Van Gorp (Editor), Tom Ritter (Editor), Louis M Rose (Editor)
#7949 in Series
Paperback $49.99
Title: Effective Software Testing: A developer's guide, Author: Mauricio Aniche
QUICK ADD
Effective Software Testing: A…
by Mauricio Aniche
Paperback $49.99
Title: Unraveling Software Maintenance and Evolution: Thinking Outside the Box, Author: Ervin Varga
QUICK ADD
Unraveling Software…
by Ervin Varga
Paperback $49.99
Title: Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I, Author: André Platzer
QUICK ADD
Formal Methods: 26th…
by André Platzer (Editor), Kristin Yvonne Rozier (Editor), Matteo Pradella (Editor), Matteo Rossi (Editor)
#14933 in Series
Paperback $49.99
Title: Agile Processes in Software Engineering and Extreme Programming: 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings, Author: Sibylle Peter Pre-Order Now
QUICK ADD
Agile Processes in Software…
by Sibylle Peter (Editor), Martin Kropp (Editor), Ademar Aguiar (Editor), Craig Anslow (Editor), Maria Ilaria Lunesu (Editor)
#545 in Series
Paperback $49.99
Title: Agile Processes in Software Engineering and Extreme Programming: 23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13-17, 2022, Proceedings, Author: Viktoria Stray
QUICK ADD
Agile Processes in Software…
by Viktoria Stray (Editor), Klaas-Jan Stol (Editor), Maria Paasivaara (Editor), Philippe Kruchten (Editor)
#445 in Series
Paperback $49.99
Title: Agile Processes in Software Engineering and Extreme Programming: 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings, Author: Christoph J. Stettina
QUICK ADD
Agile Processes in Software…
by Christoph J. Stettina (Editor), Juan Garbajosa (Editor), Philippe Kruchten (Editor)
#475 in Series
Paperback $49.99
Title: GitHub Actions in Action: Continuous integration and delivery for DevOps, Author: Michael Kaufmann
QUICK ADD
GitHub Actions in Action:…
by Michael Kaufmann, Rob Ros, Marcel de Vries
Explore Series
Paperback $49.99
Title: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, Author: Constantin Enea
QUICK ADD
Computer Aided Verification:…
by Constantin Enea (Editor), Akash Lal (Editor)
#13966 in Series
Paperback $49.99
Title: AI-Powered Developer: Build great software with ChatGPT and Copilot, Author: Nathan B. Crocker
QUICK ADD
AI-Powered Developer: Build…
by Nathan B. Crocker
Paperback $49.99
Title: Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I, Author: Alexandra Silva
QUICK ADD
Computer Aided Verification:…
by Alexandra Silva (Editor), K. Rustan M. Leino (Editor)
#12759 in Series
Paperback $49.99
Title: Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Author: Esther Guerra
QUICK ADD
Fundamental Approaches to…
by Esther Guerra (Editor), Mariëlle Stoelinga (Editor)
#12649 in Series
Paperback $49.99
Title: Design Thinking for Tech: Solving Problems and Realizing Value in 24 Hours, Author: George Anderson
QUICK ADD
Design Thinking for Tech:…
by George Anderson
Explore Series
Paperback $49.99
Title: Age-Appropriate Digital Channels, Author: Alireza Darvishy
QUICK ADD
Age-Appropriate Digital…
by Alireza Darvishy, Hans-Peter Hutter, Alexander Seifert
Explore Series
Paperback $49.99
Title: Think Like a Software Engineering Manager, Author: Akanksha Gupta
QUICK ADD
Think Like a Software…
by Akanksha Gupta
Paperback $49.99
Title: Introduction to Generative AI, Author: Numa Dhamani
QUICK ADD
Introduction to Generative AI
by Numa Dhamani, Maggie Engler
Paperback $49.99
Title: Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, Author: Alexandra Silva
QUICK ADD
Computer Aided Verification:…
by Alexandra Silva (Editor), K. Rustan M. Leino (Editor)
#12760 in Series
Paperback $49.99

Pagination Links