Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Computer Interface Engineering for Real-Time Systems:A Model-Based Approach
1987 年出版292 页ISBN：0131630237
Lecture Notes in Computer Science 3882 Database Systems for Advanced Applications 11th International
DASFAA 20062006 年出版923 页ISBN：3540333371
Lecture Notes in Computer Science 4542 Requirements Engineering:Foundation for Software Quality 13th
REFSQ 20072007 年出版383 页ISBN：9783540730309
Lecture Notes in Computer Science 3453 Database Systems for Advanced Applications 10th International
DASFAA 20052005 年出版929 页ISBN：3540253343
SYSTEMS THAT LEARN AN INTRODUCTION TO LEARNING THEORY FOR COGNITIVE AND COMPUTER SCIENTISTS
DANIEL N.OSHERSON1986 年出版208 页ISBN：
HYPERSONIC FLOWS FOR REENTRY PROBLEMS VOLUME II:TEST CASES-EXPERIMENTS AND COMPUTATIONS
J.-A.DESIDERI1991 年出版1230 页ISBN：
A CRITIC'S GUIDE TO SOFTWARE FOR APPLE AND APPLE-COMPATIBLE COMPUTERS
PHILLIP I.GOOD1983 年出版238 页ISBN：0801974127
Computational Methods For Fracture In Porous Media Isogeometric and Extended Finite Element Methods
Rene de Borst2017 年出版190 页ISBN：0081009178
