STACS 20012001年第18屆年度計(jì)算機(jī)科學(xué)的理論問題討論會文集
出版時(shí)間：2001-3 出版社：1 (2001年3月1日) 作者：Afonso Ferreira
內(nèi)容概要
在線閱讀本書
This book constitutes the refereed proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2001, held in Dresden, Germany in February 2001.
The 46 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 153 submissions. The papers address foundational aspects from all current areas of theoretical computer science including algorithms, data structures, automata, formal languages, complexity, verification, logic, graph theory, optimization, etc.
length: (cm)23.3 width:(cm)15.4
圖書封面
評論、評分、閱讀與下載
- 還沒讀過(38)
- 勉強(qiáng)可看(276)
- 一般般(471)
- 內(nèi)容豐富(1957)
- 強(qiáng)力推薦(160)
STACS 20012001年第18屆年度計(jì)算機(jī)科學(xué)的理論問題討論會文集 PDF格式下載
用戶評論 (總計(jì)0條)
推薦圖書
- The Tale of Tom Kitten 小貓湯姆的故事
- Read with me Practice and Play 2 邊玩邊學(xué)
- The Tale of Jemima Puddle Duck 母鴨潔瑪?shù)墓适?/a>
- Read with me Practice and Play 3 邊玩邊學(xué)
- Baby Animals 幼小的動物
- Read with me Practice and Play 4 邊玩邊學(xué)
- Graph Drawing 繪圖
- 老夫子
- 野獸·野獸·野獸
- 標(biāo)準(zhǔn)法語發(fā)音
- CO2氣體保護(hù)半自動焊工藝基礎(chǔ)
- 焊工-工人技術(shù)培訓(xùn)題集
- 簡明車工計(jì)算手冊
- 輸電線路設(shè)計(jì)基礎(chǔ)
- 電氣工程實(shí)驗(yàn)技術(shù)
- 水果制品加工工藝與配方
- 中.高級制圖員-技能測試考試指導(dǎo)AutoCAD-機(jī)械類
- 簡明鉗工計(jì)算手冊
- Protel 99 SE原理圖與PCB設(shè)計(jì)
- 摩托車修理入門與技巧
- 新編國產(chǎn)轎車故障檢修實(shí)例
- 工廠電氣控制電路實(shí)例詳解
- 過程系統(tǒng)分析與綜合
- 等離子電視機(jī)和液晶電視機(jī)原理與維修
- 電冰箱、空調(diào)器維修入門與提高
相關(guān)圖書
- Self-Stabilizing Systems 自穩(wěn)定系統(tǒng)
- Semantics, Applications, and Implementation of Program Generation 程序生成語義學(xué)、應(yīng)用與實(shí)施
- Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings (平裝)
- Graph-Theoretic Concepts in Computer Science 計(jì)算機(jī)科學(xué)中的圖論概念
- Numerical Analysis and Its Applications: Second International Conference, NAA 2000 Rousse, Bulgaria, June 11-15, 2000. Revised Papers (平裝)
- Spatial Information Theory. Foundations of Geographic Information Science: International Conference, COSIT 2001 Morro Bay, CA, USA, September 19-23, 2001 Proceedings (平裝)
- Power-Aware Computer Systems 節(jié)電計(jì)算機(jī)系統(tǒng)
- Advances in Multimedia Information Processing - PCM 2001 多媒體信息處理進(jìn)展-PCM 2001
- Engineering Societies in the Agents World II基于代理技術(shù)的工程社會２
- Genetic Programming: 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings (平裝)
- Job Scheduling Strategies for Parallel Processing: 7th International Workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001, Revised Papers (平裝)
- Algorithms and Computation 算法和計(jì)算
- Engineering for Human-Computer Interaction 人機(jī)交互的符號工程
- Cryptography and Coding 加密和編碼
- Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS (平裝)
- Applications of Evolutionary Computing應(yīng)用進(jìn)化計(jì)算法
- Practice and Theory of Automated Timetabling III 自動時(shí)間表生成的實(shí)踐與理論III
- Haptic Human-Computer Interaction 觸覺人機(jī)交互作用
- Algorithms - ESA 2001 算法
- Inductive Logic Programming 歸納邏輯編程
- Automatic Generation of Computer Animation 計(jì)算機(jī)動畫自動生成法
- Networking - ICN 2001: First International Conference on Networking, Colmar, France July 9-13, 2001 Proceedings, Part II (平裝)
- Information Hiding 信息隱藏
- Advances in Cryptology - CRYPTO 2001 密碼學(xué)進(jìn)展
- Process Algebra and Probabilistic Methods 過程代數(shù)與概率方法