相 關 資 源

• 命題邏輯的求解器,2004年SAT競賽第一名的求解器免費下載

  資源簡介：命題邏輯的求解器,2004年SAT競賽第一名的求解器

  標簽： 2004 SAT 邏輯 競賽

  上傳時間： 2013-12-16

  上傳用戶：gundamwzc

• 2004年高級程序員下午的試題免費下載

  資源簡介：2004年高級程序員下午的試題，有利于準備參加考試的同志。

  標簽： 2004 高級程序員 試題

  上傳時間： 2014-01-21

  上傳用戶：zq70996813

• 小靈通的api開發代碼。是在2004年給網通公司的增值業務做的免費下載

  資源簡介：小靈通的api開發代碼。是在2004年給網通公司的增值業務做的，希望站長可以喜歡，友不足，多給意見

  標簽： 2004 api 小靈通 代碼

  上傳時間： 2014-01-23

  上傳用戶：從此走出陰霾

• 2004China Undergraduate Mathematical Contest in Modeling (CUMCM)是2004年全國數學建模大賽的題目（B題）。現將題目免費下載

  資源簡介：2004China Undergraduate Mathematical Contest in Modeling (CUMCM)是2004年全國數學建模大賽的題目（B題）。現將題目，建模過程及利用“多元線性回歸和人工神經網絡”解題的源代碼上傳給大家一起分享。

  標簽： 2004 Undergraduate Mathematical Modeling

  上傳時間： 2014-01-08

  上傳用戶：youth25

• <JavaScript:The Good Parts>全英文版,O Reilly出品,必屬精品,該書的英文版是2008年5月才出版的,此為對應的chm文檔,支持目錄索引和搜索功能.目錄如下免費下載

  資源簡介：<JavaScript:The Good Parts>全英文版,O Reilly出品,必屬精品,該書的英文版是2008年5月才出版的,此為對應的chm文檔,支持目錄索引和搜索功能.目錄如下:Syntax/Objects/Functions/Inheritance/Arrays/Regular expressions/Methods/Style/Beautiful features

  標簽： JavaScript Reilly Parts Good

  上傳時間： 2013-12-15

  上傳用戶：sjyy1001

• 國內知名的旅行網站２００８年5月所做的競爭對手網站分析報告,頗具商業價值免費下載

  資源簡介：國內知名的旅行網站２００８年5月所做的競爭對手網站分析報告,頗具商業價值，對在線預訂行業具有決策性參考價值．

  標簽： 網站 旅行 分 價值

  上傳時間： 2016-10-06

  上傳用戶：xuanchangri

• 其中：ClientInfor.inf 文件： 第一行的數據表示： 客戶端游戲版本號 第一行的數據表示： 更新文件存放的網絡路徑 UpdateInfor.inf文件： 第一行的數據表示：免費下載

  資源簡介：其中：ClientInfor.inf 文件： 第一行的數據表示： 客戶端游戲版本號 第一行的數據表示： 更新文件存放的網絡路徑 UpdateInfor.inf文件： 第一行的數據表示： 最新游戲版本號 第二行的數據表示： 有多少文件需要更新 后面每行的數據表示： 需要更...

  標簽： ClientInfor UpdateInfor inf 數據表示

  上傳時間： 2013-12-24

  上傳用戶：hanli8870

• 世界編程大賽第一名的作品~~~~匯編雖然很難懂卻也給帶來興趣。。如這作品實現一個跑步的人免費下載

  資源簡介：世界編程大賽第一名的作品~~~~匯編雖然很難懂卻也給帶來興趣。。如這作品實現一個跑步的人

  標簽： 編程 大賽 匯編 帶來

  上傳時間： 2014-01-03

  上傳用戶：cx111111

• 命題邏輯中的推理規則可以用來證明一個已經表示成命題公式的定理免費下載

  資源簡介：命題邏輯中的推理規則可以用來證明一個已經表示成命題公式的定理，但它還不便于機械化實施。因為其中的各條規則都未指明在推導的什麼步驟上應該引入什麼前提或中間結論，這些還有賴于人的經驗技巧和才能。1960年王浩提出的算法，可以完全脫離人的經驗和技巧，...

  標簽： 邏輯 定理

  上傳時間： 2013-12-31

  上傳用戶：wxhwjf

