41- 60 of 83 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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: Software for Exascale Computing - SPPEXA 2016-2019, Author: Hans-Joachim Bungartz
QUICK ADD
Software for Exascale…
by Hans-Joachim Bungartz (Editor), Severin Reiz (Editor), Benjamin Uekermann (Editor), Philipp Neumann (Editor), Wolfgang E. Nagel (Editor)
#136 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: 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: 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: Mobile Edge Computing, Author: Yan Zhang
QUICK ADD
Mobile Edge Computing
by Yan Zhang
#9 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: 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: 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: 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: 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: 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: Computer-Driven Instructional Design with INTUITEL, Author: Kevin Fuchs
QUICK ADD
Computer-Driven Instructional…
by Kevin Fuchs (Editor), Peter A. Henning (Editor)
eBook FREE
Title: Behavioural Types: From Theory to Tools, Author: Simon Gay
QUICK ADD
Behavioural Types: From Theory…
by Simon Gay (Editor), António Ravara (Editor)
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: 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: To Hire or Not To Hire?, Author: Konstantin Borisov
QUICK ADD
To Hire or Not To Hire?
by Konstantin Borisov
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: 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

Pagination Links