Title: Quantum Process Algebra, Author: Yong Wang Ph.D.
Title: Advanced Control and Intelligent Computing Applications: 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, C, Author: Chen Peng
Title: Smart Grid and Cyber Security Technologies: 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, Septemb, Author: Dajun Du
Title: Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II, Author: S. Akshay
Title: Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I, Author: S. Akshay
Title: Model and Data Engineering: 13th International Conference, MEDI 2024, Naples, Italy, November 18-20, 2024, Proceedings, Author: Carlos Ordonez
Title: Fundamentals of Software Engineering: 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, Author: Hossein Hojjat
Title: Simulation Tools and Techniques: 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings, Author: Angel A. Juan
Title: Requirements Engineering: Foundation for Software Quality: 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings, Author: Anne Hess
Title: From Data to Models and Back: 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers, Author: Ricardo M. Czekster
Title: From Data to Models and Back: 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers, Author: Giovanna Broccia
Title: Balancing Software Innovation and Regulatory Compliance: 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings, Author: Jannik Fischbach
Title: Transactions on Pattern Languages of Programming V, Author: Eugene Wallingford
Title: Computer Aided Systems Theory - EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II, Author: Alexis Quesada-Arencibia
Title: Getting to Know Mobile GIS, Author: Pinde Fu
Title: Bridging the Gap Between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings, Author: Bernhard Steffen
Title: Computer Aided Systems Theory - EUROCAST 2024: 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I, Author: Alexis Quesada-Arencibia
Title: Software Engineering Approaches to Enable Digital Transformation Technologies, Author: Sanjay Misra
Title: Testing Software and Systems: 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings, Author: Héctor D. Menéndez
Title: Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, Author: Edward A. Lee

Pagination Links