PROBLEMS AS POSSIBILITIES:PROBLEM-BASED LEARNING FOR K-12 EDUCATION
1998 年出版102 页ISBN：0871202972
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
AN INTRODUCTION TO SUPPORT VECTOR MACHINES AND OTHER KERNEL-BASED LEARNING METHODS
[美]NELLO CRISTIANINI [英]JOHN SHAWE-TAYLOR著2005 年出版189 页ISBN：7111167899
支持向量机（Support Vector Machine, SVM）是建立在统计学理论最新进展基础上的新一代学习系统。本书是第一本全面介绍支持向量机的著作。支持向量机是在20世纪90年代初提出的，随之引发了对这种技术的广泛应用...
The art and science of C a library-based introduction to computer science = C语言的科学和艺术 （英文版）
Eric Roberts2004 年出版706 页ISBN：7111139917
本书是一本C语言的入门读物。
Lecture Notes in Computer Science 2999 Integrated Formal Methods 4th International Conference
IFM 20042004 年出版541 页ISBN：3540213775
Lecture Notes in Computer Science 3771 Integrated Formal Methods 5th International Conference
IFM 20052005 年出版407 页ISBN：3540304924
Lecture Notes in Computer Science 4591 Integrated Formal Methods 6th International Conference
IFM 20072007 年出版660 页ISBN：9783540732099
Greenhouse gas emission scenarios for use in climate-based response
editor2011 年出版309 页ISBN：1612096100
Body by Science A RESEARCH-BASED PROGRAM FOR STRENGTH TRAINING
BODY BUILDING2222 年出版284 页ISBN：
