cWhoisv1.52查寻域名是否注册 The zip file contains several files as follows. cwhois.php contains the cwhois function and support functions. You should include this in your pages. checkdomain.php demo page that checks a freely entered domain name. checkdomain
工具箱数学词汇英汉对照表 概率论与数理统计词汇英汉对照表 A absolute value 绝对值 accept 接受 acceptable region 接受域 additivity 可加性 adjusted 调整的 alternative hypothesis 对立 假设 analysis 分析 analysis of covariance 协方差分析 analysis of variance 方差分析 arithmetic mean 算术平均值 association 相关性 assum
TRegExpr Delphi/Kylix/FreePascal library Easy to use and powerfull tool for sophisticated search and substitutioning and for template-based text checking (especially usefull for user input validation in DBMS and web projects). You can va lidate
This book describes the design and implementation of mC/OS-II (pronounced "Micro C O S 2") which stands forMicro-Controller Operating System Version 2. μC/OS -II is based on μC/OS, The Real-Time Kernel which was firstpublished in 19 92. Thousands of
ITU-T G.729 Annex B ANSI-C Source Code Version 1.4 Last modified: November, 2000 */ TITLE ----- Fixed-point descr iption of Recommendation G.729 with ANNEX B Coding of Speech at 8 kbit/s using Conjugate-Structure Algebraic-Code-Excited Linear-Predic
Generic programming has emerged as an important technique for the development of highly reusable and efficient software libraries. In C++, generic programming is enabled by the flexibility of templates, the C++ type parametrization mechanism. Howeve
The Craft of System Security by Sean Smith; John Marchesini List of Figures 1.1 An access control matrix 7 1.2 Security and state spaces 10 2.1 Example clearance order 26 2.2 Example categories order 27 2.3 Example MLS lattice 28 2.4 The *-Property
1 Using a scientific calculator 1 1.1 Introduction 1 1.2 Keys of a scientific calculator 1 2 Numbers 8 2.1 Introduction 8 2.2 History of numbers 8 2.3 Positive numbers, negative numbers and integers 9 2.4 Prime and composite numbers 10 2.5 Square nu
To ensure the full safety of safety-critical system, a safety analysis method for model checking based on multiple faults injection is presented in the paper. In the proposed method, the single and multiple faults can be injected into the formal mode
Probabilistic automata models play an important role in the formal design and analysis of hard- and software systems. In this area of applications, one is often interested in formal model-checking procedures for verifying critical system properties.