Lecture Notes in Artificial Intelligence 4548 Automated Reasoning with Analytic Tableaux and Related
TABLEAUX 20072007 年出版245 页ISBN：9783540730989
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
THE BEDFORD GUIDE FOR COLLEGE WRITERS WITH READINGS AND HANDBOOK SECOND EDITION
X.J.KINNEDY AND DOROTHY M.KINNEDY2222 年出版819 页ISBN：
STUDENT ASSESSMENT AND LEARNING GUIDE FOR USE WITH UNDERSTANDING BUSINESS SEVENTH EDITION
WILLIAM G.NICKELS AND JAMES M.MCHUG2005 年出版707 页ISBN：
THE PRENTICE HALL GUIDE TO EVALUATING ONLINE RESOURCES WITH RESEARCH NAVIGATOR HISTORY 2004
MELISSA PAYTON2004 年出版83 页ISBN：
PRINCIPLES AND PROCEDURES OF STATISTICS:WITH SPECIAL REFERENCE TO THE BIOLOGICAL SCIENCES
ROBERT G.D.STEEL JAMES H.TORRIE2222 年出版481 页ISBN：
梁燕来，程裕强主编2013 年出版310 页ISBN：9787115309396
本书主要内容包括概述部分、Java开发环境配置、面向过程编程、类与对象、继承与多态、面向对象思想、异常处理、Java API、泛型与集合类、输入输出流、多线程、JDBC、Java新特性。本书可以作为高等学校计算...
Algorithms in Java——Third Edition Part5
[美]Robert Sedgewick 著2004 年出版497 页ISBN：7302072981
本书深入介绍了图算法。书中分别对图属性和类型、图搜索、有向图、最小生成树、最短路径以及网络的有关内容进行了透彻的讨论。在此不仅对基本内容做了全面的阐述，而且对经典算法也提供了详尽的分析，同时还涵...
