< B語(yǔ)言與方法：實(shí)用形式化開(kāi)發(fā)指南>> 本書(shū)介紹了B抽象機(jī)符號(hào)語(yǔ)言以及用于支持形式化規(guī)格說(shuō)明和高集成 系統(tǒng)開(kāi)發(fā)的方掛。首先，介紹了B 語(yǔ)言的發(fā)展歷史及與其他語(yǔ)言的關(guān)系，然 后，從集合、序列等基本數(shù)學(xué)符號(hào)表示到B 語(yǔ)言的結(jié)構(gòu)化機(jī)制，再到它所支 持的大型程序設(shè)計(jì)方法，全面地介細(xì)了B 符號(hào)語(yǔ)言的描述方法。
標(biāo)簽： gt 語(yǔ)言 lt 開(kāi)發(fā)指南
上傳時(shí)間： 2014-11-29
上傳用戶：康郎
QTP全名Quick Test Professional,是MI公司出品的一款測(cè)試工具.它的優(yōu)點(diǎn)是使用方便,功能強(qiáng)大并且可以通過(guò)與測(cè)試管理工具的互連達(dá)到自動(dòng)化功能測(cè)試的目的. QTP是專門針對(duì)B/S模式的測(cè)試工具.它具有:識(shí)別能力強(qiáng),回放精確等優(yōu)點(diǎn),是進(jìn)行B/S模式下功能測(cè)試的首選工具
標(biāo)簽： Professional QTP Quick Test
上傳時(shí)間： 2016-04-21
上傳用戶：tyler
在數(shù)據(jù)加密和數(shù)據(jù)壓縮中常需要對(duì)特殊的字符串進(jìn)行編碼。給定的字母表A 由26 個(gè)小 寫(xiě)英文字母組成A={a,b,…,z}。該字母表產(chǎn)生的升序字符串是指字符串中字母按照從左到 右出現(xiàn)的次序與字母在字母表中出現(xiàn)的次序相同，且每個(gè)字符最多出現(xiàn)1 次。例如， a,b,ab,bc,xyz 等字符串都是升序字符串。對(duì)于任意長(zhǎng)度不超過(guò)6 的升序字符串，迅速計(jì)算出它在上述字典中的編碼。
標(biāo)簽： 字母 字符串 數(shù)據(jù)加密 數(shù)據(jù)壓縮
上傳時(shí)間： 2016-05-12
上傳用戶：邶刖
費(fèi)諾編碼的步驟: A 將概率按從大到小的順序排列 B 按編碼進(jìn)制數(shù)將概率分組，使每組概率和盡可能接近或相等。 C 給每組分配一位碼元 D 將每一分組再按同樣原則劃分，重復(fù)b和c，直到概率不再可分為止
標(biāo)簽： 編碼 概率 分組 進(jìn)制數(shù)
上傳時(shí)間： 2016-06-24
上傳用戶：xinyuzhiqiwuwu
sourceforge歷史版本完整下載: http://sourceforge.net/project/showfiles.php?group_id=202044 提供了基于b樹(shù)索引算法的文件數(shù)據(jù)數(shù)據(jù)庫(kù)模塊詳見(jiàn)storage/目錄下面的 btree.c與pager.c container目錄為常用的容器實(shí)現(xiàn)，如果rbtree avltree map heap list vector hashtable deque T樹(shù) B樹(shù), test目錄為測(cè)試程序代碼經(jīng)過(guò)初步測(cè)試，比較穩(wěn)定。 os_api:裝一些操作系統(tǒng)相關(guān)的接口函數(shù)。已完成event mutex sem thread pipe相關(guān)的封裝 advance_container:提供優(yōu)先級(jí)消息隊(duì)列,普通消息隊(duì)列，定時(shí)器容器。 frame:目前提供了listerner（linux下版本，模仿ace的反應(yīng)器）定時(shí)器 algorithm:補(bǔ)充了堆排序 與快速排序 所有代碼均已在windows linux與uclinux + arm44b0平臺(tái)下測(cè)試 歡迎交流 msn:lsccsl@163.net mail:lsccsl@tom.com
標(biāo)簽： sourceforge showfiles group_id project
上傳時(shí)間： 2016-07-16
上傳用戶：lili123
MeyboMail Web(脈博郵件系統(tǒng)客戶端)是一個(gè)純Java編寫(xiě)的,基于B/S模式的郵件系統(tǒng)客戶端軟件,系統(tǒng)表示層使用easyjf.com(簡(jiǎn)易java框架)的 EasyJWeb框架開(kāi)發(fā),主要通過(guò)調(diào)用java mail實(shí)現(xiàn)郵件的收發(fā)。MeyboMail Web主要配合MeyboMail Server(脈博郵件服務(wù)器系統(tǒng)）使用，MeyboMail Server是使用Java編寫(xiě)，可以運(yùn)行在任何支持Java的服務(wù)器系統(tǒng)平臺(tái)。擁有自主知識(shí)產(chǎn)權(quán)的郵件服務(wù)器系統(tǒng)軟件，系統(tǒng)實(shí)現(xiàn)了POP3,ESMTP 等郵件協(xié)議，支持服務(wù)器群集，可以運(yùn)行在多臺(tái)服務(wù)器上。
標(biāo)簽： MeyboMail EasyJWeb easyjf Java
上傳時(shí)間： 2014-11-14
上傳用戶：qq21508895
Thinking in C++(Second Edition),Volume One:Introduction to Standard C++ 國(guó)外經(jīng)典C++原版書(shū)庫(kù)《C++編程思想(第2版)第1卷：標(biāo)準(zhǔn)C++導(dǎo)引》/(美)埃克爾(Eckel,B)著；劉宗田等譯 十分經(jīng)典、難得！
標(biāo)簽： Introduction Thinking Standard Edition
上傳時(shí)間： 2014-12-07
上傳用戶：jkhjkh1982
DESCRIPTION : BIN to seven segments converter -- segment encoding -- a -- +---+ -- f | | b -- +---+ <- g -- e | | c -- +---+ -- d -- Enable (EN) active : high -- Outputs (data_out) active : low
標(biāo)簽： DESCRIPTION converter segments encoding
上傳時(shí)間： 2016-08-17
上傳用戶：ainimao
本文用VHDL在CPLD器件上實(shí)現(xiàn)一種8 b數(shù)字頻率計(jì)測(cè)頻系統(tǒng)，能夠用十進(jìn)制數(shù)碼顯示被測(cè)信號(hào)的頻率，不僅能夠測(cè)量正弦波、方波和三角波等信號(hào)的頻率，而且還能對(duì)其他多種物理量進(jìn)行測(cè)量。具有體積小、可靠性高、功耗低的特點(diǎn)。
標(biāo)簽： VHDL CPLD 器件 數(shù)字頻率計(jì)
上傳時(shí)間： 2013-12-18
上傳用戶：sy_jiadeyi
自己的51開(kāi)發(fā)板源代碼B，里面包含有LCD1602實(shí)驗(yàn)，lcd12864實(shí)驗(yàn)，ps2 lcd1602，串口通訊，紅外遙控，計(jì)算器，繼電器控制，矩陣鍵盤(pán)等實(shí)驗(yàn)程序，內(nèi)容豐富
標(biāo)簽： 51開(kāi)發(fā)板 源代碼
上傳時(shí)間： 2016-09-06
上傳用戶：wab1981
蟲(chóng)蟲(chóng)下載站版權(quán)所有 京ICP備2021023401號(hào)-1
