Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN：
STOCHASTIC PROCESSES IN GENETICS AND EVOLUTION COMPUTER EXPERIMENTS IN THE QUANTIFICATION OF MUTATI
CHARLES J.MODE AND CANDACE K.SLEEMAN2012 年出版666 页ISBN：9814350672
（美）MirosamiekPHD著；敬万钧，陈丽蓉译2004 年出版327 页ISBN：7810774158
本书给出相关概念清晰而明确的描述，包括传统的有限状态机和状态图，以及基于状态图的设计模式；给出了可运行代码，使读者能通过实际操作来学习量子编程，以及学到状态嵌套如何导致行为继承和如何通过按差异编程而实...
C/C++语言硬件程序设计 基于TMS320C5000系列DSP
张勇编著2003 年出版252 页ISBN：7560611907
本书全面介绍了使用C／C高级语言开发TMS320C5000系列DSP应用系统的方法，内容包括TMS320C5000开发平台、TMS320C5000系列硬件基础、C／C程序设计、DSP／BIOS程序设计、RTDX程序设计、Boot Loader程序设计和应用实例...
左飞编著2009 年出版415 页ISBN：9787121093104
本书从程序设计角度出发，以C/C++为描述语言，以Visual C++为形式工具，将隐藏在代码背后的关于计算机组成原理、计算机操作系统等方面的原理和知识娓娓道来，不仅让读者知其然，更要让读者知其所以然。通过代码揭秘...
LECTURE NOTES IN MATHEMATICS 1253: AN APPROACH TO THE SELBERG TRACE FORMULA VIA THE SELBERG ZETA-FUN
1987 年出版187 页ISBN：3540152083;0387152083
Lecture Notes in Computer Science 4375 Euro-Par 2006 Workshop:Parallel Processing CoreGRID 2006
UNICORE Summit 20062007 年出版332 页ISBN：9783540722267
Lecture Notes in Computer Science 4122 Multimodal Technologies for Perception of Humans First Intern
Activities and Relationships2007 年出版360 页ISBN：