• 傳感器與執行器大全 2003-2004年卷免費下載

  資源簡介：傳感器與執行器大全 2003-2004年卷

  標簽： 2003 2004 傳感器

  上傳時間： 2013-07-06

  上傳用戶：eeworm

• 傳感器與執行器大全-2003-2004年卷-806頁-39.2M.rar免費下載

  資源簡介：專輯類----傳感器專輯 傳感器與執行器大全-2003-2004年卷-806頁-39.2M.rar

  標簽： 2003 2004 39.2 806

  上傳時間： 2013-06-13

  上傳用戶：小寶愛考拉

• 傳感器與執行器大全-2003-2004年卷-806頁-39.2M.pdf免費下載

  資源簡介：專輯類-傳感器專輯-87冊-901M 傳感器與執行器大全-2003-2004年卷-806頁-39.2M.pdf

  標簽： 2003 2004 39.2 806

  上傳時間： 2013-07-14

  上傳用戶：wanqunsheng

• 在2004年數學建模時所編的優化算法免費下載

  資源簡介：在2004年數學建模時所編的優化算法

  標簽： 2004 數學建模 優化算法

  上傳時間： 2015-03-02

  上傳用戶：libenshu01

• 基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題免費下載

  資源簡介：基于機器學習的自動邏輯推理機。本程序用歸結反演策略實現了命題邏輯系統的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統應用于聯合集，并推導出一個空子句(NIL)，產生一個矛盾。

  標簽： 自動 機器學習 推理機 程序

  上傳時間： 2013-11-30

  上傳用戶：GavinNeko

• 2004年的高級程序員考試的試卷免費下載

  資源簡介：2004年的高級程序員考試的試卷，有利于準備參加考試的同志。

  標簽： 2004 高級程序員 試卷

  上傳時間： 2014-09-04

  上傳用戶：黃華強

• 2004年高級程序員的答案免費下載

  資源簡介：2004年高級程序員的答案，和先前發的配套，供有興趣的同志參考。

  標簽： 2004 高級程序員

  上傳時間： 2014-02-24

  上傳用戶：zhangliming420

• 程序員2004年考試題目與答案,希望能給要考的同志帶來幫助.免費下載

  資源簡介：程序員2004年考試題目與答案,希望能給要考的同志帶來幫助.

  標簽： 2004 程序員 帶來 試題

  上傳時間： 2013-12-12

  上傳用戶：cainaifa

• JSCC的2004年的研究報告免費下載

  資源簡介：JSCC的2004年的研究報告，這個報告寫得很全面，為我們下一步的工作很有指導意義

  標簽： JSCC 2004 報告

  上傳時間： 2013-12-01

  上傳用戶：宋桃子

• 2004年出版的遺傳算法Wiley.Interscience.Practical.Genetic.Algorithms.May.2004.eBook-LinG.pdf免費下載

  資源簡介：2004年出版的遺傳算法Wiley.Interscience.Practical.Genetic.Algorithms.May.2004.eBook-LinG.pdf

  標簽： 2004 Interscience Algorithms eBook-LinG

  上傳時間： 2015-05-16

  上傳用戶：15736969615

• 2004年我的畢業設計免費下載

  資源簡介：2004年我的畢業設計，有軟件工程思想，希望大家借鑒

  標簽： 2004 畢業設計

  上傳時間： 2014-01-02

  上傳用戶：ukuk

• Foxmail 5遠程緩沖區溢出漏洞 注：本文是2004年2月xfocus成員在內部技術交流中提出的免費下載

  資源簡介：Foxmail 5遠程緩沖區溢出漏洞 注：本文是2004年2月xfocus成員在內部技術交流中提出的，在此之前，啟明星辰技術人員已經發現這一漏洞，但未公開細節，xfocus成員聽說存在這一漏洞后對Foxmail進行分析，并寫出利用代碼。 測試環境：win2k sp4+foxmail 5.0.300...

  標簽： Foxmail xfocus 2004 遠程

  上傳時間： 2013-12-26

  上傳用戶：thinode

