Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN：3540331026
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN：3540281959
Current topics in inflammation and infection
edited by Guido Majno1982 年出版242 页ISBN：
MODERN METHODS IN SCIENTIFIC COMPUTING AND APPLICATIONS
ANNE BOURLIOUX MARTIN J.GANDER GERT SABIDUSSI2002 年出版492 页ISBN：1402007825
LECTURE NOTES IN MATHEMATICS 802 ETUDE GEOMETRIQUE DES ESPACES VECTORIELS 2 POLYEDRES ET POLYTOPES
1980 年出版283 页ISBN：354009993X
TRENDS IN LINGUISTICS STUDIES AND MONOGRAPHS 49 CONTEMPORARY MORPHOLOGY
WOLFGANG U.DRESSLER1990 年出版320 页ISBN：
