軟體工程
相關書籍
-
VIP 95折
Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings$3,460$3,287 -
VIP 95折
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, Setta 2024, Hong Kong, China, November 26-28, 2024,$3,940$3,743 -
VIP 95折
The Fundamental Research for Trustworthy Software$6,740$6,403 -
VIP 95折
Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings$6,040$5,738 -
VIP 95折
Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions$2,830$2,688 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret$3,860$3,667 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos$3,660$3,477 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc$2,490$2,365 -
VIP 95折
Software Engineering Methods Design and Application: Proceedings of 13th Computer Science Online Conference 2024, Volume 1$10,120$9,614 -
VIP 95折
Software and Data Engineering: 33rd International Conference, Sede 2024, San Diego, Ca, Usa, October 21-22, 2024, Proceedings$3,660$3,477 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocco de Nicola: 12th International Symposium, I$3,640$3,458 -
VIP 95折
Systems Engineering Using the DEJI Systems Model(R): Evaluation, Justification, and Integration with Case Studies and Applications$2,550$2,422 -
VIP 95折
Computational Intelligence Techniques and Their Applications to Software Engineering Problems$2,580$2,451 -
VIP 95折
Experimentation in Software Engineering$3,860$3,667 -
VIP 95折
Proceedings of the International Conference on Intelligent Systems and Networks: Icisn 2024, 22-23 March 2024, Hanoi, Vietnam$15,600$14,820 -
VIP 95折
Collaboration Technologies and Social Computing: 30th International Conference, Collabtech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings$2,880$2,736 -
VIP 95折
Engineering Interactive Computer Systems. Eics 2023 International Workshops and Doctoral Consortium: Swansea, Uk, June 26-27, 2023, Selected Papers$2,880$2,736 -
VIP 95折
Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2023 and Opencert 2023, Eindhoven, the Netherlands, November 6-10, 2023$2,090$1,985 -
VIP 95折
Concise Guide to Software Verification: From Model Checking to Annotation Checking$2,930$2,783 -
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,240$4,978 -
VIP 95折
Search-Based Software Engineering: 16th International Symposium, Ssbse 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings$2,830$2,688 -
VIP 95折
Executing Design for Reliability Within the Product Life Cycle$2,610$2,479 -
VIP 95折
The Ultimate Zoom Cookbook: Over 100 recipes to enhance and engage communication with Zoom$1,480$1,406 -
VIP 95折
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: Volume 17$8,440$8,018 -
VIP 95折
Software Technologies: 18th International Conference, Icsoft 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers$6,040$5,738 -
90折
$2,205Software Engineering for Data Scientists: From Notebooks to Scalable Systems (Paperback) -
VIP 95折
Proceedings of International Conference on Recent Innovations in Computing: Icric 2022, Volume 2$10,350$9,832 -
VIP 95折
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter$7,540$7,163 -
VIP 95折
Proceedings of International Conference on Recent Innovations in Computing: Icric 2022, Volume 1$10,350$9,832
