Lecture Notes in Computer Science 3223 Theorem Proving on Higher Order Logics 17th International Con
TPHOLs 20042004 年出版337 页ISBN：3540230173
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
Lecture Notes in Computer Science 3079 High Speed Networks and Multimedia Communications 7th IEEE In
HSNM 20042004 年出版1103 页ISBN：3540222626
Lecture Notes in Computer Science 3646 Advances in Intelligent Data Analysis VI 6th International Sy
IDA 20052005 年出版522 页ISBN：3540287957
Lecture Notes in Computer Science 3271 Management of Multimedia Networks and Services 7th IFIP/IEEE
MMNS 20042004 年出版335 页ISBN：3540232397
Lecture Notes in Computer Science 3129 Advances in Web-Age Information Management 5th International
WAIM 20042004 年出版753 页ISBN：3540224181
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN：9783540725039
Renal & Urinary Systems Second Edition
Datta Mirpuri Patel著2003 年出版206 页ISBN：7506265192
本书首先引领你学习肾及泌尿系统的基础知识。每章都采用了整合形式，即将解剖学、胚胎学、组织学、生理学与药理学加以综合。然后概述了肾及泌尿系统的基本病理学，并列举一些主要疾病及其主诉。第二部分则通过...
Lecture Notes in Computer Science 2152 Theorem Proving on Higher Order Logics 14th International Con
TPHOLs 20012001 年出版394 页ISBN：354042525X
