軟體工程
相關書籍
-
VIP 95折
Software Engineering and Formal Methods: 22nd International Conference, Sefm 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings$3,400$3,230 -
VIP 95折
Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, Setta 2024, Hong Kong, China, November 26-28, 2024,$3,870$3,676 -
VIP 95折
The Fundamental Research for Trustworthy Software$6,620$6,289 -
VIP 95折
Integrated Formal Methods: 19th International Conference, Ifm 2024, Manchester, Uk, November 13-15, 2024, Proceedings$5,930$5,633 -
VIP 95折
Toolympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions$2,780$2,641 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret$3,790$3,600 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos$3,590$3,410 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas: 12th International Symposium, Isola 2024, Crete, Greece, Oc$2,440$2,318 -
VIP 95折
Software Engineering Methods Design and Application: Proceedings of 13th Computer Science Online Conference 2024, Volume 1$9,940$9,443 -
VIP 95折
Software and Data Engineering: 33rd International Conference, Sede 2024, San Diego, Ca, Usa, October 21-22, 2024, Proceedings$3,590$3,410 -
VIP 95折
Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocco de Nicola: 12th International Symposium, I$3,570$3,391 -
VIP 95折
Systems Engineering Using the DEJI Systems Model(R): Evaluation, Justification, and Integration with Case Studies and Applications$2,500$2,375 -
VIP 95折
Computational Intelligence Techniques and Their Applications to Software Engineering Problems$2,530$2,403 -
VIP 95折
Experimentation in Software Engineering$3,790$3,600 -
VIP 95折
Proceedings of the International Conference on Intelligent Systems and Networks: Icisn 2024, 22-23 March 2024, Hanoi, Vietnam$15,310$14,544 -
VIP 95折
Collaboration Technologies and Social Computing: 30th International Conference, Collabtech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings$2,820$2,679 -
VIP 95折
Engineering Interactive Computer Systems. Eics 2023 International Workshops and Doctoral Consortium: Swansea, Uk, June 26-27, 2023, Selected Papers$2,820$2,679 -
VIP 95折
Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2023 and Opencert 2023, Eindhoven, the Netherlands, November 6-10, 2023$2,060$1,957 -
VIP 95折
Concise Guide to Software Verification: From Model Checking to Annotation Checking$2,880$2,736 -
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,140$4,883 -
VIP 95折
Search-Based Software Engineering: 16th International Symposium, Ssbse 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings$2,780$2,641 -
VIP 95折
Executing Design for Reliability Within the Product Life Cycle$2,560$2,432 -
VIP 95折
The Ultimate Zoom Cookbook: Over 100 recipes to enhance and engage communication with Zoom$1,460$1,387 -
VIP 95折
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: Volume 17$8,290$7,875 -
VIP 95折
Software Technologies: 18th International Conference, Icsoft 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers$5,930$5,633 -
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,160$9,652 -
VIP 95折
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter$7,410$7,039 -
VIP 95折
Proceedings of International Conference on Recent Innovations in Computing: Icric 2022, Volume 1$10,160$9,652