Title: Formal Methods for Safety and Security: Case Studies for Aerospace Applications, Author: Manju Nanda
Title: Specification of Software Systems, Author: V.S. Alagar
Title: Scaling Lean & Agile Development: Thinking and Organizational Tools for Large-Scale Scrum, Author: Craig Larman
Title: Software Traceability for Multi-Agent Systems Implemented Using BDI Architecture (vol. 1), Author: Gilberto Cysneiros Filho
Title: OPNET IoT Simulation, Author: Min Chen
Title: Agile Methods: 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers, Author: Paulo Meirelles
Title: Service-Oriented Computing: 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13-17, 2021, Proceedings, Author: Johanna Barzen
Title: Advanced Computer Performance Modeling and Simulation, Author: Kallol Bagchi
Title: Continuous Delivery 2.0: Business-leading DevOps Essentials, Author: Qiao Liang
Title: Testing Software and Systems: 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings, Author: Khaled El-Fakih
Title: Revival: The Handbook of Software for Engineers and Scientists (1995), Author: Paul Ross
Explore Series
Title: OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers, Author: Manjunath Gorentla Venkata
Title: Netcentric System of Systems Engineering with DEVS Unified Process, Author: Saurabh Mittal
Title: Advances in Computers, Author: Atif Memon
Title: Foundations of Software Engineering, Author: Ashfaque Ahmed
Title: Software Quality Engineering: A Practitioner's Approach, Author: Witold Suryn
Title: Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers, Author: Shaoying Liu
Title: Software Architecture: 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings, Author: Stefan Biffl
Title: Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, Author: Michael Hanus
Title: Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III), Author: Seon Ki Park

Pagination Links