< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
uclinux 中如何使用b核的文章,經典
標簽： uclinux 如何使用
上傳時間： 2016-04-11
上傳用戶：jqy_china
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p為任意素數，a,b,c為任意整數.
標簽： mod 方程
上傳時間： 2014-01-11
上傳用戶：er1219
超聲影像工作站系統可與各種型號的B超、彩超連接，實時采集、顯示、處理、存貯超聲圖像，采用全數字化處理技術，可對各種超聲圖像進行動態采集
標簽： 超聲影像 工作站 型號 B超
上傳時間： 2014-06-01
上傳用戶：ippler8
TMS320C6000 DSP PCI Reference Guide (Rev. B).pdf
標簽： Reference C6000 Guide 320C
上傳時間： 2016-05-02
上傳用戶：zq70996813
TMS320C6000 DSP Power-Down Logic and Modes Reference Guide (Rev. B).pdf
標簽： Power-Down Reference C6000 Logic
上傳時間： 2014-12-07
上傳用戶：woshini123456
b Rew book for brew phone design
標簽： design phone book brew
上傳時間： 2016-05-07
上傳用戶：liuchee
采用MATLAB編寫B樣條繪制程序，可以選擇四種節點矢量，采用Deboor算法,詳細參看計算機輔助幾何設計的書籍(CAGD)
標簽： MATLAB 編寫 繪制 程序
上傳時間： 2013-12-23
上傳用戶：yoleeson
B-樹演示程序(vc++)可執行程序.rar
標簽： 程序 vc 樹
上傳時間： 2016-05-12
上傳用戶：R50974
在數據加密和數據壓縮中常需要對特殊的字符串進行編碼。給定的字母表A 由26 個小 寫英文字母組成A={a,b,…,z}。該字母表產生的升序字符串是指字符串中字母按照從左到 右出現的次序與字母在字母表中出現的次序相同，且每個字符最多出現1 次。例如， a,b,ab,bc,xyz 等字符串都是升序字符串。對于任意長度不超過6 的升序字符串，迅速計算出它在上述字典中的編碼。
標簽： 字母 字符串 數據加密 數據壓縮
上傳用戶：邶刖
蟲蟲下載站版權所有 京ICP備2021023401號-1
