Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN:012428650X
Landscapes in History DESIGN AND PLANNING IN THE WESTERN TRADITION
2222 年出版784 页ISBN:0442318049
LINEAR OPERATOR THEORY IN ENGINEERING AND SCIENCE
ARCH W.NAYLOR1982 年出版624 页ISBN:0387907483
SWISS COMPETENCES IN RIVER ENGINEERING AND RESTORATION
ANTON J.SCHLEISS2014 年出版201 页ISBN:1138026766