Lecture Notes in Artificial Intelligence 3702 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20052005 年出版343 页ISBN：3540289313
Lecture Notes in Artificial Intelligence 3571 Symbolic and Quantitative Approaches to Reasoning with
ECSQARU 20052005 年出版1028 页ISBN：3540273263
Lecture Notes in Computer Science 3062 Applications of Graph Transformations With Industrial Relevan
AGTIVE 20032004 年出版500 页ISBN：3540221204
Algorithms in Java——Third Edition Part5
[美]Robert Sedgewick 著2004 年出版497 页ISBN：7302072981
本书深入介绍了图算法。书中分别对图属性和类型、图搜索、有向图、最小生成树、最短路径以及网络的有关内容进行了透彻的讨论。在此不仅对基本内容做了全面的阐述，而且对经典算法也提供了详尽的分析，同时还涵...
PREPARE TO BOARD! CREATING STORY AND CHARACTERS FOR ANIMATED FEATURES AND SHORTS
NANCY BEIMAN2007 年出版317 页ISBN：0240808207
WESTERN ARTISTS AND INDIA CREATIVE INSPIRATIONS IN ART AND DESIGN WITH 381 ILLUSTRATIONS
294 IN COLOUR2013 年出版275 页ISBN：0500516881
FDG PET/CT IN CLINICAL ONCOLOGY CASE BASED APPROACH WITH TEACHING POINTS
JASNA MIHAILOVIC STANLEY J.GOLDSMITH RONAN P.KILLEEN2012 年出版453 页ISBN：3642298653
MANUAL OF CLINICAL PROBLEMS IN CARDIOLOGY WITH ANNOTATED KEY REFERENCES SECOND EDITION
L.DAVID HILLIS BRIAN G.FIRTH JAMES T.WILLERSON1984 年出版393 页ISBN：0316364010
