Lecture Notes in Computer Science 4703 CONCUR 2007-Concurrency Theory 18th International Conference，
2007 年出版507 页ISBN：9783540744061
Lecture Notes in Computer Science 3147 Integration of Software Specification Techniques for Applicat
2004 年出版628 页ISBN：3540231358
Lecture Notes in Computer Science 92 Robin Milner A Calculus of Communicating Systems
1980 年出版171 页ISBN：3540102353
Lecture Notes in Computer Science 3653 CONCUR 2005-Concurrency Theory 16th International Conference，
2005 年出版578 页ISBN：3540283099
HUMAN-COMPUTER INTERACTION RESEARCH DIRECTIONS IN COGNIVE SCIENCE EUROPEAN PERSPECTIVES VOL.3
2222 年出版217 页ISBN：0863771130
Lecture Notes in Computer Science 51 Matrix Eigensystem Routines-EISPACK Guide Extension
1977 年出版342 页ISBN：3540082549
Lecture Notes in Computer Science 3426 Knowledge and Information Visuakization Searching for Synergi
2005 年出版385 页ISBN：3540269215
Lecture Notes in Computer Science 4336 Empirical Software Engineering Issues Critical Assessment and
2007 年出版193 页ISBN：9783540713005
Lecture Notes in Computer Science 2962 Semirings for Soft Constraint Solving and Programming
2004 年出版279 页ISBN：3540211810
COMPUTATIONAL MODELLING IN BEHAVIOURAL NEUROSCIENCE CLOSING THE GAP BETWEEN NEUROPHYSIOLOGY AND BEH
DIETMAR HEINKE AND EIRINI MAVRITSAKI2009 年出版360 页ISBN：1841697389
