計(jì)算機(jī)科學(xué)的數(shù)學(xué)基礎(chǔ)2002 Mathematical foundations of computer science 2002
出版時(shí)間：2002-10 作者：Krzystof Diks
內(nèi)容概要
This book constitutes the refereed proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science, MFCS 2002, held in Warsaw, Poland in August 2002. The 48 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 108 submissions. All relevant aspects of theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, algorithms, and complexity to programming theory, formal methods, and mathematical logic.
圖書封面
評(píng)論、評(píng)分、閱讀與下載
- 還沒讀過(41)
- 勉強(qiáng)可看(299)
- 一般般(510)
- 內(nèi)容豐富(2117)
- 強(qiáng)力推薦(173)
計(jì)算機(jī)科學(xué)的數(shù)學(xué)基礎(chǔ)2002 Mathematical foundations of computer science 2002 PDF格式下載
用戶評(píng)論 (總計(jì)0條)
推薦圖書
- Human Traces人類的蹤跡
- 茶
- 花漾人生1
- 應(yīng)用統(tǒng)計(jì)學(xué)學(xué)習(xí)指導(dǎo)
- 窮小子開民宿：創(chuàng)意民宿的輕生活
- Magic Books: Animal Antics (木板書)
- The Ultimate Visual Guide to Star Wars (精裝)
- Rabbit (精裝)
- "SpongeBob SquarePants" the Essential Guide (精裝)
- Kitten Care (精裝)
- Bear (精裝)
- Puppy Care (精裝)
- Madrid (精裝)
- Japan (精裝)
- Provence and the Cote d'Azur (精裝)
- Egypt (平裝)
- Singapore (平裝)
- The Successful Marketing Plan: A Disciplined and Comprehensive Approach (平裝)
- Julie and Julia: My Year of Cooking Dangerously (平裝)
- Europe's Best Places to Stay (平裝)
- Great Britain (平裝)
- House of Lies: How Management Consultants Steal Your Watch Then Tell You the Time (平裝)
- The Christmas Kit (精裝)
- London (精裝)
- 軟件工程
相關(guān)圖書
- 多代理系統(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
- 流沙
- 軟件生產(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í)分類器系統(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 (精裝)