Lecture Notes in Computer Science 3085 Types for Proofs and Programs International Workshop
TYPES 2003 Torino2222 年出版0 页ISBN:
Lecture Notes in Computer Science 3478 Global Optimization and Constraint Satisfaction Second Intern
COCOS 20032005 年出版192 页ISBN:354026003X
Lecture Notes in Computer Science 4143 Generative and Transformational Techniques in Software Engine
GTTSE 20052006 年出版471 页ISBN:354045778X
Lecture Notes in Computer Science 4064 Detection Of Intrusions and Malware & Vulnerability Assessmen
DIMVA 20062006 年出版195 页ISBN:354036014X
Lecture Notes in Computer Science 1696:Research and Advanced Technology for Digital Libraries
Serge Abiteboul1999 年出版499 页ISBN:3540665587
Lecture Notes in Computer Science 3232:Research and Advanced Technology for Digital Libraries
Rachel Heery2004 年出版528 页ISBN:3540230130
神经外科典型病例的难点与对策 cases with expert commentary
(英)罗宾·巴蒂亚,(英)伊恩·萨宾主编2018 年出版248 页ISBN:9787543337244
本书汇集英国著名神经外科中心的国际知名专家共同撰写,基于神经外科的疑难临床案例,其中涵盖肿瘤,血管神经外科,脑和脊髓外伤、小儿神经外科、脊柱退变性疾病、外周和颅神经病变,功能性神经外科以及感染等主要的...
Benchhmark Papers in Electrical Engineering and Computer Science/27 DISTRIBUTED PARAMETER SYSTEMS TH
PART II:Estimation1983 年出版392 页ISBN:
Lecture Notes in Computer Science 3815:Digital Libraties:Implementing Strategies and Sharing Experie
Edward A.Fox2005 年出版0 页ISBN: