軟體工程
相關書籍
-
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024$3,630$3,557 -
Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings$3,370$3,302 -
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, Setta 2024, Hong Kong, China, November 26-28, 2024,$3,830$3,753 -
VIP 95折
The Fundamental Research for Trustworthy Software$6,560$6,232 -
VIP 95折
Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings$5,880$5,586 -
VIP 95折
Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions$2,760$2,622 -
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret$3,750$3,675 -
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos$3,560$3,488 -
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc$2,420$2,371 -
Software Engineering Methods Design and Application: Proceedings of 13th Computer Science Online Conference 2024, Volume 1$9,850$9,653 -
Software and Data Engineering: 33rd International Conference, Sede 2024, San Diego, Ca, Usa, October 21-22, 2024, Proceedings$3,560$3,488 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocco de Nicola: 12th International Symposium, I$3,540$3,363 -
VIP 95折
Systems Engineering Using the DEJI Systems Model(R): Evaluation, Justification, and Integration with Case Studies and Applications$2,390$2,270 -
VIP 95折
Computational Intelligence Techniques and Their Applications to Software Engineering Problems$2,420$2,299 -
79折
$378人人都能開發 RPA 機器人：UiPath 從入門到實戰 -
85折
$662深入理解軟件性能 : 一種動態視角 -
85折
$484高校數智轉型：WeMust理念、路徑、實踐與運營 -
Experimentation in Software Engineering$3,750$3,675 -
Proceedings of the International Conference on Intelligent Systems and Networks: Icisn 2024, 22-23 March 2024, Hanoi, Vietnam$15,170$14,866 -
Collaboration Technologies and Social Computing: 30th International Conference, Collabtech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings$2,800$2,744 -
Engineering Interactive Computer Systems. Eics 2023 International Workshops and Doctoral Consortium: Swansea, Uk, June 26-27, 2023, Selected Papers$2,800$2,744 -
Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2023 and Opencert 2023, Eindhoven, the Netherlands, November 6-10, 2023$2,040$1,999 -
VIP 95折
Concise Guide to Software Verification: From Model Checking to Annotation Checking$2,860$2,717 -
VIP 95折
Applied Data Science and Smart Systems$2,330$2,213 -
VIP 95折
Theoretical Aspects of Software Engineering: 18th International Symposium, Tase 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings$5,100$4,845 -
VIP 95折
Search-Based Software Engineering: 16th International Symposium, Ssbse 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings$2,760$2,622 -
79折
軟體工程理論與實務應用, 7/e$550$434 -
VIP 95折
Executing Design for Reliability Within the Product Life Cycle$2,410$2,289 -
VIP 95折
The Ultimate Zoom Cookbook: Over 100 recipes to enhance and engage communication with Zoom$1,440$1,368 -
VIP 95折
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: Volume 17$8,210$7,799
