41- 60 of 451 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, Author: Bernd Fischer
QUICK ADD
Model Checking Software: 22nd…
by Bernd Fischer (Editor), Jaco Geldenhuys (Editor)
#9232 in Series
eBook $54.99
Title: Quality of Information and Communications Technology: 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings, Author: Antonio Vallecillo
QUICK ADD
Quality of Information and…
by Antonio Vallecillo (Editor), Joost Visser (Editor), Ricardo Pérez-Castillo (Editor)
#1621 in Series
eBook $84.99
Title: Model-Driven Engineering and Software Development: 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers, Author: Slimane Hammoudi
QUICK ADD
Model-Driven Engineering and…
by Slimane Hammoudi (Editor), Luís Ferreira Pires (Editor), Bran Selic (Editor), Philippe Desfray (Editor)
#692 in Series
eBook $54.99
Title: Knowledge-Based Software Engineering: 2020: Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020, Author: Maria Virvou
QUICK ADD
Knowledge-Based Software…
by Maria Virvou (Editor), Hiroyuki Nakagawa (Editor), Lakhmi C. Jain (Editor)
#19 in Series
eBook $149.00
Title: Dependable Computing - EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings, Author: Rasmus Adler
QUICK ADD
Dependable Computing - EDCC…
by Rasmus Adler (Editor), Amel Bennaceur (Editor), Simon Burton (Editor), Amleto Di Salle (Editor), Nicola Nostro (Editor)
#1462 in Series
eBook $54.99
Title: Reference Architectures for Critical Domains: Industrial Uses and Impacts, Author: Elisa Yumi Nakagawa
QUICK ADD
Reference Architectures for…
by Elisa Yumi Nakagawa (Editor), Pablo Oliveira Antonino (Editor)
eBook $109.00
Title: Efficient Go: Data-Driven Performance Optimization, Author: Bartlomiej Plotka
QUICK ADD
Efficient Go: Data-Driven…
by Bartlomiej Plotka
eBook $56.99
Title: Grand Timely Topics in Software Engineering: International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures, Author: Jácome Cunha
QUICK ADD
Grand Timely Topics in…
by Jácome Cunha (Editor), João P. Fernandes (Editor), Ralf Lämmel (Editor), João Saraiva (Editor), Vadim Zaytsev (Editor)
#10223 in Series
eBook $54.99
Title: Software Quality. The Future of Systems- and Software Development: 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality. The Future…
by Dietmar Winkler (Editor), Stefan Biffl (Editor), Johannes Bergsmann (Editor)
#238 in Series
eBook $54.99
Title: Service-Oriented Computing: 16th Symposium and Summer School, SummerSOC 2022, Hersonissos, Crete, Greece, July 3-9, 2022, Revised Selected Papers, Author: Johanna Barzen
QUICK ADD
Service-Oriented Computing:…
by Johanna Barzen (Editor), Frank Leymann (Editor), Schahram Dustdar (Editor)
#1603 in Series
eBook $54.99
Title: Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, Author: Emil Sekerinski
QUICK ADD
Formal Methods. FM 2019…
by Emil Sekerinski (Editor), Nelma Moreira (Editor), José N. Oliveira (Editor), Daniel Ratiu (Editor), Riccardo Guidotti (Editor)
#12232 in Series
eBook $54.99
Title: Software Engineering for Resilient Systems: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings, Author: Ivica Crnkovic
QUICK ADD
Software Engineering for…
by Ivica Crnkovic (Editor), Elena Troubitsyna (Editor)
#9823 in Series
eBook $54.99
Title: Euro-Par 2019: Parallel Processing: 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26-30, 2019, Proceedings, Author: Ramin Yahyapour
QUICK ADD
Euro-Par 2019: Parallel…
by Ramin Yahyapour (Editor)
#11725 in Series
eBook $79.99
Title: Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Author: Ezio Bartocci
QUICK ADD
Runtime Verification: 6th…
by Ezio Bartocci (Editor), Rupak Majumdar (Editor)
#9333 in Series
eBook $54.99
Title: Enterprise Architecture for Strategic Management of Modern IT Solutions, Author: Tiko Iyamu
QUICK ADD
Enterprise Architecture for…
by Tiko Iyamu
eBook $59.99
Title: Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, Author: Nir Piterman
QUICK ADD
Hardware and Software:…
by Nir Piterman (Editor)
#9434 in Series
eBook $54.99
Title: Technologies and Innovation: Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings, Author: Rafael Valencia-García
QUICK ADD
Technologies and Innovation:…
by Rafael Valencia-García (Editor), Katty Lagos-Ortiz (Editor), Gema Alcaraz-Mármol (Editor), Javier del Cioppo (Editor), Nestor Vera-Lucio (Editor)
#658 in Series
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Select, Author: Anna-Lena Lamprecht
QUICK ADD
Leveraging Applications of…
by Anna-Lena Lamprecht (Editor)
#683 in Series
eBook $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#12479 in Series
eBook $54.99
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, Author: Martin Davis
QUICK ADD
Logic for Programming,…
by Martin Davis (Editor), Ansgar Fehnker (Editor), Annabelle McIver (Editor), Andrei Voronkov (Editor)
#9450 in Series
eBook $54.99

Pagination Links