81- 100 of 3178 results
Grid View Grid
List View List
Grid View Grid
List View List
Get it today with Buy Online, Pick up in Store Find My Store
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: 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: 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: 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: 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: 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: 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: 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: 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: 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 II, Author: Constantin Enea
QUICK ADD
Computer Aided Verification:…
by Constantin Enea (Editor), Akash Lal (Editor)
#13965 in Series
eBook FREE
Title: Creating Mobile Apps with Xamarin.Forms Preview Edition 2, Author: Charles Petzold
QUICK ADD
Creating Mobile Apps with…
by Charles Petzold
Explore Series
eBook FREE
Title: What is Dart?, Author: Kathy Walrath
QUICK ADD
What is Dart?
by Kathy Walrath, Seth Ladd
eBook FREE
Title: The Robert C. Martin Clean Code Collection (Collection), Author: Robert C. Martin
QUICK ADD
The Robert C. Martin Clean…
by Robert C. Martin
Explore Series
eBook $56.99
Title: What is DevOps?, Author: Mike Loukides
QUICK ADD
What is DevOps?
by Mike Loukides
eBook FREE
Title: Building a DevOps Culture, Author: Mandi Walls
QUICK ADD
Building a DevOps Culture
by Mandi Walls
eBook FREE
Title: Diary of a Software Craftsman, Author: Mete Atamel
QUICK ADD
Diary of a Software Craftsman
by Mete Atamel
eBook FREE
Title: Construction Supply Chain Economics, Author: Kerry London
QUICK ADD
Construction Supply Chain…
by Kerry London
Explore Series
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: A Lightning Introduction to Scrum, Author: Mohammed Musthafa Soukath Ali
QUICK ADD
A Lightning Introduction to…
by Mohammed Musthafa Soukath Ali
eBook FREE

Pagination Links