< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
上傳時間： 2014-11-29
上傳用戶：康郎
uclinux 中如何使用b核的文章,經典
上傳時間： 2016-04-11
上傳用戶：jqy_china
采用基于B/S結構進行開發學生管理信息系統,本系統采用Servlet+Jsp+JavaBean+MySQL 的設計方式
標簽： JavaBean Servlet MySQL Jsp
上傳時間： 2013-11-26
上傳用戶：yuchunhai1990
該系統是一個B/S結構的公司定飯系統,整套軟件由JSP編制,希望大家能夠多提寶貴意見,但請不要將它應用于商業環境,如實在要使用的話,請與作者聯系!(使用此系統無比要有ORACLE8i以上版本數據庫!)
上傳時間： 2014-01-25
上傳用戶：壞壞的華仔
全新的B/S結構開發方式,用純JS+HTML實現了類似C/S的強大瀏覽器交互,查詢及分頁瀏覽速度提高幾倍,可以成批錄入數據,有完整的數據庫表訪問和純web打印
上傳時間： 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 參考資料
上傳時間： 2013-12-24
上傳用戶：a6697238
Swfdec still is development software, but has also followed a rigid no-crashes-allowed policy. I believe it s stable enough now to be installed as a default plugin for people that can live with occasional crashes of their browser. But don t blame me if it does crash. File a bug at https://bugs.freedesktop.org/enter_bug.cgi?product=swfdec
標簽： no-crashes-allowed development followed software
上傳時間： 2016-04-14
上傳用戶：franktu
1) Write a function reverse(A) which takes a matrix A of arbitrary dimensions as input and returns a matrix B consisting of the columns of A in reverse order. Thus for example, if A = 1 2 3 then B = 3 2 1 4 5 6 6 5 4 7 8 9 9 8 7 Write a main program to call reverse(A) for the matrix A = magic(5). Print to the screen both A and reverse(A). 2) Write a program which accepts an input k from the keyboard, and which prints out the smallest fibonacci number that is at least as large as k. The program should also print out its position in the fibonacci sequence. Here is a sample of input and output: Enter k>0: 100 144 is the smallest fibonacci number greater than or equal to 100. It is the 12th fibonacci number.
標簽： dimensions arbitrary function reverse
上傳時間： 2016-04-16
上傳用戶：waitingfy
The LM628/LM629 are dedicated motion-control processors designed for use with a variety of DC and brushless DC servo motors
標簽： motion-control processors dedicated designed
上傳時間： 2014-01-23
上傳用戶：aa17807091
QTP全名Quick Test Professional,是MI公司出品的一款測試工具.它的優點是使用方便,功能強大并且可以通過與測試管理工具的互連達到自動化功能測試的目的. QTP是專門針對B/S模式的測試工具.它具有:識別能力強,回放精確等優點,是進行B/S模式下功能測試的首選工具
標簽： Professional QTP Quick Test
上傳時間： 2016-04-21
上傳用戶：tyler
