隨機(jī)化與近似技術(shù)／會(huì)議錄 Randomization and approximation
出版時(shí)間：2002-12 出版社：1 edition (2002年10月1日) 作者：Jose D.P. Rolim
內(nèi)容概要
在線閱讀本書(shū)
This book constitutes the refereed proceedings of the 6th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2002, held in Cambridge, MA, USA in September 2002.The 21 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are coding, geometric computations, graph colorings, random hypergraphs, graph computations, lattice computations, proof systems, probabilistic algorithms, derandomization, constraint satisfaction, and web graphs analysis.
圖書(shū)封面
評(píng)論、評(píng)分、閱讀與下載
- 還沒(méi)讀過(guò)(41)
- 勉強(qiáng)可看(299)
- 一般般(510)
- 內(nèi)容豐富(2117)
- 強(qiáng)力推薦(173)
隨機(jī)化與近似技術(shù)／會(huì)議錄 Randomization and approximation PDF格式下載
用戶評(píng)論 (總計(jì)0條)
推薦圖書(shū)
- 軟件生產(chǎn)線/會(huì)議錄Software product lines
- DNA計(jì)算/會(huì)議錄/DNA computing
- 文獻(xiàn)分析系統(tǒng)V／會(huì)議錄Document analysis systems V
- 智能數(shù)據(jù)工程與自動(dòng)化學(xué)習(xí)2002年國(guó)際會(huì)議錄Intelligent data engineering and automated learning
- 計(jì)算機(jī)輔助驗(yàn)證 Computer aided verification
- 約束程序設(shè)計(jì)原理與實(shí)踐 CP2002Principles and practice of constraint programming-CP2002
- 學(xué)習(xí)分類(lèi)器系統(tǒng)進(jìn)展/會(huì)議錄 Advances in learning classifier systems
- Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings (平裝)
- 計(jì)算邏輯.邏輯程序設(shè)計(jì)及其它 第2卷Computational logic
- 應(yīng)用語(yǔ)義學(xué) Applied semantics
- Cars: The Essential Guide (精裝)
- Human Traces人類(lèi)的蹤跡
- 茶
- 花漾人生1
- 應(yīng)用統(tǒng)計(jì)學(xué)學(xué)習(xí)指導(dǎo)
- 窮小子開(kāi)民宿：創(chuàng)意民宿的輕生活
- Magic Books: Animal Antics (木板書(shū))
- The Ultimate Visual Guide to Star Wars (精裝)
- Rabbit (精裝)
- "SpongeBob SquarePants" the Essential Guide (精裝)
- Kitten Care (精裝)
- Bear (精裝)
- Puppy Care (精裝)
- Madrid (精裝)
- Japan (精裝)
相關(guān)圖書(shū)
- 計(jì)算邏輯約束
- 群件
- 計(jì)算機(jī)視覺(jué)系統(tǒng)/Computer vision systems
- 過(guò)程代數(shù)與概率方法、性能建模與驗(yàn)證Process algebra and probabilistic methods
- 交叉語(yǔ)言信息檢索系統(tǒng)評(píng)價(jià) Evaluation of cross-language information retrieval systems
- 用分析表格與有關(guān)方法自動(dòng)推理/會(huì)議錄 Automated reasoning with analytic tableaux and related methods
- 形式方法－獲得完美信息技術(shù) /Formal Methods
- (綜合形式方法/會(huì)議錄)Integrated formal methods
- 現(xiàn)場(chǎng)可編程邏輯與應(yīng)用Field-programmable logic and applications
- CONCUR 2002－并行理論/CONCUR 2002-concurrency theory
- 計(jì)算機(jī)科學(xué)的數(shù)學(xué)基礎(chǔ)2002 Mathematical foundations of computer science 2002
- 多代理系統(tǒng)基礎(chǔ)與應(yīng)用/會(huì)議錄
- (工程分布式對(duì)象)Engineering distributed objects
- 電子和Web技術(shù) E-commerce and web technologies
- 圖形識(shí)別 Graphics recognition
- 可靠軟件技術(shù) Reliable software technologies
- 組合模式匹配/會(huì)議錄 Combinatorial pattern matching
- 計(jì)算機(jī)性能評(píng)價(jià) Computational logic
- Parallel Processing and Applied Mathematics: 4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers (平裝)
- Advanced Environments, Tools, and Applications for Cluster Computing: NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers (平裝)
- 高次邏輯中的定理證明 Theorem proving in higher order logics
- Euro-Par 2002. - 并行處理/會(huì)議錄Euro-Par 2002, parallel processing
- 高性能計(jì)算/會(huì)議錄 High performance computing
- 泛計(jì)算 Pervasive computing
- 流沙