Title: Fuzzing for Software Security Testing and Quality Assurance, Author: Ari Takanen
Title: Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, Author: Owolabi Legunsen
Title: Methods and Applications for Modeling and Simulation of Complex Systems: 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part II, Author: Fazilah Hassan
Title: Methods and Applications for Modeling and Simulation of Complex Systems: 22nd Asia Simulation Conference, AsiaSim 2023, Langkawi, Malaysia, October 25-26, 2023, Proceedings, Part I, Author: Fazilah Hassan
Title: Euro-Par 2023: Parallel Processing: 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023, Proceedings, Author: José Cano
Title: Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, Author: Klaus Havelund
Title: NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings, Author: Kristin Yvonne Rozier
Title: Software Architecture: 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings, Author: Stefan Biffl
Title: Algorithmic Game Theory: 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings, Author: Ioannis Caragiannis
Title: Learn Java for Android Development: Migrating Java SE Programming Skills to Mobile Development, Author: Peter Spïth
Title: Modelling and Simulation for Autonomous Systems: 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers, Author: Jan Mazal
Title: Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings, Author: Yamine Aït-Ameur
Title: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, Author: Tiziana Margaria
Title: Analysis and Design of Information Systems, Author: Arthur M. Langer
Title: Body of Knowledge for Modeling and Simulation: A Handbook by the Society for Modeling and Simulation International, Author: Tuncer ïren
Title: Distributed Applications and Interoperable Systems: 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-2, Author: Rolando Martins
Title: Service-Oriented and Cloud Computing: 9th IFIP WG 6.12 European Conference, ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Proceedings, Author: Fabrizio Montesi
Title: The Unified Process for Practitioners: Object-Oriented Design, UML and Java, Author: John Hunt
Explore Series
Title: Electromagnetic Linear Machines with Dual Halbach Array: Design and Analysis, Author: Liang Yan
Title: Advances in Computing: 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers, Author: Marta Tabares

Pagination Links