軟體工程
相關書籍
-
VIP 95折
Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings$3,360$3,192 -
VIP 95折
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, Setta 2024, Hong Kong, China, November 26-28, 2024,$3,430$3,259 -
VIP 95折
The Fundamental Research for Trustworthy Software$6,540$6,213 -
VIP 95折
Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings$5,860$5,567 -
VIP 95折
Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions$2,550$2,423 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret$3,360$3,192 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos$3,170$3,012 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc$2,410$2,290 -
VIP 95折
Software Engineering Methods Design and Application: Proceedings of 13th Computer Science Online Conference 2024, Volume 1$8,680$8,246 -
VIP 95折
Software and Data Engineering: 33rd International Conference, Sede 2024, San Diego, Ca, Usa, October 21-22, 2024, Proceedings$3,360$3,192 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocco de Nicola: 12th International Symposium, I$3,530$3,354 -
VIP 95折
Systems Engineering Using the DEJI Systems Model(R): Evaluation, Justification, and Integration with Case Studies and Applications$2,560$2,432 -
VIP 95折
Computational Intelligence Techniques and Their Applications to Software Engineering Problems$2,560$2,432 -
VIP 95折
Experimentation in Software Engineering$3,740$3,553 -
VIP 95折
Proceedings of the International Conference on Intelligent Systems and Networks: Icisn 2024, 22-23 March 2024, Hanoi, Vietnam$15,120$14,364 -
VIP 95折
Collaboration Technologies and Social Computing: 30th International Conference, Collabtech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings$2,790$2,651 -
VIP 95折
Engineering Interactive Computer Systems. Eics 2023 International Workshops and Doctoral Consortium: Swansea, Uk, June 26-27, 2023, Selected Papers$2,790$2,651 -
VIP 95折
Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2023 and Opencert 2023, Eindhoven, the Netherlands, November 6-10, 2023$2,030$1,929 -
VIP 95折
Concise Guide to Software Verification: From Model Checking to Annotation Checking$2,850$2,708 -
VIP 95折
Applied Data Science and Smart Systems$2,330$2,214 -
VIP 95折
Theoretical Aspects of Software Engineering: 18th International Symposium, Tase 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings$5,080$4,826 -
VIP 95折
Search-Based Software Engineering: 16th International Symposium, Ssbse 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings$2,750$2,613 -
VIP 95折
Executing Design for Reliability Within the Product Life Cycle$2,570$2,442 -
VIP 95折
The Ultimate Zoom Cookbook: Over 100 recipes to enhance and engage communication with Zoom$1,380$1,311 -
VIP 95折
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: Volume 17$7,410$7,040 -
VIP 95折
Software Technologies: 18th International Conference, Icsoft 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers$5,860$5,567 -
VIP 95折
Software Engineering for Data Scientists: From Notebooks to Scalable Systems (Paperback)$2,700$2,565 -
VIP 95折
Proceedings of International Conference on Recent Innovations in Computing: Icric 2022, Volume 2$10,030$9,529 -
VIP 95折
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter$7,310$6,945 -
VIP 95折
Proceedings of International Conference on Recent Innovations in Computing: Icric 2022, Volume 1$10,030$9,529
