Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008

541 p.

Saved in:

書目詳細資料
其他作者:	Ausiello, G.
格式:	圖書
語言:	English
出版:	Springer 2017
主題:	Computer Science ; Computer science > Congresses 004.01
在線閱讀:	http://repository.vnu.edu.vn/handle/VNU_123/26298
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Smart Sensing and Context
出版: (2017)

Theorem Proving in Higher Order Logics
由: Hutchison, David
出版: (2017)

Computational science-ICCS 2008 : 8th international conference, Kraków, Poland, June 23-25, 2008 : proceedings
出版: (2017)

Deontic Logic in Computer Science
出版: (2017)

Computing and combinatorics : 7th annual international conference, COCOON 2001, Guilin, China, August 20-23, 2001 : proceedings
出版: (2017)

Computer and computing technologies in agriculture II. Volume 2, The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China
出版: (2017)

Innovation in Manufacturing Networks: eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008
出版: (2017)

Pairing-Based Cryptography - Pairing 2008
出版: (2017)

Architecture of Computing Systems - ARCS 2008
出版: (2017)

SOFSEM 2008: Theory and Practice of Computer Science
出版: (2017)

Computer science - theory and applications : Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedingsSymposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings
出版: (2017)

High performance computing on vector systems 2008
由: Resch, Michael ; Roller, Sabine ; Benkert, Katharina ; Galle, Martin ; Bez, Wolfgang ; Kobayashi, Hiroaki ; Hirayama, Toshio
出版: (2017)

Computer music modeling and retrieval: sense of sounds : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007 : revised papers Symposium, CMMR 2007, Copenhagen, Denmark, August 2007, Revised Papers
出版: (2017)

Comparative genomics : international workshop, RECOMB-CG 2009, Budapest, Hungary, September 27-29, 2009 : proceedings
由: Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Craig E. Nelson, Stéphane Vialette.
出版: (2017)

Pervasive Computing
出版: (2017)

Computational linguistics and intelligent text processing : 9th international conference, CICLing 2008, Haifa, Israel, February 17-23, 2008 : proceedings
出版: (2017)

Reconfigurable Computing: Architectures, Tools and Applications
出版: (2017)

Computer Mathematics
由: Carbonell, Jaime G. ; Siekmann, Deepak Kapur.
出版: (2017)

High Performance Computing for Computational Science - VECPAR 2008
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, José M. Laginha M. Palma, Patrick R. Amestoy, Michel Daydé, Marta Mattoso, João Correia Lopes
出版: (2017)

LATIN 2008: Theoretical Informatics
出版: (2017)

Computer and Information Science
出版: (2017)

Computer-human interaction : 8th Asia-Pacific Conference, APCHI 2008, Seoul, Korea, July 6-9, 2008 : proceedings
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Seongil Lee, Hyunseung Choo, Sungdo Ha, In Chul Shin.
出版: (2017)

Legitimacy in International Law
由: Rüdiger Wolfrum, Volker Röben.
出版: (2017)

Spatial Cognition VI. Learning, Reasoning, and Talking about Space
出版: (2017)

Safety-Critical Systems: Problems, Process and Practice
出版: (2017)

Foundations of Information and Knowledge Systems
出版: (2017)

Advances in Computer Science and Engineering
出版: (2017)

NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet
由: Amitabha Das, Hung Keng Pung, Francis Bu Sung Lee, Lawrence Wai Choong Wong.
出版: (2017)

Entertainment Computing - ICEC 2008
出版: (2017)

Social Computing, Behavioral Modeling, and Prediction
出版: (2017)

Argumentation in multi-agent systems : Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers
出版: (2017)

Automated Technology for Verification and Analysis
出版: (2017)

Passive and Active Network Measurement
出版: (2017)

Algorithmic Aspects of Wireless Sensor Networks
出版: (2017)

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
出版: (2017)

Recent Advances in Intrusion Detection
出版: (2017)

Implementation and Applications of Automata
出版: (2017)

High Performance Embedded Architectures and Compilers
出版: (2017)

E-business and Telecommunication Networks
出版: (2017)