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
本书深入介绍了图算法。书中分别对图属性和类型、图搜索、有向图、最小生成树、最短路径以及网络的有关内容进行了透彻的讨论。在此不仅对基本内容做了全面的阐述,而且对经典算法也提供了详尽的分析,同时还涵...