相 關(guān) 資 源

• 命題邏輯的求解器,2004年SAT競(jìng)賽第一名的求解器免費(fèi)下載

  資源簡(jiǎn)介：命題邏輯的求解器,2004年SAT競(jìng)賽第一名的求解器

  標(biāo)簽： 2004 SAT 邏輯 競(jìng)賽

  上傳時(shí)間： 2013-12-16

  上傳用戶：gundamwzc

• 2004年高級(jí)程序員下午的試題免費(fèi)下載

  資源簡(jiǎn)介：2004年高級(jí)程序員下午的試題，有利于準(zhǔn)備參加考試的同志。

  標(biāo)簽： 2004 高級(jí)程序員 試題

  上傳時(shí)間： 2014-01-21

  上傳用戶：zq70996813

• 小靈通的api開發(fā)代碼。是在2004年給網(wǎng)通公司的增值業(yè)務(wù)做的免費(fèi)下載

  資源簡(jiǎn)介：小靈通的api開發(fā)代碼。是在2004年給網(wǎng)通公司的增值業(yè)務(wù)做的，希望站長(zhǎng)可以喜歡，友不足，多給意見(jiàn)

  標(biāo)簽： 2004 api 小靈通 代碼

  上傳時(shí)間： 2014-01-23

  上傳用戶：從此走出陰霾

• 2004China Undergraduate Mathematical Contest in Modeling (CUMCM)是2004年全國(guó)數(shù)學(xué)建模大賽的題目（B題）。現(xiàn)將題目免費(fèi)下載

  資源簡(jiǎn)介：2004China Undergraduate Mathematical Contest in Modeling (CUMCM)是2004年全國(guó)數(shù)學(xué)建模大賽的題目（B題）。現(xiàn)將題目，建模過(guò)程及利用“多元線性回歸和人工神經(jīng)網(wǎng)絡(luò)”解題的源代碼上傳給大家一起分享。

  標(biāo)簽： 2004 Undergraduate Mathematical Modeling

  上傳時(shí)間： 2014-01-08

  上傳用戶：youth25

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

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

  標(biāo)簽： JavaScript Reilly Parts Good

  上傳時(shí)間： 2013-12-15

  上傳用戶：sjyy1001

• 國(guó)內(nèi)知名的旅行網(wǎng)站２００８年5月所做的競(jìng)爭(zhēng)對(duì)手網(wǎng)站分析報(bào)告,頗具商業(yè)價(jià)值免費(fèi)下載

  資源簡(jiǎn)介：國(guó)內(nèi)知名的旅行網(wǎng)站２００８年5月所做的競(jìng)爭(zhēng)對(duì)手網(wǎng)站分析報(bào)告,頗具商業(yè)價(jià)值，對(duì)在線預(yù)訂行業(yè)具有決策性參考價(jià)值．

  標(biāo)簽： 網(wǎng)站 旅行 分 價(jià)值

  上傳時(shí)間： 2016-10-06

  上傳用戶：xuanchangri

• 其中：ClientInfor.inf 文件： 第一行的數(shù)據(jù)表示： 客戶端游戲版本號(hào) 第一行的數(shù)據(jù)表示： 更新文件存放的網(wǎng)絡(luò)路徑 UpdateInfor.inf文件： 第一行的數(shù)據(jù)表示：免費(fèi)下載

  資源簡(jiǎn)介：其中：ClientInfor.inf 文件： 第一行的數(shù)據(jù)表示： 客戶端游戲版本號(hào) 第一行的數(shù)據(jù)表示： 更新文件存放的網(wǎng)絡(luò)路徑 UpdateInfor.inf文件： 第一行的數(shù)據(jù)表示： 最新游戲版本號(hào) 第二行的數(shù)據(jù)表示： 有多少文件需要更新 后面每行的數(shù)據(jù)表示： 需要更...

  標(biāo)簽： ClientInfor UpdateInfor inf 數(shù)據(jù)表示

  上傳時(shí)間： 2013-12-24

  上傳用戶：hanli8870

