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