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

搜索资源列表

  1. Propositional logic

  2. 卧龙岗大学 英文讲述 Propositional logic
  3. 所属分类:专业指导

    • 发布日期:2009-07-08
    • 文件大小:1048576
    • 提供者:hgccdwm
  1. 离散数学 离散数学课件

  2. 离散数学课件是学习计算机科学的基础学科 离散数学课件研究由命题为基本单位构成的前提和结论之间的可推导关系。 §1.1 命题的表示与逻辑的联结词 1.命题 Satement proposition 任何一个可以判断真假的陈述语句叫命题。 (能够判断其断言是真或是假的陈述语句称为命题; 具有真假意义的陈述语句;非真必假的陈述语句)
  3. 所属分类:专业指导

    • 发布日期:2009-08-17
    • 文件大小:4194304
    • 提供者:lyp520xiazai
  1. 有关“数据采集系统”的英文资料

  2. Data acquisition systems are used to acquire process operating data and store it on,secondary storage devices for later analysis. Many or the data acquisition systems acquire this data at very high speeds and very little computer time is left to car
  3. 所属分类:专业指导

  1. Industry Value Proposition - Wholesale.pdf

  2. SAP 贸易行业解决方案及为客户带来的价值。
  3. 所属分类:专业指导

    • 发布日期:2010-04-27
    • 文件大小:354304
    • 提供者:GONGKEFEI
  1. 47hats - MicroISV Sites that Sell

  2. 47Hats力作,独立软件供应商销售软件的方法。MicroISV Sites that Sell! Creating and Marketing Your Unique Selling Proposition.
  3. 所属分类:专业指导

    • 发布日期:2011-06-09
    • 文件大小:1048576
    • 提供者:fwdever
  1. lectures on the curry-howard Isomorphism

  2. The idea is called curry-howard Isomorphism that relates languages and logic. The book provides a modern view of the relation,and covers a lot of languages(STLC, polymorphism, lambda cube) and logic(proposition, first-order, high-order).
  3. 所属分类:专业指导

  1. Cloud Computing Bible

  2. Cloud Computing Bible is made up of 21 chapters in five parts:Examining the Value Proposition,Using Platforms,Exploring Cloud Infrastructures,Understanding Services and Applications,Using the Mobile Cloud. To read this book and get the most out of i
  3. 所属分类:互联网

    • 发布日期:2013-05-16
    • 文件大小:17825792
    • 提供者:kuango
  1. ITIL V3 - The Official Introduction to ITIL

  2. 1 Introduction 1 1.1 A historical perspective of IT service management and ITIL 3 1.2 ITIL today 3 1.3 The ITIL value proposition 4 1.4 The ITIL service management practices 4 1.5 What is a service? 5 1.6 Navigating the ITIL Service Management Lifec
  3. 所属分类:IT管理

    • 发布日期:2013-06-28
    • 文件大小:2097152
    • 提供者:myfinding
  1. It战略 传播IT价值

  2. In spite of many years of effort, we are still not able to articulate and deliver IT value accurately. Unfortunately, “silver bullet thinking” still predominates (i.e., plug in technology and deliver bottom line impact) in organizations today. IT va
  3. 所属分类:IT管理

    • 发布日期:2014-05-12
    • 文件大小:235520
    • 提供者:dukebiz8
  1. html5 cook book.pdf

  2. While we may not provide a full list of all the features of HTML5 and browser support for them—depending on the recipe—we do discuss the support for each of the individualelements and implementations covered throughout this book (for tips on finding
  3. 所属分类:Web开发

    • 发布日期:2014-09-08
    • 文件大小:23068672
    • 提供者:joycodeman
  1. GPS_Messaging_Specification_for_Mobile_NFC_Services-v1.1.2.pdf

  2. This document describes the extension of the GlobalPlatform System Messaging Core Specification [2] allowing the exchange of messages for performing the delivery and the post-issuance management of mobile-NFC services, i.e. NFC Services deployed in
  3. 所属分类:其它

    • 发布日期:2015-03-23
    • 文件大小:4194304
    • 提供者:sniper0526
  1. Expert Oracle Exadata(Apress,2ed,2015)

  2. Expert Oracle Exadata, 2nd Edition opens up the internals of Oracle's Exadata platform so that you can fully benefit from the most performant and scalable database hardware appliance capable of running Oracle Database. This edition is fully-updated
  3. 所属分类:Oracle

    • 发布日期:2015-09-22
    • 文件大小:18874368
    • 提供者:vanridin
  1. spacemacs_config

  2. Spacemacs is a proposition of a complete new experience for Emacs focused on ergonomics, mnemonics and consistency. Spacemacs配置文件,已下载了初始化必须的packages,到手就能用
  3. 所属分类:管理软件

    • 发布日期:2015-10-29
    • 文件大小:28311552
    • 提供者:liugdft
  1. Sams.Teach.Yourself.Big.Data.Analytics.with.Microsoft.HDInsight

  2. With Microsoft HDInsight, business professionals and data analysts can rapidly leverage the power of Hadoop on a flexible, scalable cloud-based platform, using Microsoft's accessible business intelligence, visualization, and productivity tools. Now,
  3. 所属分类:Web开发

    • 发布日期:2015-11-26
    • 文件大小:32505856
    • 提供者:ramissue
  1. FPGA implementations of neural networks

  2. During the 1980s and early 1990s there was significant work in the design and implementation of hardware neurocomputers. Nevertheless, most of these efforts may be judged to have been unsuccessful: at no time have have hardware neurocomputers been i
  3. 所属分类:硬件开发

    • 发布日期:2016-05-14
    • 文件大小:4194304
    • 提供者:yp2008gf
  1. 离散数学课件免费下载

  2. 离散数学课件研究由命题为基本单位构成的前提和结论之间的可推导关系。 §1.1 命题的表示与逻辑的联结词 1.命题 Satement proposition 任何一个可以判断真假的陈述语句叫命题。 (能够判断其断言是真或是假的陈述语句称为命题; 具有真假意义的陈述语句;非真必假的陈述语句)
  3. 所属分类:专业指导

  1. Fingers - Touch Gestures for Unity 2.3.5

  2. Fingers is your one stop choice for all gesture handling in Unity (and other C# platforms as Fingers has no Unity specific code). Fingers has been tested and runs great on MAC, Windows, iOS and Android. Full C# source code and shader code is provide
  3. 所属分类:Unity3D

    • 发布日期:2018-05-25
    • 文件大小:5242880
    • 提供者:tin90
  1. NetSuite ERP for Administrators 2018

  2. Learn steps and tasks to help a NetSuite administrator perform both his daily and monthly tasks efficiently. Advance his expertise to become NetSuite leader without having to spend time and money on corporate trainings. Key Features Understand the b
  3. 所属分类:互联网

    • 发布日期:2018-07-05
    • 文件大小:42991616
    • 提供者:sinat_41581062
  1. Secure architecture in embedded systems: an overview

  2. Security issues become more and more important during the development of mobile devices. In this paper we propose first a brief overview of hardware and software attacks related to embedded systems and second a comprehensive study of existing soluti
  3. 所属分类:嵌入式

    • 发布日期:2018-08-16
    • 文件大小:819200
    • 提供者:phoenix991
  1. Using CC253X or CC254X with Dipole PCB Antennas

  2. Many RFICs today use differential ports to transmit and receive RF power. This makes the use of balanced antennas an attractive proposition, as one can do away with the balun normally needed to convert the differential RF power at the IC ports to si
  3. 所属分类:硬件开发

    • 发布日期:2018-11-19
    • 文件大小:750592
    • 提供者:u012122564
« 12 »