• 世界編程大賽第一名的作品~~~~匯編雖然很難懂卻也給帶來(lái)興趣。。如這作品實(shí)現(xiàn)一個(gè)跑步的人免費(fèi)下載

  資源簡(jiǎn)介：世界編程大賽第一名的作品~~~~匯編雖然很難懂卻也給帶來(lái)興趣。。如這作品實(shí)現(xiàn)一個(gè)跑步的人

  標(biāo)簽： 編程 大賽 匯編 帶來(lái)

  上傳時(shí)間： 2014-01-03

  上傳用戶：cx111111

• 命題邏輯中的推理規(guī)則可以用來(lái)證明一個(gè)已經(jīng)表示成命題公式的定理免費(fèi)下載

  資源簡(jiǎn)介：命題邏輯中的推理規(guī)則可以用來(lái)證明一個(gè)已經(jīng)表示成命題公式的定理，但它還不便于機(jī)械化實(shí)施。因?yàn)槠渲械母鳁l規(guī)則都未指明在推導(dǎo)的什麼步驟上應(yīng)該引入什麼前提或中間結(jié)論，這些還有賴于人的經(jīng)驗(yàn)技巧和才能。1960年王浩提出的算法，可以完全脫離人的經(jīng)驗(yàn)和技巧，...

  標(biāo)簽： 邏輯 定理

  上傳時(shí)間： 2013-12-31

  上傳用戶：wxhwjf

• 傳感器與執(zhí)行器大全 2003-2004年卷免費(fèi)下載

  資源簡(jiǎn)介：傳感器與執(zhí)行器大全 2003-2004年卷

  標(biāo)簽： 2003 2004 傳感器

  上傳時(shí)間： 2013-07-06

  上傳用戶：eeworm

• 傳感器與執(zhí)行器大全-2003-2004年卷-806頁(yè)-39.2M.rar免費(fèi)下載

  資源簡(jiǎn)介：專輯類----傳感器專輯 傳感器與執(zhí)行器大全-2003-2004年卷-806頁(yè)-39.2M.rar

  標(biāo)簽： 2003 2004 39.2 806

  上傳時(shí)間： 2013-06-13

  上傳用戶：小寶愛(ài)考拉

• 傳感器與執(zhí)行器大全-2003-2004年卷-806頁(yè)-39.2M.pdf免費(fèi)下載

  資源簡(jiǎn)介：專輯類-傳感器專輯-87冊(cè)-901M 傳感器與執(zhí)行器大全-2003-2004年卷-806頁(yè)-39.2M.pdf

  標(biāo)簽： 2003 2004 39.2 806

  上傳時(shí)間： 2013-07-14

  上傳用戶：wanqunsheng

• 在2004年數(shù)學(xué)建模時(shí)所編的優(yōu)化算法免費(fèi)下載

  資源簡(jiǎn)介：在2004年數(shù)學(xué)建模時(shí)所編的優(yōu)化算法

  標(biāo)簽： 2004 數(shù)學(xué)建模 優(yōu)化算法

  上傳時(shí)間： 2015-03-02

  上傳用戶：libenshu01

• 基于機(jī)器學(xué)習(xí)的自動(dòng)邏輯推理機(jī)。本程序用歸結(jié)反演策略實(shí)現(xiàn)了命題邏輯系統(tǒng)的自動(dòng)推理。把要解決的問(wèn)題作為一個(gè)要證明的命題免費(fèi)下載

  資源簡(jiǎn)介：基于機(jī)器學(xué)習(xí)的自動(dòng)邏輯推理機(jī)。本程序用歸結(jié)反演策略實(shí)現(xiàn)了命題邏輯系統(tǒng)的自動(dòng)推理。把要解決的問(wèn)題作為一個(gè)要證明的命題，其目標(biāo)公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統(tǒng)應(yīng)用于聯(lián)合集，并推導(dǎo)出一個(gè)空子句(NIL)，產(chǎn)生一個(gè)矛盾。

  標(biāo)簽： 自動(dòng) 機(jī)器學(xué)習(xí) 推理機(jī) 程序

  上傳時(shí)間： 2013-11-30

  上傳用戶：GavinNeko

