1- 20 of 1258 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems, Author: Guillermo Payá-Vayá
QUICK ADD
Towards a Common…
by Guillermo Payá-Vayá (Editor), Holger Blume (Editor)
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers, Author: Peggy Gregory
QUICK ADD
Agile Processes in Software…
by Peggy Gregory (Editor), Philippe Kruchten (Editor)
#426 in 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: 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: Engineering Agile Big-Data Systems, Author: Kevin Feeney
QUICK ADD
Engineering Agile Big-Data…
by Kevin Feeney, Jim Davies, James Welch
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: 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: 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: 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: 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: Engineering Ontologies and Ontologies for Engineering, Author: João Paulo A. Almeida
QUICK ADD
Engineering Ontologies and…
by João Paulo A. Almeida, Giancarlo Guizzardi
eBook FREE
Title: Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights, Author: Daniela Damian
QUICK ADD
Equity, Diversity, and…
by Daniela Damian (Editor), Kelly Blincoe (Editor), Denae Ford (Editor), Alexander Serebrenik (Editor), Zainab Masood (Editor)
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
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
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: 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: 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: 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: 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

Pagination Links