Title: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II, Author: Arie Gurfinkel
Title: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, Author: Constantin Enea
Title: Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I, Author: Sharon Shoham
Title: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II, Author: Constantin Enea
Title: Creating Mobile Apps with Xamarin.Forms Preview Edition 2, Author: Charles Petzold
Title: What is Dart?, Author: Kathy Walrath
Title: The Robert C. Martin Clean Code Collection (Collection), Author: Robert C. Martin
Title: What is DevOps?, Author: Mike Loukides
Title: Building a DevOps Culture, Author: Mandi Walls
Title: Diary of a Software Craftsman, Author: Mete Atamel
Title: Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops, Author: Alexander Supalov
Title: A Lightning Introduction to Scrum, Author: Mohammed Musthafa Soukath Ali
Title: To Hire or Not To Hire?, Author: Konstantin Borisov
Title: Antifragile Systems and Teams, Author: Dave Zwieback
Title: Engineering Ontologies and Ontologies for Engineering, Author: João Paulo A. Almeida
Title: The Privacy Engineer's Manifesto: Getting from Policy to Code to QA to Value, Author: Michelle Dennedy
Title: Cmmi Implementation Guide, Author: Vishnuvarthanan Moorthy
Title: Essays in Personalizable Software (Gerry Stahl's eLibrary, #8), Author: Gerry Stahl
Explore Series
Title: Managing Agile Open-Source Software Projects with Visual Studio Online, Author: Brian Blackman
Title: The Scalyr Guide to Getting Started Logging as Quickly as Possible Vol. 2, Author: Scalyr
by Scalyr

Pagination Links