Lecture Notes in Computer Science 4260 Formal Methods and Software Engineering 8th International Con
ICFEM 20062006 年出版775 页ISBN：3540474609
Lecture Notes in Computer Science 3412 COTS-Based Software Systems 4th International Conference
ICCBSS 20052005 年出版312 页ISBN：3540245480
Lecture Notes in Computer Science 4589 Product-Focused Software Process Improvement 8th Internationa
PROFES 20072007 年出版414 页ISBN：9783540734598
Lecture Notes in Computer Science 4063 Component-Based Software Engineering 9th International Sympos
CBSE 20062006 年出版394 页ISBN：3540356282
Lecture Notes in Computer Science 3395 Formal Approaches to Software Testing 4th International Works
FATES 20042005 年出版225 页ISBN：354025109X
Software engineering for embedded systems methods
practical techniques2013 年出版1150 页ISBN：
Hardware and Software Support for Virtualization
edouard bugnion2017 年出版186 页ISBN：
CIRCUITS AND SOFTWARE FOR ELECTRONICS ENGINEERS
Howard Bierman2222 年出版344 页ISBN：
SAFETY OF COMPUTER CONTROL SYSTEMS 1986(SAFECOMP'86) Trends in Safe Real Time Computer Systems
1986 年出版193 页ISBN：0080348017
