1- 20 of 3240 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: 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: 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
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
eBook FREE
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
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming: 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings, Author: Juan Garbajosa
QUICK ADD
Agile Processes in Software…
by Juan Garbajosa (Editor), Xiaofeng Wang (Editor), Ademar Aguiar (Editor)
#314 in Series
eBook FREE
Title: Monte Carlo Simulation For Scrum, Author: Stephen Angood
QUICK ADD
Monte Carlo Simulation For…
by Stephen Angood
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: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I, Author: Sharon Shoham
QUICK ADD
Computer Aided Verification:…
by Sharon Shoham (Editor), Yakir Vizel (Editor)
#13371 in Series
eBook FREE
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
eBook FREE
Title: DevOps for Digital Leaders: Reignite Business with a Modern DevOps-Enabled Software Factory, Author: Aruna Ravichandran
QUICK ADD
DevOps for Digital Leaders:…
by Aruna Ravichandran, Kieran Taylor, Peter Waterhouse
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: 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: 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: Fundamental Approaches to Software Engineering: 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Author: Artur Boronat
QUICK ADD
Fundamental Approaches to…
by Artur Boronat (Editor), Gordon Fraser (Editor)
#15693 in Series
eBook FREE
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: Agile Processes in Software Engineering and Extreme Programming: 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14-18, 2021, Proceedings, Author: Peggy Gregory
QUICK ADD
Agile Processes in Software…
by Peggy Gregory (Editor), Casper Lassenius (Editor), Xiaofeng Wang (Editor), Philippe Kruchten (Editor)
#419 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: To Hire or Not To Hire?, Author: Konstantin Borisov
QUICK ADD
To Hire or Not To Hire?
by Konstantin Borisov
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming: 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8-12, 2020, Proceedings, Author: Viktoria Stray
QUICK ADD
Agile Processes in Software…
by Viktoria Stray (Editor), Rashina Hoda (Editor), Maria Paasivaara (Editor), Philippe Kruchten (Editor)
#383 in Series
eBook FREE

Pagination Links