FT-series of Software verification.

相 关 资 源

• FT-series of Software verification.免费下载

  资源简介：FT-series of Software verification.

  标签： verification FT-series Software of

  上传时间： 2014-01-12

  上传用户：litianchu

• A series of .c and .m files which allow one to perform univariate and bivariate wavelet analysis of免费下载

  资源简介：A series of .c and .m files which allow one to perform univariate and bivariate wavelet analysis of discrete time series. Noother wavelet package is necessary -- everything is contained in this archive. The C-code computes the DWT and maxim...

  标签： univariate and bivariate analysis

  上传时间： 2015-06-23

  上传用户：chongcongying

• 《代码大全》的英文版名称是 Code Complete: A Practical Handbook of Software Construction。 它获得1993年美国软件开发杂志Jolt大奖免费下载

  资源简介：《代码大全》的英文版名称是 Code Complete: A Practical Handbook of Software Construction。 它获得1993年美国软件开发杂志Jolt大奖，被美国包括MIT在内的十多所大学作为计算机软件学科的教材。 作者Steve McConnell的另外三本著作是 Rapid Development，S...

  标签： Construction Practical Complete Handbook

  上传时间： 2015-02-17

  上传用户：songnanhua

• Wiley Sons - The Art of Software Architecture.pdf免费下载

  资源简介：Wiley Sons - The Art of Software Architecture.pdf

  标签： Architecture Software Wiley Sons

  上传时间： 2013-12-23

  上传用户：klin3139

• The zip file in this directory contains a series of lectures and examples intended as an introductio免费下载

  资源简介：The zip file in this directory contains a series of lectures and examples intended as an introduction to USB.

  标签： introductio directory contains examples

  上传时间： 2015-04-02

  上传用户：lxm

• The goal of this lab is (1) to under the defects of Software timers, (2) to write a periodic pro免费下载

  资源简介：The goal of this lab is (1) to under the defects of Software timers, (2) to write a periodic program without timers, (3) to write a periodic program using timer Hardware:Host computer PC Software: GNU GCC

  标签： Software periodic defects timers

  上传时间： 2014-08-13

  上传用户：古谷仁美

• Software Testing, Second Edition provides practical insight into the world of Software testing and q免费下载

  资源简介：Software Testing, Second Edition provides practical insight into the world of Software testing and quality assurance. Learn how to find problems in any computer program, how to plan an effective test approach and how to tell when Software i...

  标签： practical Software provides Software

  上传时间： 2015-04-30

  上传用户：bjgaofei

• 动态图片演示 Animation of a series of images.免费下载

  资源简介：动态图片演示 Animation of a series of images.

  标签： Animation images series of

  上传时间： 2014-01-23

  上传用户：稀世之宝039

• No Silver Bullet: Essence and Accidents of Software Engineering by Frederick P. Brooks, Jr.免费下载

  资源简介：No Silver Bullet: Essence and Accidents of Software Engineering by Frederick P. Brooks, Jr.

  标签： P. Engineering Accidents Frederick

  上传时间： 2014-01-25

  上传用户：gmh1314

• 《代码大全》的英文版名称是 Code Complete: A Practical Handbook of Software Construction。 它获得1993年美国软件开发杂志Jolt大奖免费下载

  资源简介：《代码大全》的英文版名称是 Code Complete: A Practical Handbook of Software Construction。 它获得1993年美国软件开发杂志Jolt大奖，被美国包括MIT在内的十多所大学作为计算机软件学科的教材。

  标签： Construction Practical Complete Handbook

  上传时间： 2014-01-24

  上传用户：siguazgb

• the template documents of Software Engineering免费下载

  资源简介：the template documents of Software Engineering

  标签： Engineering documents template Software

  上传时间： 2015-07-18

  上传用户：kytqcool

• Ineroperability of Software and components.(course in peking university)免费下载

  资源简介：Ineroperability of Software and components.(course in peking university)

  标签： Ineroperability components university Software

  上传时间： 2013-12-12

  上传用户：CHENKAI

• Software Testing, Second Edition provides practical insight into the world of Software testing and q免费下载

  资源简介：Software Testing, Second Edition provides practical insight into the world of Software testing and quality assurance. Learn how to find problems in any computer program, how to plan an effective test approach and how to tell when Software i...

  标签： practical Software provides Software

  上传时间： 2014-08-01

  上传用户：zhaiyanzhong

• Core JSP In recent years, a large amount of Software development activity has migrated from the cl免费下载

  资源简介：Core JSP In recent years, a large amount of Software development activity has migrated from the client to the server. The client-centric model, in which a client executes complex programs to visualize and manipulate data, is no longer co...

  标签： development activity migrated Software

  上传时间： 2014-01-12

  上传用户：duoshen1989

• Advanced Internet Programming Lecture 2 C/C++ Review Li,Suke School of Software and Microelectroni免费下载

  资源简介：Advanced Internet Programming Lecture 2 C/C++ Review Li,Suke School of Software and Microelectronics, Beijing University

  标签： Microelectroni Programming Advanced Internet

  上传时间： 2014-01-07

  上传用户：chenxichenyue