• 2004年的高級(jí)程序員考試的試卷免費(fèi)下載

  資源簡(jiǎn)介：2004年的高級(jí)程序員考試的試卷，有利于準(zhǔn)備參加考試的同志。

  標(biāo)簽： 2004 高級(jí)程序員 試卷

  上傳時(shí)間： 2014-09-04

  上傳用戶：黃華強(qiáng)

• 2004年高級(jí)程序員的答案免費(fèi)下載

  資源簡(jiǎn)介：2004年高級(jí)程序員的答案，和先前發(fā)的配套，供有興趣的同志參考。

  標(biāo)簽： 2004 高級(jí)程序員

  上傳時(shí)間： 2014-02-24

  上傳用戶：zhangliming420

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

  資源簡(jiǎn)介：程序員2004年考試題目與答案,希望能給要考的同志帶來(lái)幫助.

  標(biāo)簽： 2004 程序員 帶來(lái) 試題

  上傳時(shí)間： 2013-12-12

  上傳用戶：cainaifa

• JSCC的2004年的研究報(bào)告免費(fèi)下載

  資源簡(jiǎn)介：JSCC的2004年的研究報(bào)告，這個(gè)報(bào)告寫得很全面，為我們下一步的工作很有指導(dǎo)意義

  標(biāo)簽： JSCC 2004 報(bào)告

  上傳時(shí)間： 2013-12-01

  上傳用戶：宋桃子

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

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

  標(biāo)簽： 2004 Interscience Algorithms eBook-LinG

  上傳時(shí)間： 2015-05-16

  上傳用戶：15736969615

• 2004年我的畢業(yè)設(shè)計(jì)免費(fèi)下載

  資源簡(jiǎn)介：2004年我的畢業(yè)設(shè)計(jì)，有軟件工程思想，希望大家借鑒

  標(biāo)簽： 2004 畢業(yè)設(shè)計(jì)

  上傳時(shí)間： 2014-01-02

  上傳用戶：ukuk

• Foxmail 5遠(yuǎn)程緩沖區(qū)溢出漏洞 注：本文是2004年2月xfocus成員在內(nèi)部技術(shù)交流中提出的免費(fèi)下載

  資源簡(jiǎn)介：Foxmail 5遠(yuǎn)程緩沖區(qū)溢出漏洞 注：本文是2004年2月xfocus成員在內(nèi)部技術(shù)交流中提出的，在此之前，啟明星辰技術(shù)人員已經(jīng)發(fā)現(xiàn)這一漏洞，但未公開細(xì)節(jié)，xfocus成員聽(tīng)說(shuō)存在這一漏洞后對(duì)Foxmail進(jìn)行分析，并寫出利用代碼。 測(cè)試環(huán)境：win2k sp4+foxmail 5.0.300...

  標(biāo)簽： Foxmail xfocus 2004 遠(yuǎn)程

  上傳時(shí)間： 2013-12-26

  上傳用戶：thinode

• 通過(guò)這次上機(jī)考試（2004年4月）以及從各大論壇上考生朋友們所抽取的上機(jī)題來(lái)看免費(fèi)下載

  資源簡(jiǎn)介：通過(guò)這次上機(jī)考試（2004年4月）以及從各大論壇上考生朋友們所抽取的上機(jī)題來(lái)看，所有的上機(jī)考試題全來(lái)自南開100題，但網(wǎng)上所流傳的以及正式書本上的解法也有不少的錯(cuò)誤，因此也誤導(dǎo)了一些基礎(chǔ)不深的朋友們，為此我將2004年版南開100題中所有的題都在無(wú)憂2004...

  標(biāo)簽： 2004 上機(jī)考試 論壇

  上傳時(shí)間： 2013-12-06

  上傳用戶：shinesyh

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

  資源簡(jiǎn)介：C 語(yǔ)言常見(jiàn)問(wèn)題集本文從英文C–FAQ (2004 年7 月3 日修訂版) 翻譯而來(lái)。本文的中文版權(quán)為 朱群英和孫云所有。很好的一個(gè)資料。

  標(biāo)簽： 2004 FAQ 語(yǔ)言 英文

  上傳時(shí)間： 2013-12-03

  上傳用戶：123啊

