< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
PSO算法例程，包括多個實現，從國外網站下的
標簽： PSO 算法
上傳時間： 2016-04-09
上傳用戶：xiaodu1124
S3C2440A的IIC接口的基本操作。ADS1。2集成開發環境，ARM仿真器
標簽： S3C2440A ADS1 IIC 接口
上傳時間： 2013-12-19
上傳用戶：cx111111
亨利。福特給人類文明的車輪加了一把 向前的動力。 他的一生創造了很多“世界之最”：汽車產量和銷售量最大、工廠規模最大、 生產方式和生產設備最先進、個人財富也算得數一數二。 俗話說“為富不仁”。然而，在歐美工業界，他是率先實行“仁政” 的大老板。他的日薪5 元制，使得他的工人以作為福特公司職工為榮。 此外，這個農民出身的世界巨富，生前還做過很多有利于勞動者的事。
標簽： 亨利 福特 動力 創造
上傳時間： 2014-01-13
上傳用戶：gaome
無源定位技術代表著定位技術的發展水平,從近幾次戰爭中可以看出它的重要軍事價值.系統的介紹了國內外近年來在無源定位技術中單站和多站定位的各種方法和定位算發,并對其特點進行了分析,同時指出這一領域有待與進一步深入研究的問題.
標簽： 定位技術 無源 定位 發展
上傳時間： 2016-04-10
上傳用戶：ma1301115706
道路曲線計算：根據道路設計參數算出各里程樁號的坐標
標簽： 計算 設計參數
上傳用戶：fandeshun
DPS2812的開發程序,內有多個測試的程序可以讓你明白板子基本的運作
標簽： 2812 DPS 程序 白板
上傳用戶：330402686
白塞爾大地主題解算法：提供白塞爾大地主題解算法正反算功能。
標簽： 解算 正
上傳時間： 2014-11-26
上傳用戶：上善若水
從1加到N還有N！兩個算法實現 N自己設置大小 沒有限制 只要內存夠大 CPU夠快就行 我算100！用1秒多 結果我記得好像有300多位呢
標簽： CPU 100 300 算法
上傳時間： 2016-04-11
上傳用戶：杜瑩12345
pb編程框架-內含大量的控件、函數、集成.rar
標簽： 編程 控件 函數
上傳時間： 2016-04-13
上傳用戶：lanhuaying
蟲蟲下載站版權所有 京ICP備2021023401號-1
