Lecture Notes in Computer Science 74 Mathematical Foundations of Computer Science 1979
1979 年出版580 页ISBN：3540095268
Lecture Notes in Computer Science 53 Mathematical Foundations of Computer Science 1977
1977 年出版596 页ISBN：3540083537
Lecture Notes in Computer Science 45 Mathematical Foundations of Computer Science 1976
1976 年出版606 页ISBN：3540078541
Lecture Notes in Computer Science 379 Mathematical Foundations of Computer Science 1989
1989 年出版605 页ISBN：3540514864
嵌入式实时操作系统的多线程计算 基于ThreadX和ARM using threadX and ARM
（美）Edward L. Lamie著；张炯等译2005 年出版328 页ISBN：7810776290
本书涉及到嵌入式系统的两个热门话题：实时和ARM体系结构，并做了深入浅出的讲解与分析。重点放在实时、多线程、ARM处理器结合的角度来展开。...
中国植物志 第77卷 第1分册 被子植物门 双子叶植物纲 菊科 5 千里光族 金盏花族
中国科学院中国植物编辑委员会编；陈艺林编著1999 年出版369 页ISBN：7030070283
Lecture Notes in Computer Science 4500 The Disappearing Computer Interaction Design
System Infrastructures and Applications for Smart Environments2007 年出版304 页ISBN：9783540727255
Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
Communication system design using DSP algorithms:with laboratory experiments for the TMS320C6701 and
Harry L.Van Trees2222 年出版1443 页ISBN：
The assignment of the absolute configuration by NMR using chiral derivatizing agents: a practical gu
José M. Seco ; Emilio Quinoá ; Ricardo Riguera2015 年出版246 页ISBN：0199996803