• This program is a series of 51 single-chip microcomputer simulation IIC bus, the memory of the 24 op免费下载

  资源简介：This program is a series of 51 single-chip microcomputer simulation IIC bus, the memory of the 24 operations

  标签： microcomputer single-chip simulation the

  上传时间： 2013-12-18

  上传用户：yan2267246

• Software Paradigms reveals the logical hierarchy of Software development models, and discusses each免费下载

  资源简介：Software Paradigms reveals the logical hierarchy of Software development models, and discusses each of these models as well as the reuse of design concepts at each level of the hierarchy

  标签： development Paradigms hierarchy discusses

  上传时间： 2014-01-19

  上传用户：cjf0304

• AdaBoost is an efficient tool in machine learning. It can combine a series of weak learners into a s免费下载

  资源简介：AdaBoost is an efficient tool in machine learning. It can combine a series of weak learners into a strong learner. Besides pattern classification, it also can be applied into feature selection. This document explains the use of AdaBoost.

  标签： efficient AdaBoost learning learners

  上传时间： 2013-12-06

  上传用户：小宝爱考拉

• 算法导论英文版 This book is one of a series of texts written by faculty of the Electrical Engineering and 免费下载

  资源简介：算法导论英文版 This book is one of a series of texts written by faculty of the Electrical Engineering and Computer Science Department at the Massachusetts Institute of Technology. I

  标签： Engineering Electrical of faculty

  上传时间： 2016-04-06

  上传用户：123456wh

• A .zip file contains a series of scripts that were used in the MathWorks webinar "Using MATLAB to De免费下载

  资源简介：A .zip file contains a series of scripts that were used in the MathWorks webinar "Using MATLAB to Develop Portfolio Optimization Models." The scripts generate 3D efficient frontiers for a universe of 44 stocks with time as the third axis. A...

  标签： MathWorks contains scripts webinar

  上传时间： 2014-01-04

  上传用户：trepb001

• Understanding of Software development methodologies and concepts, experience with full product lifec免费下载

  资源简介：Understanding of Software development methodologies and concepts, experience with full product lifecycle from scope to customer release 5. Strong design decomposition skills, analysis and testing 6. Proactive approach to problem solving...

  标签： Understanding methodologies development experience

  上传时间： 2013-12-25

  上传用户：zhliu007

• a course of Software project免费下载

  资源简介：a course of Software project

  标签： Software project course of

  上传时间： 2016-05-28

  上传用户：gaojiao1999

• DO-178B document The rapid license in the use of Software in airbore system and equipment used on a免费下载

  资源简介：DO-178B document The rapid license in the use of Software in airbore system and equipment used on aircraft and engines

  标签： equipment document Software airbore

  上传时间： 2016-07-18

  上传用户：wfeel

• Software testing technology, introduced the common methods of Software testing, Software testing in免费下载

  资源简介：Software testing technology, introduced the common methods of Software testing, Software testing in the basic test ideas

  标签： testing Software technology introduced

  上传时间： 2014-01-26

  上传用户：qiao8960

• 《软件工程中的真相和谬误》的英文版《Facts and Fallacies of Software Engineering》免费下载

  资源简介：《软件工程中的真相和谬误》的英文版《Facts and Fallacies of Software Engineering》，介绍软件工程中常见的一些“事实”和“误解”

  标签： Engineering Fallacies Software Facts

  上传时间： 2014-01-02

  上传用户：love1314

• The iputils package contains ping, a basic networking tool. The ping command sends a series of ICMP免费下载

  资源简介：The iputils package contains ping, a basic networking tool. The ping command sends a series of ICMP protocol ECHO_REQUEST packets to as pecified network host and can tell you if that machine is alive and receiving network traffic.ipv6calc i...

  标签： ping networking The contains

  上传时间： 2014-08-25

  上传用户：zhichenglu

• The ADC0803 family is a series of three CMOS 8-bit successive approximation A/D converters using a免费下载

  资源简介：The ADC0803 family is a series of three CMOS 8-bit successive approximation A/D converters using a resistive ladder and capacitive array together with an auto-zero comparator. These converters are designed to operate with microprocessor-...

  标签： approximation converters successive family

  上传时间： 2016-11-20

  上传用户：libenshu01

• fwknop stands for "Firewall Knock Operator" and is an upcoming piece of Software that will be releas免费下载

  资源简介：fwknop stands for "Firewall Knock Operator" and is an upcoming piece of Software that will be released at the DEFCON 12 conference in July, 2004 in Las Vegas. fwknop implements network access controls (via iptables) based on a flexible p...

  标签： Firewall Operator Software upcoming

  上传时间： 2016-12-04

  上传用户：牛津鞋

• the art of Software test.中文版,学习软件测试的经典书籍哦.免费下载

  资源简介：the art of Software test.中文版,学习软件测试的经典书籍哦.

  标签： Software test the art

  上传时间： 2016-12-20

  上传用户：watch100

• This piece of Software was written as a replacement and extension for Tripwire. Tripwire is an exce免费下载

  资源简介：This piece of Software was written as a replacement and extension for Tripwire. Tripwire is an excellent program in itself but lacks some features and is a closed product.

  标签： Tripwire replacement extension Software

  上传时间： 2014-01-25

  上传用户：宋桃子