Fundamental Proof Methods in Computer Science A Computer-Based Approach
Konstantine Arkoudas2017 年出版942 页ISBN：0262035538
Lecture Notes in Computer Science 3459 Scale Space and PDE Methods in Computer Vision 5th Internatio
Scale-Space 20052005 年出版634 页ISBN：3540255478
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
GEOMETRICAL METHODS IN THE THEORY OF ORDINARY DIFFERENTIAL EQUATIONS SECOND EDITION
V.I.ARNOLD2004 年出版351 页ISBN：7506271923
Newton's fundamental discovery， the one which he considered necessary to keep secret and published only in the form of an anagram， consists of the following： Data aequatione quotcunque fluentes...
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
产业技术路线图 广东科技管理创新实践 the innovative practice of science and technology management in Guangdong
李兴华主编2008 年出版214 页ISBN：9787535948090
本书介绍了产业技术路线图制作的原理、原则基本结构及方法，同时还列举了广东省无铅、建陶、铝、工业产品环境适应性、国家重点实验室等实例。...
Lecture Notes in Computer Science 3294 Teaching Formal Methods CoLogNET/FME Stmposium
TFM 20042004 年出版249 页ISBN：3540236112
Lecture Notes in Computer Science 3696 Artificial Neural Networks:Biological Inspirations-ICANN 2005
2005 年出版703 页ISBN：3540287523
Asymptotics in statistics: some basic concepts Second Edition = 统计学中的渐近性: 基本概念 第2版
Lucien Le Cam ; Grace Lo Yang2015 年出版288 页ISBN：7510097959
该卷是第2版，第1版条理地介绍了渐近统计学近50年来的发展。第2版与第1版的不同之处在于它对读者更加“友好”。其中也包括一个新的章节，第4章，关于Gaussian 和Poisson试验，它在统计学的研究领域发挥着越来越重...
