< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大型程序設計方法，全面地介細了B 符號語言的描述方法。
資源簡介：< B語言與方法：實用形式化開發指南>> 本書介紹了B抽象機符號語言以及用于支持形式化規格說明和高集成 系統開發的方掛。首先，介紹了B 語言的發展歷史及與其他語言的關系，然 后，從集合、序列等基本數學符號表示到B 語言的結構化機制，再到它所支 持的大...
上傳時間： 2014-11-29
上傳用戶：康郎
資源簡介：這個文檔用于I/O管理器和基本文件系統之間的過濾驅動。文件系統可能是本地或者網絡的。這個文檔不涉及文件系統和存儲設備之間的過濾驅動，比如FtDisk和DMIO. 我們將主要討論一種新的文件系統過濾驅動模型，所謂的微過濾器（minfiter）
上傳時間： 2015-04-29
上傳用戶：kikye
資源簡介：《實用最優化方法 （第三版）》 該教材介紹了線性規劃、非線性規劃、多目標規劃、整數規劃和動態規劃的基本理論、計算方法及其應用。書中著重闡述了最優化的基本原理和在實際應用中比較有效的計算方法及其在計算機上的實現等內容。
上傳時間： 2014-01-11
上傳用戶：來茴
資源簡介：摘要討論了消除慣導平臺航向效應對地地導彈多位置自對準精度影響的方 法。慣導平臺初始方位相同時航向效應重復性好，根據這個特點設計了消除航 向效應影響的兩位置自對準方法。首先利用陀螺漂移歷史數據粗略估計方位， 并據此轉動彈體將平臺轉到航向效應標...
上傳時間： 2017-08-07
上傳用戶：JIUSHICHEN
資源簡介：本文簡單介紹了OSI 抽象語法符號（ASN.1）的子集——基本編碼規則（BER）和可辨別編碼規則（DER）。
上傳時間： 2014-01-22
上傳用戶：Yukiseop
資源簡介：51單片機在微型智能控制系統中應用很廣,隨著人們對控制系統的要求不斷提高, 51 單片機的功能局限越發明顯。特別是51系列單片機不具有實時多任務支持功能,大大限制其在控制系統中的進一步發展。而多任務恰恰是現代操作系統的突出特點,將多任務機制引入 單片機...
上傳時間： 2014-11-23
上傳用戶：Altman
資源簡介：MATLAB 7_0實用指南（上下冊）（超星圖書）和超星閱讀器的安裝程序。希望對大家有所幫助。順便盼求：關于GPS接收機的自適應抗干擾的程序，應該是功率倒置算法，還有GPS MATLB工具箱，否則還要編寫仿真GPS信號的程序才能調試這個抗干擾算法，是嗎？望高人指點...
上傳時間： 2015-05-09
上傳用戶：koulian
資源簡介：螺旋矩陣問題：編程產生H*L的螺旋矩陣。首先，我們用一個二維數組來放置矩陣，然后按照數字大小順序來填充矩陣.
上傳時間： 2015-10-01
上傳用戶：zhichenglu
資源簡介：人事工資管理系統：本文圍繞一個”人事管理系統”程序的設計和應用系統的開發課題為背景,詳細介紹了以VB和SQL SERVER為語言編寫管理信息系統的過程。該程序通過VB的ADO數據對象來實現VB前臺與后臺SQL SERVER數據庫的連接,并具有典型的數據庫應用系統的特征,完...
上傳時間： 2016-06-17
上傳用戶：luke5347
資源簡介：本書講述的內容是：如何用C++和中間件來解決網絡應用程序開發中相關的重要課題。首先回顧主流OS平臺本身具有的核心OS機制，并闡釋如何在ACE中運用C++和模式，將這些機制封裝到類庫（class library）wrapper facade之中，從而提高應用程序的可移植性和健壯性。...
上傳時間： 2014-01-17
上傳用戶：gonuiln
資源簡介：本書講述的內容是：如何用C++和中間件來解決網絡應用程序開發中相關的重要課題。首先回顧主流OS平臺本身具有的核心OS機制，并闡釋如何在ACE中運用C++和模式，將這些機制封裝到類庫（class library）wrapper facade之中，從而提高應用程序的可移植性和健壯性。...
上傳時間： 2016-10-20
上傳用戶：wangchong
資源簡介：《MATLAB控制系統仿真與實例詳解》一書的光盤源碼。圖書簡介：本書詳細地講解了MATLAB 7.x的功能與相關操作以及MATLAB在控制系統中的仿真應用。本書內容包括控制系統仿真基礎、MATLAB程序設計語言基礎、控制系統理論基礎、Simulink交互式仿真環境、控制系統建...
上傳時間： 2017-04-04
上傳用戶：181992417
資源簡介：本書介紹了MATLAB 7.X版本與其他語言混合編程的方法。內容包括在MATLAB中以文件方式導入、導出數據；在Windows和Linux開發C/C++語言的MEX文件；在Windows和Linux開發FORTRAN語言MEX文件；在MATLAB中使用動態連接庫文件；在C/C++語言中調用MATLAB引擎；使用MAT...
上傳時間： 2017-07-03
上傳用戶：libenshu01
資源簡介：本書介紹了JavssciPt的程序設計技術。書中從最基本的Javascr加編程概念談起， 詳細介紹了J帥她的中可使用的各種對象，討論了如何用J帥SciPt操作HTML文檔 中的各個元素，從而獲得更靈活、交互性更強的web頁，接著說明了多媒體的處理技術， 最后介紹了Javasc...
上傳時間： 2015-09-13
上傳用戶：wanqunsheng
資源簡介：如何在（自然）系列期刊上發表您的硏究工作：（自然）系列期刊是由每周出版的多學科（自然）雜誌和10種每月出版的期刊組成。（自然）雜誌發表在某一學科 內具有最高影響﹑其它領域的科學家也會心感興趣的硏究工作；10種學術期刊的名稱是根據其報導領域命名的...
上傳時間： 2013-12-24
上傳用戶：拔絲土豆
資源簡介：本書介紹了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序寫作的方法。這些程序用C語言編寫并使用原始的Windows Application Programming Interface（API）。如在本章稍后所討論的，這不是寫作Windows程序的唯一方法。然而，無論最...
上傳時間： 2014-11-29
上傳用戶：haohaoxuexi
資源簡介：本書介紹了一些語言的開發工具及使用方法。圖文并茂，請多多支持
上傳時間： 2014-09-10
上傳用戶：mpquest
資源簡介：本書介紹了Linux下圖形用戶接口（GUI）編程技術。全書共18章，分五個部分。第一部分介紹Linux GUI編程架構以及編程基礎知識，第二部分介紹Linux 編程常用C語言函數庫glibc、構件庫gtk+、Gnome，第三部分介紹Linux下的GUI生成器Glade，第四部分介紹Linux編程調...
上傳時間： 2014-01-19
上傳用戶：15736969615
資源簡介：本書是一本介紹計算機繪圖和計算機圖形處理方法和技術的參考書 介紹使用v1肋alc肋行計算機繪圖和計算機圖形處理算法的程序設計。 計算機圖形繪制技術為主線，以圖形應用程序設計實例為中心。書中大量的程 序實例使讀者能很快掌握vt閉alc界．邢T在圖形程序...
上傳時間： 2013-12-29
上傳用戶：qb1993225
資源簡介：本書是一本介紹計算機繪圖和計算機圖形處理方法和技術的參考書 介紹使用v1肋alc肋行計算機繪圖和計算機圖形處理算法的程序設計。 計算機圖形繪制技術為主線，以圖形應用程序設計實例為中心。書中大量的程 序實例使讀者能很快掌握vt閉alc界．邢T在圖形程序...
上傳時間： 2015-06-21
上傳用戶：yepeng139
資源簡介：本書介紹了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程式寫作的方法。這些程式用C語言編寫并使用原始的Windows Application Programming Interface（API）。如在本章稍後所討論的，這不是寫作Windows程式的唯一方法。然而，無論最...
上傳時間： 2013-12-09
上傳用戶：冇尾飛鉈
資源簡介：中文名為：windows設備驅動程序技術內幕 詳細介紹了設備驅動的原理和實現方法，并列舉了大量的實例方便大家學習
上傳時間： 2015-07-02
上傳用戶：6546544
資源簡介：本書介紹了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序寫作的方法。這些程序用C語言編寫并使用原始的Windows Application Programming Interface（API）。如在本章稍后所討論的，這不是寫作Windows程序的唯一方法。然而，無論最...
上傳時間： 2014-07-16
上傳用戶：270189020
資源簡介：常用的單擊片接口液晶模塊驅動程序。里面包括了大量的各種液晶模塊和單擊片接口的應用例子。對入門的GGJJ極具實用參考價值。
上傳時間： 2014-01-11
上傳用戶：xieguodong1234
資源簡介：本書介紹了在Microsoft Windows 98、Microsoft Windows NT 4.0和Windows NT 5.0下程序寫作的方法。這些程序用C語言編寫并使用原始的Windows Application Programming Interface（API）。
上傳時間： 2015-10-08
上傳用戶：evil
資源簡介：數值方法（MATLAB版）第三版 英文 本書介紹了數值方法的理論和實踐知識。以實際例題說明概念定理，含大量習題和編程題。
上傳時間： 2014-01-24
上傳用戶：onewq
資源簡介：與C語言編程相關的全面,深入的探討.本書覆蓋了絕大多書C語言重要話題.
上傳時間： 2015-11-24
上傳用戶：498732662
資源簡介：JSP2_0技術手冊.pdf 全面介紹了主流的java-web開發技術-jSP2.0 重點介紹了java在展示層的兩項重要技術：java servlet 與javaserver pages
上傳時間： 2014-09-06
上傳用戶：qazxsw
資源簡介：Unix環境高級編程：本書全面介紹了UNIX系統的程序設計界面—系統調用界面和標準C庫提供的許多函數。 本書的前15章著重于理論知識的闡述，主要內容包括UNIX文件和目錄、進程環境、進程控制、進程間通信以及各種I/O。在此基礎上，分別按章介紹了多個應用實例，...
上傳時間： 2015-12-23
上傳用戶：cmc_68289287
資源簡介：s3c2440芯片嵌入linux（2.6內核）系統后的LED控制程序。通過它可以學習再linux下一般I/O口的操作方法
上傳時間： 2014-01-11
上傳用戶：erkuizhang
