下一代信息技術(shù)與系統(tǒng)/會(huì)議錄 Next generation information technologies and systems
出版時(shí)間：2002-12 出版社：1 edition (2002年8月1日) 作者：Alon Halevy
內(nèi)容概要
在線閱讀本書(shū)
This book constitutes the refereed proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems, NGITS 2002, held in Caesarea, Israel, in June 2002.The 11 revised full papers presented were carefully reviewed and selected from 22 submissions. Among the issues addressed are e-business technology, XML documents, Web-based database queries, Web surfing privacy, mobile objects, ontologies, natural language modeling, prototypes and scenarios, and middleware.
圖書(shū)封面
評(píng)論、評(píng)分、閱讀與下載
- 還沒(méi)讀過(guò)(41)
- 勉強(qiáng)可看(299)
- 一般般(510)
- 內(nèi)容豐富(2117)
- 強(qiáng)力推薦(173)
下一代信息技術(shù)與系統(tǒng)/會(huì)議錄 Next generation information technologies and systems PDF格式下載
用戶評(píng)論 (總計(jì)0條)
推薦圖書(shū)
- 可靠軟件技術(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í)分類(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)
相關(guān)圖書(shū)
- 基于Web的學(xué)習(xí)進(jìn)展Advances in web-based learning
- 對(duì)象模型化與OCL
- 整數(shù)編程與組合優(yōu)化/Integer programming and combinatorial optimization
- 人工進(jìn)化/Artificial evolution
- World War II: Day by Day (精裝)
- 計(jì)算科學(xué)
- 計(jì)算科學(xué)
- 極限編程與靈巧方法
- 實(shí)例推理進(jìn)展／會(huì)議錄 Advances in case-based reasoning
- 隨機(jī)化與近似技術(shù)／會(huì)議錄 Randomization and approximation
- 計(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