The computer after me awareness and self-awareness in autonomic systems
Jeremy Pitt2015 年出版314 页ISBN：1783264179
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
MODELING AND COMPUTATIONS IN DYNAMICAL SYSTEMS IN COMMEMORATION OF THE 100TH ANNIVERSARY OF THE BIRT
EUSEBIUS J DOEDEL2006 年出版349 页ISBN：
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
大学教师的技巧 论课堂教学中的方法、信任和回应 on technique， trust， and responsiveness in the classroom
斯蒂芬·D. 布鲁克菲尔德（S. D. Brookfield）著；周心红，洪宁译2005 年出版164 页ISBN：7308045803
本书从成人学习和成人教育的角度入手，对大学教师特别是新教师在教学过程中遇到的种种问题，争论以及困惑提出了中肯的看法和建议。
COMPUTATIONAL MODELLING IN BEHAVIOURAL NEUROSCIENCE CLOSING THE GAP BETWEEN NEUROPHYSIOLOGY AND BEH
DIETMAR HEINKE AND EIRINI MAVRITSAKI2009 年出版360 页ISBN：1841697389
COMPUTERS AND INTRACTABILITY A GUIDE TO THE THEORY OF NP-COMPLETENESS
MICHAEL R.GAREY DAVID S.JOHNSON2222 年出版338 页ISBN：0716710447
Lecture Notes in Computer Science 4784 Provable Security First International Conference
ProvSec 20072007 年出版237 页ISBN：9783540756699