• iso_13818-1_amend_3_(03-2004).pdf 2004年的標(biāo)準(zhǔn)修訂免費(fèi)下載

  資源簡(jiǎn)介：iso_13818-1_amend_3_(03-2004).pdf 2004年的標(biāo)準(zhǔn)修訂

  標(biāo)簽： 2004 13818 amend iso

  上傳時(shí)間： 2014-01-09

  上傳用戶：cazjing

• 命題邏輯中的歸結(jié)推理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)用C++實(shí)現(xiàn)免費(fèi)下載

  資源簡(jiǎn)介：命題邏輯中的歸結(jié)推理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)用C++實(shí)現(xiàn)

  標(biāo)簽： 邏輯 系統(tǒng)設(shè)計(jì)

  上傳時(shí)間： 2014-01-10

  上傳用戶：VRMMO

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

  資源簡(jiǎn)介：2004年4月20日最新版本的GCC編譯器3.4.0發(fā)布了。目前，GCC可以用來(lái)編譯C/C++、FORTRAN、JAVA、OBJC、ADA等語(yǔ)言的程序，可根據(jù)需要選擇安裝支持的語(yǔ)言。GCC 3.4.0比以前版本更好地支持了C++標(biāo)準(zhǔn)。本文以在Redhat Linux上安裝GCC3.4.0為例，介紹了GCC的安裝過(guò)程

  標(biāo)簽： 2004 GCC 版本 發(fā)布

  上傳時(shí)間： 2015-10-05

  上傳用戶：拔絲土豆

• 命題邏輯中的歸結(jié)推理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn),人工智能實(shí)習(xí)項(xiàng)目,包括實(shí)驗(yàn)報(bào)告免費(fèi)下載

  資源簡(jiǎn)介：命題邏輯中的歸結(jié)推理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn),人工智能實(shí)習(xí)項(xiàng)目,包括實(shí)驗(yàn)報(bào)告

  標(biāo)簽： 邏輯 系統(tǒng)設(shè)計(jì) 人工智能 實(shí)習(xí)

  上傳時(shí)間： 2015-10-30

  上傳用戶：love1314

• 2004 年 arm 大會(huì)的討論論文集,值得關(guān)注免費(fèi)下載

  資源簡(jiǎn)介：2004 年 arm 大會(huì)的討論論文集,值得關(guān)注

  標(biāo)簽： 2004 arm 論文

  上傳時(shí)間： 2014-01-27

  上傳用戶：waizhang

• 北大程序設(shè)計(jì)課程2004年考試試題 對(duì)于學(xué)習(xí)程序設(shè)計(jì)課程的同學(xué)可以檢測(cè)一下學(xué)習(xí)的效果免費(fèi)下載

  資源簡(jiǎn)介：北大程序設(shè)計(jì)課程2004年考試試題 對(duì)于學(xué)習(xí)程序設(shè)計(jì)課程的同學(xué)可以檢測(cè)一下學(xué)習(xí)的效果

  標(biāo)簽： 2004 程序設(shè)計(jì) 檢測(cè) 試題

  上傳時(shí)間： 2014-01-14

  上傳用戶：亞亞娟娟123

• 譯碼器的邏輯功能是將已賦予特定含義的一組二進(jìn)制輸入代碼的原意"翻譯"出來(lái),變成對(duì)應(yīng)的輸出高低電平信號(hào).該程序?yàn)?-8譯碼器.基于VHDL,其開發(fā)環(huán)境是MAXPLUS2.免費(fèi)下載

  資源簡(jiǎn)介：譯碼器的邏輯功能是將已賦予特定含義的一組二進(jìn)制輸入代碼的原意"翻譯"出來(lái),變成對(duì)應(yīng)的輸出高低電平信號(hào).該程序?yàn)?-8譯碼器.基于VHDL,其開發(fā)環(huán)境是MAXPLUS2.

  標(biāo)簽： MAXPLUS VHDL 譯碼器 二進(jìn)制

  上傳時(shí)間： 2013-12-23

  上傳用戶：lepoke