Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
HIGH FREQUENCY TECHNIQUES AN INTRODUCTION TO RF AND MICROWAVE DESIGN AND COMPUTER SIMULATION
JOSEOH F.WHITE2017 年出版506 页ISBN：1119244509
Lecture Notes in Computer Science 4184 Web Services and Formal Methods Third International Workshop
WS-FM 20062006 年出版289 页ISBN：3540388621
The design and implementation of the 4.4 BSD operating system = 4.4BSD 操作系统设计与实现 (英文版)
Marshall Kirk McKusick ; Keith Bostic ; Michael J. Karels ; John S. Quarterman2002 年出版580 页ISBN：7115103488
METHODS IN ENZYMOLOGY VOLUME 203 MOLECULAR DESIGN AND MODELING：CONCEPTS AND APPLICATIONS PART B
UNCLEIC ACIDS2222 年出版0 页ISBN：
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN：3540278826
THE DESIGN AND IMPLEMENTATION OF THE FREEBSD OPERATING SYSTEM
（美）麦卡思克，尼尔2008 年出版683 页ISBN：9787508365701
如同Addison-Wesley之前的基于UNIX的BSD操作系统方面的图书一样，Kirk McKusick和George Neville-Neil通过本书传达了关于开源FreeBSD内部架构的最全面、最及时、最权威的技术信息。通过阅读本书，技术与售后支...
Lecture Notes in Computer Science 3965 Formal Methods for Hardware Verification 6th International Sc
Communication2006 年出版0 页ISBN：
Lecture Notes in Computer Science 3465 Formal Methods for Mobile Computing 5th International School
Communication2005 年出版271 页ISBN：
The Design and Implementation of the FreeBSD Operating System
Marshall Kirk McKusick2008 年出版683 页ISBN：9787508365701
如同Addison-Wesley之前的基于UNIX的BSD操作系统方面的图书一样，Kirk McKusick和George Neville-Neil通过本书传达了关于开源FreeBSD内部架构的最全面、最及时、最权威的技术信息。通过阅读本书，技术与售后支...
