61- 80 of 82 results
Grid View Grid
List View List
Grid View Grid
List View List
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: 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 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: 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings, Author: Hubert Baumeister
QUICK ADD
Agile Processes in Software…
by Hubert Baumeister (Editor), Horst Lichter (Editor), Matthias Riebisch (Editor)
#283 in Series
eBook FREE
Title: Are You Sure You Can Manage?: Software Engineering Management from the Software Engineers' Perspective, Author: Marcus Tomlinson
QUICK ADD
Are You Sure You Can Manage?:…
by Marcus Tomlinson
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: 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: Building a DevOps Culture, Author: Mandi Walls
QUICK ADD
Building a DevOps Culture
by Mandi Walls
eBook FREE
Title: Backend Handbook: for Ruby on Rails Apps, Author: Francisco Quintero
QUICK ADD
Backend Handbook: for Ruby on…
by Francisco Quintero
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: GUI Design for Android Apps, Author: Ryan Cohen
QUICK ADD
GUI Design for Android Apps
by Ryan Cohen, Tao Wang
eBook FREE
Title: Agile Processes in Software Engineering and Extreme Programming: 20th International Conference, XP 2019, Montréal, QC, Canada, May 21-25, 2019, Proceedings, Author: Philippe Kruchten
QUICK ADD
Agile Processes in Software…
by Philippe Kruchten (Editor), Steven Fraser (Editor), François Coallier (Editor)
#355 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: 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: The Privacy Engineer's Manifesto: Getting from Policy to Code to QA to Value, Author: Michelle Dennedy
QUICK ADD
The Privacy Engineer's…
by Michelle Dennedy, Jonathan Fox, Tom Finneran
eBook FREE
Title: Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops, Author: Alexander Supalov
QUICK ADD
Optimizing HPC Applications…
by Alexander Supalov, Andrey Semin, Christopher Dahnken, Michael Klemm
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: Cmmi Implementation Guide, Author: Vishnuvarthanan Moorthy
QUICK ADD
Cmmi Implementation Guide
by Vishnuvarthanan Moorthy
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: 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

Pagination Links