Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN：
LECTURE NOTES IN MATHEMATICS 1336: SEMI-CLASSICAL ANALYSIS FOR THE SCHRODINGER OPERATOR AND APPLICAT
1988 年出版110 页ISBN：3540500766;0387500766
Lecture Notes in Artificial Intelligence 4226 Informatics Edication-The Bridge between Using and Und
ISSEP 20062006 年出版319 页ISBN：3540482180
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 10 THE MODELLING OF SYSTEMS WITH SMALL OBSERVATION
JAN M.MACIEJOWSKI1978 年出版242 页ISBN：3540090045
BOOLEAN-VALUED MODELS AND INDEPENDENCE PROOFS IN SET THEORY
1977 年出版126 页ISBN：0198531680
Continuum Solvation Models in Chemical Physics:From Theory to Applications
2007 年出版619 页ISBN：9780470029381
IT-DRIVEN BUSINESS MODELS:GLOBAL CASE STUDIES IN TRANSFORMATION
HENNING KAGERMANN2010 年出版220 页ISBN：
Matrix-geometric solutions in stochastic models: an algorithmic approach
Marcel F. Neuts1981 年出版332 页ISBN：0801825601
