1- 20 of 46 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Deployment and Operation of Complex Software in Heterogeneous Execution Environments: The SODALITE Approach, Author: Elisabetta Di Nitto
QUICK ADD
Deployment and Operation of…
by Elisabetta Di Nitto (Editor), Jesús Gorroñogoitia Cruz (Editor), Indika Kumara (Editor), Dragan Radolovic (Editor), Kamil Tokmakov (Editor)
Explore Series
eBook FREE
Title: The AI Act and The Agile Safety Plan, Author: Thor Myklebust
QUICK ADD
The AI Act and The Agile…
by Thor Myklebust, Tor Stålhane, Dorthea Mathilde Kristin Vatn
Explore Series
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers, Author: Lodovica Marchesi
QUICK ADD
Agile Processes in Software…
by Lodovica Marchesi (Editor), Alfredo Goldman (Editor), Maria Ilaria Lunesu (Editor), Adam Przybylek (Editor), Ademar Aguiar (Editor)
#524 in Series
eBook FREE
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
eBook FREE
Title: Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Author: Reiner Hähnle
QUICK ADD
Fundamental Approaches to…
by Reiner Hähnle (Editor), Wil van der Aalst (Editor)
#11424 in Series
eBook FREE
Title: Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, Author: Isil Dillig
QUICK ADD
Computer Aided Verification:…
by Isil Dillig (Editor), Serdar Tasiran (Editor)
#11561 in Series
eBook FREE
Title: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Author: Shuvendu K. Lahiri
QUICK ADD
Computer Aided Verification:…
by Shuvendu K. Lahiri (Editor), Chao Wang (Editor)
#12225 in Series
eBook FREE
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
eBook FREE
Title: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, Author: Shuvendu K. Lahiri
QUICK ADD
Computer Aided Verification:…
by Shuvendu K. Lahiri (Editor), Chao Wang (Editor)
#12224 in Series
eBook FREE
Title: Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, Author: Isil Dillig
QUICK ADD
Computer Aided Verification:…
by Isil Dillig (Editor), Serdar Tasiran (Editor)
#11562 in Series
eBook FREE
Title: Metamodeling for Extended Reality, Author: Fabian Muff
QUICK ADD
Metamodeling for Extended…
by Fabian Muff
eBook FREE
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
eBook FREE
Title: Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II, Author: Sharon Shoham
QUICK ADD
Computer Aided Verification:…
by Sharon Shoham (Editor), Yakir Vizel (Editor)
#13372 in Series
eBook FREE
Title: Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Author: Dirk Beyer
QUICK ADD
Fundamental Approaches to…
by Dirk Beyer (Editor), Ana Cavalcanti (Editor)
#14573 in Series
eBook FREE
Title: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I, Author: Arie Gurfinkel
QUICK ADD
Computer Aided Verification:…
by Arie Gurfinkel (Editor), Vijay Ganesh (Editor)
#14681 in Series
eBook FREE
Title: Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Author: Leen Lambers
QUICK ADD
Fundamental Approaches to…
by Leen Lambers (Editor), Sebastián Uchitel (Editor)
#13991 in Series
eBook FREE
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
eBook FREE
Title: Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II, Author: André Platzer
QUICK ADD
Formal Methods: 26th…
by André Platzer (Editor), Kristin Yvonne Rozier (Editor), Matteo Pradella (Editor), Matteo Rossi (Editor)
#14934 in Series
eBook FREE
Title: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, Author: Constantin Enea
QUICK ADD
Computer Aided Verification:…
by Constantin Enea (Editor), Akash Lal (Editor)
#13964 in Series
eBook FREE
Title: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II, Author: Arie Gurfinkel
QUICK ADD
Computer Aided Verification:…
by Arie Gurfinkel (Editor), Vijay Ganesh (Editor)
#14682 in Series
eBook FREE

Pagination Links