注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Model Checking-Edmund M. Clarke-模型检查PDF

  2. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductiv

  3. 所属分类：其它

    • 发布日期：2009-06-23
    • 文件大小：10mb
    • 提供者：orzorz

  1. A Statistical Theory Of Mobile-radio Reception

  2. clarke经典文章，发表在贝尔实验室期刊上的，堪称无线信道建模的鼻祖文章

  3. 所属分类：专业指导

    • 发布日期：2009-08-09
    • 文件大小：1mb
    • 提供者：yangying435

  1. Fourier Theory - B. Clarke

  2. Fourier Theory - B. Clarke 澳大利亚麦考里大学Macquarie University数学系编写的关于Fourier theory的书，简洁明了，老师也可以当做讲义，学生可以拿来用作复习之用。

  3. 所属分类：专业指导

    • 发布日期：2010-01-31
    • 文件大小：397kb
    • 提供者：sdfasak

  1. Principles and Theory for Data Mining and Machine Learning

  2. This book is a thorough introduction to the most important topics in data mining and machine learning. It begins with a detailed review of classical function estimation and proceeds with chapters on nonlinear regression, classification, and ensemble

  3. 所属分类：Access

    • 发布日期：2010-03-10
    • 文件大小：13mb
    • 提供者：ziyuang

  1. Nonsmooth Analysis and Control Theory(Clarke,Ledyaev,Stern

  2. Nonsmooth Analysis and Control Theory(Clarke,Ledyaev,Stern

  3. 所属分类：教育

    • 发布日期：2012-06-04
    • 文件大小：1mb
    • 提供者：longpujun

  1. Information Retrieval

  2. Information Retrieval Textbook from C.L.A Clarke and Stephan B\"ucher. Good on both theory and implementation

  3. 所属分类：专业指导

    • 发布日期：2015-11-09
    • 文件大小：6mb
    • 提供者：kurama_sai

  1. model checking - E.M Clarke

  2. Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductiv

  3. 所属分类：其它

    • 发布日期：2008-12-19
    • 文件大小：3mb
    • 提供者：yangdemon

  1. Automated Reasoning for Systems Biology and Medicine

  2. Automated Reasoning for Systems Biology and Medicine，2019Endorsed by the International Society for Computational Biology, the Computational Biology series publishes the very latest, high-quality research devoted to specific issues in computer-assiste

  3. 所属分类：机器学习

    • 发布日期：2019-07-04
    • 文件大小：16mb
    • 提供者：weixin_38290023

  1. 经典控制理论教程-英文原版

  2. 经典控制理论教程Analysis and Control of Nonlinear Infinite Dimensional SystemsThis is volume 190 in MATHEMATICS IN SCIENCE AND ENGINEERING Edited by William F. Ames, Georgia Institute of Technology A list of recent titles in this series appears at the end of

  3. 所属分类：机器学习

    • 发布日期：2019-01-12
    • 文件大小：5mb
    • 提供者：cnfhcy