Lecture Notes in Computer Science 3866 Formal Aspects in Socurity and Trust Third International Work
FAST 20062006 年出版259 页ISBN:3540326286
Lecture Notes in Computer Science 4510 Integration of AI and OR Techniques in Constraint Programming
CPAIOR 20072007 年出版390 页ISBN:9783540723967
Lecture Notes in Computer Science 3387 Semantic Web Services and Web Process Composition First Inter
SWSWPC 20042005 年出版147 页ISBN:3540243283
Lecture Notes in Computer Science 4302 Privacy in Statistical Databases CENEX-SDC Project Internatio
PSD 20062006 年出版383 页ISBN:9783540493303
Lecture Notes in Computer Science 2941 Radical Innovations of Software and Systems Engineering in th
RISSEF 20022004 年出版359 页ISBN:3540211799
Lecture Notes in Computer Science 3536 Application and Theory of Petri Nets 2005 26th International
ICATPN 20052005 年出版474 页ISBN:3540263012
Lecture Notes in Computer Science 3959 Theory and Applications of Models of Computation Third Intern
TAMC 20062006 年出版794 页ISBN:3540340211
Lecture Notes in Computer Science 3987 Location-and Context-Awareness Second International Workshop
LoCA 20062006 年出版289 页ISBN:3540341501
Lecture Notes in Computer Science 2360 Application and Theory of Petri Nets 2002 23rd International
ICATPN 20022002 年出版444 页ISBN:3540437878
CONTEMPORARY LOGIC DESIGN SECOND EDITION
[美]RANDY H.KATZ GAETANO BORRIELLO著2005 年出版607 页ISBN:7121014475
本书保持第一版注重介绍数字逻辑设计的基本内容、概念和方法这一特点,又结合目前数字设计技术的发展,更新了相应的硬件技术,加入了最新的可编程逻辑技术的知识,还引入了电子设计自动化的设计工具,通过使用目前在...