Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN：3540262784
Lecture Notes in Artificial Intelligence 4604 Conceptual Structures:Knowledge Architectures for Smar
ICCS 20072007 年出版514 页ISBN：9783540736806
Lecture Notes in Artificial Intelligence 3490 Intelligent Media Technology for Communicative Intelli
IMTCI 20042004 年出版259 页ISBN：3540290354
LECTURE NOTES IN MATHEMATICS 771 APPROXIMATION METHODS FOR NAVIER-STOKES PROBLEMS
R.RAUTMANN2222 年出版581 页ISBN：3540097341
Lecture Notes in Artificial Intelligence 3346 Programming Multi-Agent Systems Second International W
2005 年出版249 页ISBN：3540245596
Lecture Notes in Artificial Intelligence 4438 Leveraging the Semantics of Topic Maps Second Internat
TMEA 20062007 年出版256 页ISBN：9783540719441
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
POWER LEARNING:STRATEGIES FOR SUCCESS IN COLLEGE AND LIFE SECOND EDITION
ROBERT S.FELDMAN2003 年出版420 页ISBN：
