Goedel語言是一種說明性邏輯程序設計語言。該語言基于一階邏輯，引入了一個多態多類的類型系統和多種新的語言成分，支持抽象數據類型和模塊化程序設計等技術，語言本身也具有很強的說明性語義。詳細介紹了Goedel語言的類型系統及其構造，對在邏輯程序設計語言中引入類型系統的作用進行了一些深入的分析和討論。[
資源簡介：C語言程序設計_pdf C語言是目前流行的通用程序設計語言，是許多計算機專業人員和計算機的愛好者學習程序設計語言的首選。 本書共10章，分別介紹了C語言的算法基礎、基本概念和如何利用C語言進行程序設計。通過大量的實例介紹了C語言的精華，特別針對目前...
上傳時間： 2013-11-30
上傳用戶：myworkpost
資源簡介：C語言是目前流行的通用程序設計語言，是許多計算機專業人員和計算機的愛好者學習程序設計語言的首選。 本書共10章，分別介紹了C語言的算法基礎、基本概念和如何利用C語言進行程序設計。通過大量的實例介紹了C語言的精華，特別針對目前C語言的發展，精心策...
上傳時間： 2013-12-29
上傳用戶：firstbyte
資源簡介：迭代法是用于求方程或方程組近似根的一種常用的算法設計方法。
上傳時間： 2015-08-14
上傳用戶：徐孺
資源簡介：C語言是目前流行的通用程序設計語言，是許多計算機專業人員和計算機的愛好者學習程序設計語言的首選 第一章
上傳時間： 2017-01-07
上傳用戶：1079836864
資源簡介：C語言是目前流行的通用程序設計語言，是許多計算機專業人員和計算機的愛好者學習程序設計語言的首選 第二章
上傳時間： 2017-01-07
上傳用戶：dragonhaixm
資源簡介：C語言是目前流行的通用程序設計語言，是許多計算機專業人員和計算機的愛好者學習程序設計語言的首選 第三章
上傳時間： 2014-06-12
上傳用戶：lindor
資源簡介：C語言是目前流行的通用程序設計語言，是許多計算機專業人員和計算機的愛好者學習程序設計語言的首選 第四章
上傳時間： 2017-01-07
上傳用戶：四只眼
資源簡介：C語言是目前流行的通用程序設計語言，是許多計算機專業人員和計算機的愛好者學習程序設計語言的首選 第五章
上傳時間： 2013-12-24
上傳用戶：wcl168881111111
資源簡介：動態規劃是對最優化問題的一種新的算法設計方法。由于各種問題的性質不同，確定最優解的條件也互不相同，因而動態規劃的沒計法對不同的問題，有各具特色的表示方式。
上傳時間： 2017-03-05
上傳用戶：hustfanenze
資源簡介：Kermit Kermit文件運輸協議 Kermit文件運輸協議是用于在PC之間交換文件的一種簡單的文件運輸協議。該協議是哥侖比亞大學開發的，由于在Kermit the Frog之后而獲得此名。它提供了一條從大型計算機下載文件到微機的途徑。它已被用于進行公用數據傳輸
上傳時間： 2013-12-24
上傳用戶：咔樂塢
資源簡介：摘 要:在分析人工魚群算法存在不足的基礎上,對人工魚群算法加以改進,提出了一種改進型人工魚群算 法。該算法提高了全局搜索能力和收斂速度,并用于求解具有變量邊界約束的非線性復雜函數最優化問題。 仿真結果表明,改進后的人工魚群算法具有精度高、搜索速度...
上傳時間： 2013-12-23
上傳用戶：cainaifa
資源簡介：摘 要:在分析人工魚群算法存在不足的基礎上,對人工魚群算法加以改進,提出了一種改進型人工魚群算 法。該算法提高了全局搜索能力和收斂速度,并用于求解具有變量邊界約束的非線性復雜函數最優化問題。 仿真結果表明,改進后的人工魚群算法具有精度高、搜索速度...
上傳時間： 2013-12-12
上傳用戶：asasasas
資源簡介：控制局域網CAN(Controller Area Network) 是20 世紀80 年代初德國Bosch 公司為解決眾多的控制設備和測 試儀器之間的數據交換而開發的一種串行數據通訊協議。本文介紹了一種客車車身CAN 總線網絡控制系統, 通過 研究CAN 2.0B 規范, 制定了符合該系統的通訊協...
上傳時間： 2016-08-28
上傳用戶：chenbhdt
資源簡介：Goedel語言是一種說明性邏輯程序設計語言。該語言基于一階邏輯，引入了一個多態多類的類型系統和多種新的語言成分，支持抽象數據類型和模塊化程序設計等技術，語言本身也具有很強的說明性語義。詳細介紹了Goedel語言的類型系統及其構造，對在邏輯程序設計語言...
上傳時間： 2014-11-26
上傳用戶：BIBI
資源簡介：在遠距離數據傳輸中進行差錯控制一種重要的方法CRC算法。程序是用C語言實現。內有詳細解釋，可讀性和移植性強。
上傳時間： 2014-01-08
上傳用戶：佳期如夢
資源簡介：java是一種面向對象程序的語言,我這里介紹了有關java課件的許多事例,它能幫助剛入門的人
上傳時間： 2013-12-20
上傳用戶：qlpqlq
資源簡介：AM12864液晶顯示單片機驅動程序：AM12864是一種128*64的點陣液晶。這是一個AM12864的C語言單片機驅動程序。
上傳時間： 2014-01-19
上傳用戶：sdq_123
資源簡介：Python是一種不復雜但很健全的編程語言。它不光具備傳統編譯型程序設計語言強大的功能和復雜性，還在某種程度上具備比較簡單的腳本和解釋型程序設計語言的易用性。該書向讀者介紹了這種語言的核心內容，并展示了Python語言可以完成哪些任務。其主要內容包括：...
上傳時間： 2016-04-19
上傳用戶：kernaling
資源簡介：PLC是以微處理器為核心的工業控制裝置。在工業控制中,常常需要對PLC所采集的數據和工作狀態進行監測控制,Visual C++是一種Windows應用程序開發工具,在圖形處理和數據庫管理等方面具有較強的功能,用它來實現底層的通信控制有著更快的速度。本文旨在探討用可視...
上傳時間： 2014-01-09
上傳用戶：lacsx
資源簡介：該軟件是一種分割引擎程序，主要在unix平臺上用matlab和c/c++語言編寫，很好很強大！
上傳時間： 2013-12-20
上傳用戶：13215175592
資源簡介：棧(stack)是程序設計過程中經常遇到朝氣一種數據結構形式，它對于數據的存放和操作有下面這樣的特點： 1) 它只有一個對數據進行存入和取出的端口； 2) 后進者先出，即最后被存入的數據將首先被取出。其形式很象一種存儲硬幣的小容器，每次只可以從頂端壓入一...
上傳時間： 2013-12-03
上傳用戶：225588
資源簡介：UC/FS做的文件系統很好.高版本的一般只有庫文件.CF卡是一種很方便的存儲設備。網上可得到的CF卡的驅動程序少三個文件：初始化、讀和寫。本代碼測試讀寫成功。
上傳時間： 2015-04-22
上傳用戶：hustfanenze
資源簡介：是一個能夠將任何音頻文件從一種格式轉換到另一種格式的程序.軟件支持時下最流行的MP3,WMA,OGG,WAV等格式.它也支持更改MP3或WMA格式音頻文件的位率.轉換速度快捷,轉換效果出眾.此外,有了轉換列表,您可以一次就輕松地轉換大量的音頻文件.它還支持一些非常有用...
上傳時間： 2016-07-11
上傳用戶：stvnash
資源簡介：是一本關于matlab程序設計語言的電子書,是由西安電子科技大學出版社出版的
上傳時間： 2016-11-03
上傳用戶：epson850
資源簡介：本書是由C語言的設計者Brian W. Kernighan和Dennis M. Ritchie編寫的一部介紹標準C語言及其程序設計方法的權威性經典著作。一本必讀的程序設計語言方面的參考書。
上傳時間： 2014-06-20
上傳用戶：cccole0605
資源簡介：一種實現計算機接口rs232與FPGA通信的基于VHDL語言設計的一段非常簡潔的程序
上傳時間： 2014-01-09
上傳用戶：cazjing
資源簡介：經典C語言程序設計事例,是一本初學者的C語言程序設計書籍。
上傳時間： 2017-06-04
上傳用戶：jyycc
資源簡介：一本介紹并行程序設計語言MPI的電子書，是您學習MPI并行程序設計時值得參考的東西。 MPI并行程序設計
上傳時間： 2014-01-26
上傳用戶：qq521
資源簡介：數據庫的一種完全面向對象設計模式 面向對象（OO）方法這個名字早已深入人心，它的科學性和合理性也已毋庸置疑。 正在裝載數據…… 人們動輒將自己開發的軟件冠以“采用面向對象方法設計”以示其先進性就是一個極好的證明。然而，一個先進的方法學必須有...
上傳時間： 2016-04-06
上傳用戶：lxm
資源簡介：SOPC是一種新的系統設計技術，也是一種新的軟硬件綜合設計技術。通過它，可以很快地將硬件系統（包括微處理器，存儲器，外設以及用戶邏輯電路等）和軟件設計都放在一個可編程的芯片中，以達到系統的IC設計.
上傳時間： 2014-01-24
上傳用戶：iswlkje
