Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN:3540330569
Lecture Notes in Computer Science 4799 HCI and Usability for Medicine and Health Care Third Symosium
USAB 20072007 年出版458 页ISBN:9783540768043
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN:354021299X
Principles of Dynamic Programming Part I Basic Analytic and Computational Methods
1978 年出版330 页ISBN:0824765893
The Language of Computer Graphics A dictionary of terms and concepts
1990 年出版174 页ISBN:1854541471