1- 20 of 1266 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: 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: Introdução a Programação, Author: Andre Campos
QUICK ADD
Introdução a Programação
by Andre Campos
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming - Workshops: XP 2019 Workshops, Montréal, QC, Canada, May 21-25, 2019, Proceedings, Author: Rashina Hoda
QUICK ADD
Agile Processes in Software…
by Rashina Hoda (Editor)
#364 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
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: 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: 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: 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: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II, Author: Constantin Enea
QUICK ADD
Computer Aided Verification:…
by Constantin Enea (Editor), Akash Lal (Editor)
#13965 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: Agile Processes in Software Engineering and Extreme Programming: 23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13-17, 2022, Proceedings, Author: Viktoria Stray
QUICK ADD
Agile Processes in Software…
by Viktoria Stray (Editor), Klaas-Jan Stol (Editor), Maria Paasivaara (Editor), Philippe Kruchten (Editor)
#445 in Series
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: Title: The Ultimate Guide to Software Development: Exploring Emerging Technologies and Key Concepts, Author: Ahmed Shafea
QUICK ADD
Title: The Ultimate Guide to…
by Ahmed Shafea
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: Developing Sustainable and Energy-Efficient Software Systems, Author: Artem Kruglov
QUICK ADD
Developing Sustainable and…
by Artem Kruglov, Giancarlo Succi
Explore 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: 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