軟體工程
相關書籍
-
VIP 95折
Richard Stallman: The Free Software Pioneer Exposed - Unauthorized$4,100$3,895 -
VIP 95折
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024$3,150$2,993 -
VIP 95折
Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings$3,280$3,116 -
VIP 95折
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, Setta 2024, Hong Kong, China, November 26-28, 2024,$3,340$3,173 -
VIP 95折
The Fundamental Research for Trustworthy Software$6,370$6,052 -
VIP 95折
Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings$5,710$5,425 -
VIP 95折
Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions$2,490$2,366 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret$3,280$3,116 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos$3,090$2,936 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc$2,350$2,233 -
VIP 95折
Software Engineering Methods Design and Application: Proceedings of 13th Computer Science Online Conference 2024, Volume 1$8,460$8,037 -
VIP 95折
Software and Data Engineering: 33rd International Conference, Sede 2024, San Diego, Ca, Usa, October 21-22, 2024, Proceedings$3,280$3,116 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocco de Nicola: 12th International Symposium, I$3,440$3,268 -
VIP 95折
Systems Engineering Using the DEJI Systems Model(R): Evaluation, Justification, and Integration with Case Studies and Applications$2,490$2,366 -
VIP 95折
Computational Intelligence Techniques and Their Applications to Software Engineering Problems$2,490$2,366 -
VIP 95折
人人都能開發 RPA 機器人：UiPath 從入門到實戰$479$455 -
VIP 95折
深入理解軟件性能 : 一種動態視角$779$740 -
85折
$485高校數智轉型：WeMust理念、路徑、實踐與運營 -
VIP 95折
Experimentation in Software Engineering$3,650$3,468 -
VIP 95折
Proceedings of the International Conference on Intelligent Systems and Networks: Icisn 2024, 22-23 March 2024, Hanoi, Vietnam$14,750$14,013 -
VIP 95折
Collaboration Technologies and Social Computing: 30th International Conference, Collabtech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings$2,720$2,584 -
VIP 95折
Engineering Interactive Computer Systems. Eics 2023 International Workshops and Doctoral Consortium: Swansea, Uk, June 26-27, 2023, Selected Papers$2,720$2,584 -
VIP 95折
Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2023 and Opencert 2023, Eindhoven, the Netherlands, November 6-10, 2023$1,980$1,881 -
VIP 95折
Concise Guide to Software Verification: From Model Checking to Annotation Checking$2,780$2,641 -
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$4,950$4,703 -
VIP 95折
Search-Based Software Engineering: 16th International Symposium, Ssbse 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings$2,680$2,546 -
79折
軟體工程理論與實務應用, 7/e$550$435 -
VIP 95折
Executing Design for Reliability Within the Product Life Cycle$2,500$2,375 -
VIP 95折
The Ultimate Zoom Cookbook: Over 100 recipes to enhance and engage communication with Zoom$1,340$1,273
