Lecture Notes in Computer Science 4887 Cryptography and Coding 11th IMA International Conference
2007 年出版423 页ISBN：9783540772712
Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Lecture Notes in Computer Science 2242 Grid Computing-GRID 2001 Second International Workshop
2001 年出版185 页ISBN：3540429492
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN：0131630237
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
E-COLLABORATIVE KUOWLEDGE CONSTRUCTION:LEARNING FROM COMPUTER-SUPPORTED AND VIRTUAL ENVIRONMENTS
2010 年出版335 页ISBN：1615207299
MATHEMATICS OF SHAPE DESCRIPTION A Morphological Approach to Image Processing and Computer Graphics
2008 年出版254 页ISBN：9780470823071
DIGITAL LOGIC APPLICATIONS AND DESIGN
JOHN M.YARBROUGH2222 年出版698 页ISBN：711110837X
本书系统地介绍了数字电路设计与分析的基础知识，内容全面，实用性强。首先从数字电路、数制系统等基本概念入手；然后论述组合逻辑、时序电路的分析与设计以及异步时序电路；最后讨论了数字开关电路。书中提供的数...
PRESTRESSED CONCRETE-LINED PRESSURE TUNNELS TOWARDS IMPROVED SAFETY AND ECONOMICAL DESIGN
PROF.DR.IR.A.E.MYNETT2015 年出版121 页ISBN：9781138028531
STRENGTHENING OF CONCRETE STRUCTURES WITH ADHESIVELY BONDED REINFORCEMENT：DESIGN AND DIMENSIONING OF
KONRAD ZILCH，ROLAND NIEDERMEIER，WOLFGANG FINCKH2014 年出版148 页ISBN：3433030868
