Lecture Notes in Computer Science 3233 Software Security-Theories and Systems Second Mext-NSF-JSPS I
ISSS 20032004 年出版345 页ISBN：354023635X
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年代初提出的，随之引发了对这种技术的广泛应用...
Database management systems designing and building business applications = 数据库管理系统（英文版·第3版）
Gerald V. Post2006 年出版426 页ISBN：7111178521
本书涵盖了构建数据库前的两个关键主题：数据库设计（规范化）和SQL（查询）。这两个主题跨越所有主要的数据库系统。规范化说明了如何细致设计数据库以获得DBMS手段的能力。SQL是一种标准查询语言，事实上用于应用程序...
Time series: theory and methods Second Edition = 时间序列的理论与方法 第2版
Peter J. Brockwell ; Richard A. Davis2015 年出版578 页ISBN：7510094712
本书是一部有关时间序列的高等教材，这版对原来的版本通篇做了大量的修订和扩充，包括增加了全新的一章讲述状态空间。内容详尽，包括了学习时间序列能够经常用到的所有方法，书的一开始从引进Hilbert空间开始，紧接...
中药质量现代分析技术：中国药典一部参考手册 = Modern analysis technology for eveluating the quality of traditional Chinese
王书芳，钱忠直主编2010 年出版1472 页ISBN：9787308077743
本书基于编者的研究成果和国内外近年来新发展的分析方法，由国家药典委、浙江大学药物信息学研究所和上海市食品药品检验所共同编写完成。全书与中国药典（一部）相配套，分为药材篇、植物油脂和提取物篇、成方制剂...
基于项目的STEM学习 一种整合科学、技术、工程和数学的学习方式 an integrated science， technology， engineering， and mathematics （
（美）罗伯特·M·卡普拉罗，（美）玛丽·玛格丽特·卡普拉罗，（美）詹姆斯·R·摩根著2016 年出版275 页ISBN：9787542863560
本书由14篇论文构成，分别论述了STEM项目学习法的概念、项目学习法的历史背景、STEM项目学习法的理论框架、STEM项目学习与各学科的关系，以及STEM项目学习在具体操作中常见的典型问题和相应的应对方法。此外，书...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
