軟體工程
相關書籍
-
Go Where the Bugs Are: Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday$3,180$3,116 -
Verified Software. Theories, Tools and Experiments: 16th International Conference, Vstte 2024, Prague, Czech Republic, October 14-15, 2024, Revised Se$2,420$2,371 -
VIP 95折
Networking and Parallel/Distributed Computing Systems: Volume 18$7,340$6,973 -
Proceedings of the Third International Conference on Advances in Computing Research (Acr'25)$9,850$9,653 -
Engineering Trustworthy Software Systems: 6th International School, Setss 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures$2,470$2,420 -
Fundamentals of Software Engineering: 11th Ifip Wg 2.2 International Conference, Fsen 2025, Västerås, Sweden, April 7-8, 2025, Proceedings$5,660$5,546 -
Information and Software Technologies: 30th International Conference, Icist 2024, Kaunas, Lithuania, October 17-18, 2024, Proceedings$3,560$3,488 -
VIP 95折
Software/Hardware Construction: A Hands-On Approach$3,780$3,591 -
The Green It Guide: How to Make Your It Systems and Business Sustainable and Carbon Neutral$1,950$1,911 -
VIP 95折
Writing for Developers: Blogs That Get Read (Paperback)$1,800$1,710 -
Breaking the Rules: Bringing storytelling to technical writing$910$891 -
Advances in Computing: 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, P$3,560$3,488 -
Richard Stallman: The Free Software Pioneer Exposed - Unauthorized$3,960$3,880 -
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024$3,240$3,175 -
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,440$3,371 -
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,560$2,432 -
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, Isola 2024, Cret$3,370$3,302 -
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems: 12th International Sympos$3,180$3,116 -
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$8,710$8,535 -
Software and Data Engineering: 33rd International Conference, Sede 2024, San Diego, Ca, Usa, October 21-22, 2024, Proceedings$3,370$3,302 -
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 -
Systems Engineering Using the DEJI Systems Model(R): Evaluation, Justification, and Integration with Case Studies and Applications$2,800$2,744 -
Computational Intelligence Techniques and Their Applications to Software Engineering Problems$2,840$2,783 -
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