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

搜索资源列表

  1. vb最简单教程(傻b版)

  2.  VB的出现可以说是Microsoft Windows的日渐成熟的必然产物。Microsoft Windows为程序员和最终用户提供了一个共同的人机界面。对用户,Windows提供了一个图形鼠标的操作环境,该环境对所有的应用程序都一样;对于程序员,Windows提供了一组预定义工具----称之为Microsoft Windows 的软件开发工具箱(SDK),该工具能使程序员建立一个与Windows界面相同的应用程序,而且,程序员不必关心最终用户的硬件配置情况。在这一开发环境中,程序员唯一困难的
  3. 所属分类:VB

    • 发布日期:2009-08-11
    • 文件大小:145408
    • 提供者:shi_young
  1. Flex与后台交互的方法

  2. HTTPService
  3. 所属分类:Java

    • 发布日期:2009-11-23
    • 文件大小:56320
    • 提供者:haha0832
  1. The Abstract State Machines Method forHigh-Level System Design and Analysis

  2. We explain the main ingredients of the Abstract State Machines (ASM) method for high-level system design and analysis and survey some of its application highlights in industrial software-based system engineering. We illustrate the method by defining
  3. 所属分类:专业指导

    • 发布日期:2010-09-19
    • 文件大小:267264
    • 提供者:timon0807
  1. Event-B.pdf

  2. 这是一本关于Event-B的例子用书,里面有十几个例子,英文版的
  3. 所属分类:专业指导

    • 发布日期:2011-10-30
    • 文件大小:13631488
    • 提供者:x314951220
  1. Event-B学习入门

  2. 这是Event-B的入门用书,里面讲解了详细的语法
  3. 所属分类:专业指导

    • 发布日期:2011-10-30
    • 文件大小:1048576
    • 提供者:x314951220
  1. Event-B Language

  2. 本文档是Event-B形式化方法的参考书,书中包含Event-B结构与语法介绍;数学证明;符合表示
  3. 所属分类:专业指导

    • 发布日期:2012-12-25
    • 文件大小:1017856
    • 提供者:shangdi765
  1. 在b/s开发中经常用到的javaScript技术

  2. 在b/s开发中经常用到的javascr ipt技术整理 Posted on 2006-02-17 15:55 MeiYU 阅读(377) 评论(0) 编辑 收藏 一、验证类 1、数字验证内 1.1 整数 1.2 大于0的整数 (用于传来的ID的验证) 1.3 负整数的验证 1.4 整数不能大于iMax 1.5 整数不能小于iMin 2、时间类 2.1 短时间,形如 (13:04:06) 2.2 短日期,形如 (2003-12-05) 2.3 长时间,形如 (2003-12-05 13:04:0
  3. 所属分类:Javascript

    • 发布日期:2013-03-27
    • 文件大小:16384
    • 提供者:kzbpp
  1. 在b/s开发中经常用到的javaScript技术整理

  2. 在b/s开发中经常用到的javascr ipt技术整理 一、验证类 1、数字验证内 1.1 整数 1.2 大于0的整数 (用于传来的ID的验证) 1.3 负整数的验证 1.4 整数不能大于iMax 1.5 整数不能小于iMin 2、时间类 2.1 短时间,形如 (13:04:06) 2.2 短日期,形如 (2003-12-05) 2.3 长时间,形如 (2003-12-05 13:04:06) 2.4 只有年和月。形如(2003-05,或者2003-5) 2.5 只有小时和分钟,形如(12:0
  3. 所属分类:Web开发

    • 发布日期:2007-01-17
    • 文件大小:16384
    • 提供者:yaya5460
  1. rodin User

  2. rodin平台的使用说明,对于刚学event-b并且开始使用rodin平台的人很有用
  3. 所属分类:专业指导

    • 发布日期:2016-03-22
    • 文件大小:4194304
    • 提供者:qq_25018887
  1. Reactive.Programming.with.RxJava.Creating.Asynchronous.Event-Based.Applications

  2. In today’s app-driven era, when programs are asynchronous and responsiveness is so vital, reactive programming can help you write code that’s more reliable, easier to scale, and better-performing. With this practical book, Java developers will first
  3. 所属分类:Java

    • 发布日期:2016-10-25
    • 文件大小:7340032
    • 提供者:ramissue
  1. 基于EvenT-B的联锁系统进路控制建模与验证研究

  2. 基于EvenT-B的联锁系统进路控制建模与验证研究 基于EvenT-B的联锁系统进路控制建模与验证研究
  3. 所属分类:其它

    • 发布日期:2018-01-01
    • 文件大小:6291456
    • 提供者:kingbox2008
  1. AO ASSXXXD

  2. 奥运用语 例如 What's your favourite event in the Olympics?   你最喜欢的奥运项目是什么?   A I'm so looking forward to the Olympics. It's going to be a great event.   A 我热切地期待着奥林匹克运动会的召开。这将是一大盛事。   B Me too. I can't wait for them to start. It's so exciting.   B 我也是。我都等
  3. 所属分类:专业指导

  1. event-B入门基础手册

  2. 从文献中发现该方法能够用于代码的自动生成。Event-B的入门用书,里面讲解了详细的语法。可用于参考
  3. 所属分类:讲义

    • 发布日期:2018-09-21
    • 文件大小:948224
    • 提供者:chs626419
  1. B-L475E-IOT01A开发板用户手册(附有10多页的完整原理图)

  2. B-L475E-IOT01A开发板用户手册,非常详尽,附有10多页的完整原理图,每个模块功能介绍很详细,不错的学习资料UM2153 Contents 7.12.2 Capacitive digital sensor for relative humidity and temperature(HTS221) 25 7. 12.3 High-performance 3-axis magnetometer(LIS3MDL 25 7. 12. 4 3D accelerometer and 3D gyro
  3. 所属分类:硬件开发

    • 发布日期:2019-10-11
    • 文件大小:1943862
    • 提供者:hackercircle
  1. UEFI Specification Version 2.7 Errata B [March 2019]

  2. Unified Extensible Firmware Interface (UEFI) Specification Version 2.7 Errata B March 2019Revision History Revision Mantis Number/Descr iption Date 1773 Clarify The EFI System Table entry for capsule image March 2019 2.7B 1801 Extract Config() format
  3. 所属分类:桌面系统

    • 发布日期:2019-05-24
    • 文件大小:16777216
    • 提供者:marktsai0316
  1. 通信与网络中的安捷伦LXI触发器E5818A将效率提升到LXI Class B等级

  2. 安捷伦科技(Agilent)推出LXI触发器E5818A,它可以让LXI Class C和GPIB仪器在LAN上达到精确的同步,并使效率提升到LXI Class B标准等级。         当一台LXI Class C或GPIB仪器连接到Agilent E5818A LXI触发器时,便可取得LXI Class B仪器的时序能力。这款触发器采用IEEE 1588精确时间协议(PTP)同步技术,可让连接的仪器进行次纳秒级(sub-nanosecond)的时间触发及为事件加上时间戳(Time S
  3. 所属分类:其它

    • 发布日期:2020-12-03
    • 文件大小:52224
    • 提供者:weixin_38545485
  1. html的DOM中Event对象onblur事件用法实例

  2. 本文实例讲述了html的DOM中Event对象onblur事件用法。分享给大家供大家参考。具体分析如下: onblur 事件会在对象失去焦点时发生。 语法如下: 代码如下:onblur=”SomeJavascr iptCode” SomeJavascr iptCode 必需。规定该事件发生时执行的 Javascr ipt。 支持该事件的 HTML 标签: , , , , , , , , , , , , ,
  3. 所属分类:其它

    • 发布日期:2020-12-10
    • 文件大小:27648
    • 提供者:weixin_38747444
  1. 基于Event-B的一种联锁逻辑的形式化建模研究

  2. 基于Event-B的一种联锁逻辑的形式化建模研究
  3. 所属分类:其它

    • 发布日期:2021-02-20
    • 文件大小:414720
    • 提供者:weixin_38661939
  1. python多线程之事件Event的使用详解

  2. 前言 小伙伴a,b,c围着吃火锅,当菜上齐了,请客的主人说:开吃!,于是小伙伴一起动筷子,这种场景如何实现 Event(事件) Event(事件):事件处理的机制:全局定义了一个内置标志Flag,如果Flag值为 False,那么当程序执行 event.wait方法时就会阻塞,如果Flag值为True,那么event.wait 方法时便不再阻塞。 Event其实就是一个简化版的 Condition。Event没有锁,无法使线程进入同步阻塞状态。 Event() set(): 将标志设为Tru
  3. 所属分类:其它

    • 发布日期:2021-01-21
    • 文件大小:53248
    • 提供者:weixin_38517113
  1. JS和JQ的event对象区别分析

  2. 代码测试: 代码如下: test text [removed][removed] [removed] test.addEventListener(‘click’, function(e){console.log(e);}, false), $(‘#test’).on(‘click’, function(e){console.log(e)}); [removed] 结果分析: 代码如下: js-jq-event-common:{   altKey: false,   b
  3. 所属分类:其它

    • 发布日期:2021-01-21
    • 文件大小:44032
    • 提供者:weixin_38731385
« 12 3 4 5 6 7 8 9 10 ... 24 »