881- 900 of 926 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#13701 in Series
eBook $89.00
Title: Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings, Author: Ahmed Bouajjani
QUICK ADD
Automated Technology for…
by Ahmed Bouajjani (Editor), Lukás Holík (Editor), Zhilin Wu (Editor)
#13505 in Series
eBook $84.99
Title: Technologies and Innovation: 8th International Conference, CITI 2022, Guayaquil, Ecuador, November 14-17, 2022, Proceedings, Author: Rafael Valencia-García
QUICK ADD
Technologies and Innovation:…
by Rafael Valencia-García (Editor), Martha Bucaram-Leverone (Editor), Javier Del Cioppo-Morstadt (Editor), Néstor Vera-Lucio (Editor), Emma Jácome-Murillo (Editor)
#1658 in Series
eBook $84.99
Title: Efficient Go: Data-Driven Performance Optimization, Author: Bartlomiej Plotka
QUICK ADD
Efficient Go: Data-Driven…
by Bartlomiej Plotka
eBook $56.99
Title: Product-Focused Software Process Improvement: 23rd International Conference, PROFES 2022, Jyväskylä, Finland, November 21-23, 2022, Proceedings, Author: Davide Taibi
QUICK ADD
Product-Focused Software…
by Davide Taibi (Editor), Marco Kuhrmann (Editor), Tommi Mikkonen (Editor), Jil Klünder (Editor), Pekka Abrahamsson (Editor)
#13709 in Series
eBook $99.00
Title: Advances in Computing: 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22-26, 2021, Revised Selected Papers, Author: Enrique Gonzalez
QUICK ADD
Advances in Computing: 15th…
by Enrique Gonzalez (Editor), Mariela Curiel (Editor), Andrés Moreno (Editor), Angela Carrillo-Ramos (Editor), Rafael Páez (Editor)
#1594 in Series
eBook $69.99
Title: Engineering Software for Modern Challenges: First International Conference, ESMoC 2021, Johor, Malaysia, October 20-21, 2021, Revised Selected Papers, Author: Dayang Norhayati A. Jawawi
QUICK ADD
Engineering Software for…
by Dayang Norhayati A. Jawawi (Editor), Imran Sarwar Bajwa (Editor), Rafaqut Kazmi (Editor)
#1615 in Series
eBook $69.99
Title: Search-Based Software Engineering: 14th International Symposium, SSBSE 2022, Singapore, November 17-18, 2022, Proceedings, Author: Mike Papadakis
QUICK ADD
Search-Based Software…
by Mike Papadakis (Editor), Silvia Regina Vergilio (Editor)
#13711 in Series
eBook $59.99
Title: Model-Based Approaches to the Internet of Things, Author: Pascal Hirmer
QUICK ADD
Model-Based Approaches to the…
by Pascal Hirmer
eBook $189.00
Title: Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, Author: Roberto E. Lopez-Herrejon
QUICK ADD
Handbook of Re-Engineering…
by Roberto E. Lopez-Herrejon (Editor), Jabier Martinez (Editor), Wesley Klewerton Guez Assunïïo (Editor), Tewfik Ziadi (Editor), Mathieu Acher (Editor)
eBook $189.00
Title: Digital Twin Technology: Fundamentals and Applications, Author: Manisha Vohra
QUICK ADD
Digital Twin Technology:…
by Manisha Vohra (Editor)
eBook $156.00
Title: Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage: Second International Conference, TMM_CH 2021, Athens, Greece, December 13-15, 2021, Revised Selected Papers, Author: Antonia Moropoulou
QUICK ADD
Trandisciplinary Multispectral…
by Antonia Moropoulou (Editor), Andreas Georgopoulos (Editor), Anastasios Doulamis (Editor), Marinos Ioannides (Editor), Alfredo Ronchi (Editor)
#1574 in Series
eBook $84.99
Title: A Friendly Guide to Software Development: What You Should Know Without Being a Developer, Author: Leticia Portella
QUICK ADD
A Friendly Guide to Software…
by Leticia Portella
Explore Series
eBook $54.99
Title: A Software Engineer's Guide to Seniority: A Guide to Technical Leadership, Author: Jocelyn Harper
QUICK ADD
A Software Engineer's Guide to…
by Jocelyn Harper
eBook $59.99
Title: Patterns for API Design: Simplifying Integration with Loosely Coupled Message Exchanges, Author: Olaf Zimmermann
QUICK ADD
Patterns for API Design:…
by Olaf Zimmermann, Mirko Stocker, Daniel Lubke, Uwe Zdun, Cesare Pautasso
Explore Series
eBook $52.99
Title: Software Engineering: Basic Principles and Best Practices, Author: Ravi Sethi
QUICK ADD
Software Engineering: Basic…
by Ravi Sethi
eBook $64.00
Title: Pro Android with Kotlin: Developing Modern Mobile Apps with Kotlin and Jetpack, Author: Peter Spïth
QUICK ADD
Pro Android with Kotlin:…
by Peter Spïth
eBook $59.99
Title: Advances in Conceptual Modeling: ER 2022 Workshops, CMLS, EmpER, and JUSMOD, Hyderabad, India, October 17-20, 2022, Proceedings, Author: Renata Guizzardi
QUICK ADD
Advances in Conceptual…
by Renata Guizzardi (Editor), Bernd Neumayr (Editor)
#13650 in Series
eBook $59.99
Title: Cloud Computing and Services Science: 11th International Conference, CLOSER 2021, Virtual Event, April 28-30, 2021, Revised Selected Papers, Author: Donald Ferguson
QUICK ADD
Cloud Computing and Services…
by Donald Ferguson (Editor), Markus Helfert (Editor), Claus Pahl (Editor)
#1607 in Series
eBook $69.99
Title: Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, June 20-23, 2022, Revised Selected Papers, Author: Aurora González-Vidal
QUICK ADD
Internet of Things: 5th The…
by Aurora González-Vidal (Editor), Ahmed Mohamed Abdelgawad (Editor), Essaid Sabir (Editor), Sébastien Ziegler (Editor), Latif Ladid (Editor)
#13533 in Series
eBook $89.99

Pagination Links