軟體工程
相關書籍
-
Software Engineering: Proceedings of CSI 2015 (Advances in Intelligent Systems and Computing)$3,750$3,675 -
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science)$2,420$2,371 -
OSS Reliability Measurement and Assessment (Springer Series in Reliability Engineering)$4,610$4,517 -
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence)$4,610$4,517 -
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Part II (Lecture Notes in Computer Science)$2,610$2,557 -
Software Quality: Concepts and Practice$4,890$4,792 -
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Lecture Notes in Computer Science)$2,420$2,371 -
Computer Science and Engineering―Theory and Applications (Studies in Systems, Decision and Control)$6,800$6,664 -
VIP 95折
Software Evangelism and the Rhetoric of Morality (Routledge Studies in Rhetoric and Communication)$1,930$1,833 -
String Analysis for Software Verification and Security$4,130$4,047 -
Software Quality Assurance (Hardcover)$4,540$4,449 -
Technology Trends: Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings (Communications in Computer and Information Science)$2,420$2,371 -
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers (Lecture Notes in Computer Science)$2,420$2,371 -
VIP 95折
Quality Engineering: Qualität kommunikationstechnischer Systeme (German Edition)$3,340$3,173 -
VIP 95折
Formal Methods for Safety and Security: Case Studies for Aerospace Applications$5,490$5,215 -
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (Lecture Notes in Computer Science)$2,420$2,371 -
VIP 95折
What Every Engineer Should Know about Software Engineering$6,690$6,355 -
VIP 95折
Advances in Modeling and Simulation: Seminal Research from 50 Years of Winter Simulation Conferences (Simulation Foundations, Methods and Applications)$4,710$4,474 -
VIP 95折
Fundamentals of Dependable Computing for Software Engineers$7,750$7,362 -
LaTeX in 24 Hours: A Practical Guide for Scientific Writing (Paperback)$2,100$2,058 -
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (Studies in Computational Intelligence)$4,510$4,419 -
Engineering Secure Software and Systems: 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings (Lecture Notes in Computer Science)$2,420$2,371 -
A Global History of Architecture$5,170$5,066 -
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Lecture Notes in Computer Science)$2,420$2,371 -
VIP 95折
Type-driven Development with Idris$1,650$1,567 -
VIP 95折
Communication and Computing Systems: Proceedings of the International Conference on Communication and Computing Systems (ICCCS 2016), Gurgaon, India, 9-11 September, 2016$14,210$13,499 -
Dynamic Programming for Coding Interviews: A Bottom-Up Approach to Problem Solving$630$617 -
Interactive Collaborative Learning: Proceedings of the 19th ICL Conference - Volume 2 (Advances in Intelligent Systems and Computing)$8,710$8,535 -
Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers (Lecture Notes in Computer Science)$2,420$2,371 -
Software Reading Techniques: Twenty Techniques for More Effective Software Review and Inspection$1,360$1,332