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