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
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
Title: Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, Author: Alexandra Silva
Title: Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems, Author: Guillermo Payá-Vayá
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
Title: Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II, Author: André Platzer
Title: Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, Author: Isil Dillig
Title: CMMI High Maturity Hand Book, Author: Vishnuvarthanan Moorthy
Title: Optimizing HPC Applications with Intel Cluster Tools: Hunting Petaflops, Author: Alexander Supalov
Title: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, Author: Shuvendu K. Lahiri
Title: Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, Author: Constantin Enea
Title: GUI Design for Android Apps, Author: Ryan Cohen
Title: Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Author: Reiner Hähnle
Title: The AI Act and The Agile Safety Plan, Author: Thor Myklebust
Title: Essays in Personalizable Software (Gerry Stahl's eLibrary, #8), Author: Gerry Stahl
Explore Series
Title: Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Author: Shuvendu K. Lahiri
Title: What is Dart?, Author: Kathy Walrath
Title: Introdução a Programação, Author: Andre Campos
Title: Engineering Ontologies and Ontologies for Engineering, Author: João Paulo A. Almeida
Title: DevOps for Digital Leaders: Reignite Business with a Modern DevOps-Enabled Software Factory, Author: Aruna Ravichandran

Pagination Links