您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 程序验证经典《Principles of Model Checking》

  2. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twen
  3. 所属分类:其它

    • 发布日期:2012-10-22
    • 文件大小:5242880
    • 提供者:hfshgfh
  1. 程序验证经典《Principles of Model Checking》

  2. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twen
  3. 所属分类:其它

    • 发布日期:2012-10-22
    • 文件大小:5242880
    • 提供者:seabamboo
  1. Programming Scala

  2. 对于那些熟悉Java运行时但厌倦了Java开发的程序员们,Scala也许是一个不错的选择。跑在JVM上,集合了OO和函数式编程,虽是静态语言,却拥有动态语言的一些特性。
  3. 所属分类:其它

    • 发布日期:2012-10-23
    • 文件大小:5242880
    • 提供者:sasabune
  1. IEEE 802.11p Transmission Using GNURadio

  2. Abstract—In this work we present an implementation of a fully functional IEEE 802.11p transmitter in software-defined radio. We describe the rapid-prototyping methodology that was used to implement the frame-encoder within the open-source GNU Softwa
  3. 所属分类:电信

    • 发布日期:2012-10-28
    • 文件大小:557056
    • 提供者:dhai101
  1. NHibernate 3 Beginners Guid

  2. NHibernate 3 Beginner's Guide examines all of the topics required to get a functional data-access layer implemented while writing the least amount of code possible, presenting options along the way to handle particular edge cases or situations as th
  3. 所属分类:Web开发

    • 发布日期:2012-11-01
    • 文件大小:3145728
    • 提供者:lajidahe
  1. SOX - A Generalized and Extensibl Smart network Openflow Controller

  2. In this white paper, we describe a generalized controller SOX, Smart Network Openflow Controller, to deal with above mentioned circumstances. It is architected, designed, and implemented with the aim to control a SDN network with a mixed type of swi
  3. 所属分类:网管软件

    • 发布日期:2012-11-03
    • 文件大小:567296
    • 提供者:mchluo
  1. c/c++库函数说明

  2. c/c++库函数说明离线版 Descr iption of the most important classes, functions and objects of the Standard Language Library, with descr iptive fully-functional short programs .
  3. 所属分类:C/C++

    • 发布日期:2012-11-13
    • 文件大小:8388608
    • 提供者:jackylovingwin
  1. Oracle 融合中间件中文产品技术白皮书(非常有价值)

  2. Oracle 应用服务器 10g 标准版 1 (PDF) Oracle 应用服务器 10g 第 3 版 (10.1.3.1) 新特性概述 (PDF) Oracle Content Management 统一的企业内容管理平台的优势 (PDF) Oracle 全面内容管理 (PDF) Oracle 全面内容管理特性 (PDF) Oracle Webcenter Sites Satellite Server (PDF) Oracle Enterprise Content Management Su
  3. 所属分类:其它

    • 发布日期:2012-11-21
    • 文件大小:75497472
    • 提供者:jifeng3518
  1. Visual Recurrence Plot

  2. Version 4.2 of VRA is a completely functional and a practically unlimited version of VRA and is free for use, copying, and distribution if it is used for academic/educational purposes. The only limitation that VRA has is that it will not let you sav
  3. 所属分类:其它

    • 发布日期:2006-02-23
    • 文件大小:2097152
    • 提供者:chenxh
  1. Hibernate-3.5.2-Final-API

  2. Hibernate-3.5.2-Final-API -------------------------------------------------------------------------------- Overview Package Class Use Tree Deprecated Index Help PREV NEXT FRAMES NO FRAMES All Classes -------------------------------------------------
  3. 所属分类:Java

    • 发布日期:2012-11-28
    • 文件大小:9437184
    • 提供者:jjkkmmnn
  1. Arithmetic embedded

  2. In the following chapters we will discuss several new fundamental concepts and practical scenarios concerned with test generation, test application, and test-response compaction performed by means of building blocks of high performance data paths. W
  3. 所属分类:硬件开发

    • 发布日期:2012-12-05
    • 文件大小:8388608
    • 提供者:ptzforall
  1. AgilePoint bridges the .NET BPM Divide

  2. Cellcom uses AgilePoint to automate the order process for landline communications and technical inquiries from clients, and to develop cross- functional processes across its existing billing and SAP systems. It reports that with AgilePoint, SharePoi
  3. 所属分类:其它

    • 发布日期:2012-12-11
    • 文件大小:182272
    • 提供者:peterluo1
  1. Writing Testbenches - Functional Verification of HDL Models

  2. 本书主要以HDL(verilog/vhdl)为例,详细讲述了在IC DESIGN FLOW中 Verification 以及Test的设计思想、方法和技巧,涵概了测试的各个方面, 是目前进行IC设计的同仁们最为推荐的一本宝典!!
  3. 所属分类:硬件开发

    • 发布日期:2012-12-24
    • 文件大小:5242880
    • 提供者:huoyunjie_zky
  1. Fourier Analysis on Finite Groups with Applications in Signal Processing and System Design

  2. Fourier Analysis on Finite Groups with Applications in Signal Processing and System Design 信号处理和系统分析中有限群的傅立叶分析和应用by Radomir S. Stankovic , Claudio Moraga , Jaakko Astola Publisher: Wiley-IEEE Press (July 7, 2005) Review\"…a concise monograph about t
  3. 所属分类:硬件开发

    • 发布日期:2008-08-18
    • 文件大小:12582912
    • 提供者:yangchun301
  1. Plot Digitizer

  2. 从文献的图中准确得到数值。Plot Digitizer is a Java program used to digitize scanned plots of functional data.
  3. 所属分类:教育

    • 发布日期:2013-01-13
    • 文件大小:1048576
    • 提供者:lilianli1986
  1. Functional Dependencies and Normalization

  2. 英文版小文章,教你如何理解范式,适用于大学考试理解和数据库基础学习
  3. 所属分类:DB2

    • 发布日期:2013-01-15
    • 文件大小:62464
    • 提供者:yyqq202
  1. ACHI驱动程序

  2. ACHI。。。INTEL SOFTWARE LICENSE AGREEMENT (Alpha / Beta, Organizational Use) IMPORTANT - READ BEFORE COPYING, INSTALLING OR USING. Do not use or load this software and any associated materials (collectively, the "Software") until you have carefully re
  3. 所属分类:其它

    • 发布日期:2013-01-22
    • 文件大小:91136
    • 提供者:ifengfly
  1. 802.3ab-1999

  2. Type 1000BASE-T PCS, type 1000BASE-T PMA sublayer, and type 1000BASE-T Medium Dependent Interface (MDI) are defined. This supplement provides fully functional, electrical and mechanical specifications for the type 1000BASE-T PCS, PMA, and MDI. This
  3. 所属分类:互联网

    • 发布日期:2013-01-24
    • 文件大小:1048576
    • 提供者:haishengyi
  1. land of lisp

  2. 《land of lisp》,英文版(目前无英译)。pdf文档,清晰,超赞的lisp书籍。学习后,建议买实体书进行收藏。 内容缩略: BRIEF CONTENTS Acknowledgments........................................................................................................xvii Introduction...............................
  3. 所属分类:其它

    • 发布日期:2013-01-27
    • 文件大小:18874368
    • 提供者:devafree
  1. Programming Scala

  2. Programming Scala Scala = Java + Functional Programming
  3. 所属分类:其它

    • 发布日期:2013-02-12
    • 文件大小:5242880
    • 提供者:jiangdmdr
« 1 2 ... 45 46 47 48 49 50»