Lecture Notes in Computer Science 4125 Databases
Information Systems2007 年出版0 页ISBN:
Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN:
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN:
Computer models in the social sciences
[by] R. B. Coats and A. Parkin.1977 年出版184 页ISBN:
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN:
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN:
COMPUTER SYSTEMS A PROGRAMMER'S PERSPECTIVE
[美]RANDAL E.BRYANT DAVID R.OHALLARON著2006 年出版978 页ISBN:
COMPUTER ARITHMETIC IN THEORY AND PRACTICE
ULRICH W.KULISCH WILLARD I.MIRANKER2222 年出版249 页ISBN:012428650X
内镜手术学 消化内镜手术技巧图谱 color atlas of operative techniques for the gastrointestinal tract
NibSoehendra,KennethF.Binmoreller,HansSeifert等原著2007 年出版218 页ISBN:7506269147
本书以彩图并文字说明形式,详细介绍了消化道内镜在临床上的应用。