<input id="48ykq"></input>
< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
標簽： gt 語言 lt 開發指南
上傳時間： 2014-11-29
上傳用戶：康郎
uclinux 中如何使用b核的文章,經典
標簽： uclinux 如何使用
上傳時間： 2016-04-11
上傳用戶：jqy_china
采用基于B/S結構進行開發學生管理信息系統,本系統采用Servlet+Jsp+JavaBean+MySQL 的設計方式
標簽： JavaBean Servlet MySQL Jsp
上傳時間： 2013-11-26
上傳用戶：yuchunhai1990
該系統是一個B/S結構的公司定飯系統,整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應用于商業環境,如實在要使用的話,請與作者聯系!(使用此系統無比要有ORACLE8i以上版本數據庫!)
標簽： ORACLE8i JSP 家
上傳時間： 2014-01-25
上傳用戶：壞壞的華仔
全新的B/S結構開發方式,用純JS+HTML實現了類似C/S的強大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數據,有完整的數據庫表訪問和純web打印
標簽： HTML web JS 方式
上傳時間： 2014-01-20
上傳用戶：lacsx
華恒科技 HHCF5249-R3 技術手冊 第一章 產品簡介 第二章 軟件系統 第三章 硬件系統 第四章 機械特性 第五章 底板的硬件設計 第六章 售后服務及技術支持 附錄 附錄A 初始化 附錄B LINUX 常見術語 附錄C 常用LINUX 命令 附錄D GCC 與GDB 附錄E MAKEFILE 附錄F UCLINUX 系統分析 uClinux 簡介 uClinux 小型化的做法 uClinux 的開發環境 uClinux 的內存管理 工具及內核 附錄G 圖形界面（GUI）接口函數API 附錄H 參考資料
標簽： HHCF 5249 華恒科技 產品簡介
上傳時間： 2013-12-24
上傳用戶：a6697238
提出了利用FPGA的現場可編程以及可并行處理的特性，對基于人工神經網絡的圖像處理結構進行自動生成的一種技術。作者：Andre B. Soares, Altamiro A. Susin，Leticia V. Guimaraes
標簽： FPGA 現場可編程 并行處理
上傳時間： 2016-04-14
上傳用戶：gxf2016
QTP全名Quick Test Professional,是MI公司出品的一款測試工具.它的優點是使用方便,功能強大并且可以通過與測試管理工具的互連達到自動化功能測試的目的. QTP是專門針對B/S模式的測試工具.它具有:識別能力強,回放精確等優點,是進行B/S模式下功能測試的首選工具
標簽： Professional QTP Quick Test
上傳時間： 2016-04-21
上傳用戶：tyler
求解 形如 a*x^2+b*x+c=0 (mod p)的二次同余方程，其中p為任意素數，a,b,c為任意整數.
標簽： mod 方程
上傳時間： 2014-01-11
上傳用戶：er1219
用java編寫的標準化考試系統 (B/S網絡版)
標簽： java 編寫 標準化
上傳時間： 2013-12-18
上傳用戶：qoovoop
蟲蟲下載站版權所有 京ICP備2021023401號-1
