Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3390 Software Engineering for Multi-Agent Systems III Research Iss
2005 年出版289 页ISBN：3540248439
Lecture Notes in Computer Science 3196 User-Centered Interaction Paradigms for Universal Access in t
2004 年出版485 页ISBN：354023375X
Lecture Notes in Computer Science 4799 HCI and Usability for Medicine and Health Care Third Symosium
USAB 20072007 年出版458 页ISBN：9783540768043
Interfacing to the TRS-80 Computer/Models I
Reston Publishing Company1984 年出版0 页ISBN：
THE COMPUTER AND THE BRAIN：PERSPECTIVES ON HUMAN AND ARTIFICIAL INTELLIGENCE
JEAN R.BRINK C.ROLAND HADEN2222 年出版263 页ISBN：0444880453
Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
