Lecture Notes in Computer Science 4444 Program Analysis and Compilation
Theory and Practice Essays Dedicated to Reinhard Wilhelm in the Occasion of His 60th Birthday2007 年出版361 页ISBN：9783540713159
Man-Computer Interfaces:An Introduction to Software Design and Implementation
1987 年出版381 页ISBN：063201542X
Frontiers of Combinatorics and Number Theory Volume 3
Zhi-Wei Sun2013 年出版234 页ISBN：1628089509
Theory and practice of public sector reform
edited by Steven Van de Walle and Sandra Groeneveld2016 年出版291 页ISBN：9781138887411
Nonlinear Model Predictive Control : Theory And Algorithms
Lars Grüne and Jürgen Pannek2011 年出版359 页ISBN：0857295004
Lectures in abstract algebra III. Theory of fields and Galois theory = 抽象代数讲义 第3卷
Nathan Jacobson2013 年出版324 页ISBN：7510061530
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
Lecture Notes in Computer Science 4799 HCI and Usability for Medicine and Health Care Third Symosium
USAB 20072007 年出版458 页ISBN：9783540768043