• 通過這次上機考試（2004年4月）以及從各大論壇上考生朋友們所抽取的上機題來看免費下載

  資源簡介：通過這次上機考試（2004年4月）以及從各大論壇上考生朋友們所抽取的上機題來看，所有的上機考試題全來自南開100題，但網上所流傳的以及正式書本上的解法也有不少的錯誤，因此也誤導了一些基礎不深的朋友們，為此我將2004年版南開100題中所有的題都在無憂2004...

  標簽： 2004 上機考試 論壇

  上傳時間： 2013-12-06

  上傳用戶：shinesyh

• C 語言常見問題集本文從英文C–FAQ (2004 年7 月3 日修訂版) 翻譯而來。本文的中文版權為 朱群英和孫云所有。很好的一個資料。免費下載

  資源簡介：C 語言常見問題集本文從英文C–FAQ (2004 年7 月3 日修訂版) 翻譯而來。本文的中文版權為 朱群英和孫云所有。很好的一個資料。

  標簽： 2004 FAQ 語言 英文

  上傳時間： 2013-12-03

  上傳用戶：123啊

• iso_13818-1_amend_3_(03-2004).pdf 2004年的標準修訂免費下載

  資源簡介：iso_13818-1_amend_3_(03-2004).pdf 2004年的標準修訂

  標簽： 2004 13818 amend iso

  上傳時間： 2014-01-09

  上傳用戶：cazjing

• 命題邏輯中的歸結推理系統設計與實現用C++實現免費下載

  資源簡介：命題邏輯中的歸結推理系統設計與實現用C++實現

  標簽： 邏輯 系統設計

  上傳時間： 2014-01-10

  上傳用戶：VRMMO

• 2004年4月20日最新版本的GCC編譯器3.4.0發布了。目前免費下載

  資源簡介：2004年4月20日最新版本的GCC編譯器3.4.0發布了。目前，GCC可以用來編譯C/C++、FORTRAN、JAVA、OBJC、ADA等語言的程序，可根據需要選擇安裝支持的語言。GCC 3.4.0比以前版本更好地支持了C++標準。本文以在Redhat Linux上安裝GCC3.4.0為例，介紹了GCC的安裝過程

  標簽： 2004 GCC 版本 發布

  上傳時間： 2015-10-05

  上傳用戶：拔絲土豆

• 命題邏輯中的歸結推理系統設計與實現,人工智能實習項目,包括實驗報告免費下載

  資源簡介：命題邏輯中的歸結推理系統設計與實現,人工智能實習項目,包括實驗報告

  標簽： 邏輯 系統設計 人工智能 實習

  上傳時間： 2015-10-30

  上傳用戶：love1314

• 2004 年 arm 大會的討論論文集,值得關注免費下載

  資源簡介：2004 年 arm 大會的討論論文集,值得關注

  標簽： 2004 arm 論文

  上傳時間： 2014-01-27

  上傳用戶：waizhang

• 北大程序設計課程2004年考試試題 對于學習程序設計課程的同學可以檢測一下學習的效果免費下載

  資源簡介：北大程序設計課程2004年考試試題 對于學習程序設計課程的同學可以檢測一下學習的效果

  標簽： 2004 程序設計 檢測 試題

  上傳時間： 2014-01-14

  上傳用戶：亞亞娟娟123

• 譯碼器的邏輯功能是將已賦予特定含義的一組二進制輸入代碼的原意"翻譯"出來,變成對應的輸出高低電平信號.該程序為3-8譯碼器.基于VHDL,其開發環境是MAXPLUS2.免費下載

  資源簡介：譯碼器的邏輯功能是將已賦予特定含義的一組二進制輸入代碼的原意"翻譯"出來,變成對應的輸出高低電平信號.該程序為3-8譯碼器.基于VHDL,其開發環境是MAXPLUS2.

  標簽： MAXPLUS VHDL 譯碼器 二進制

  上傳時間： 2013-12-23

  上傳用戶：lepoke