000 04099nam a22005655i 4500
001 978-3-540-44577-7
003 DE-He213
005 20160624101949.0
007 cr nn 008mamaa
008 121227s2001 gw | s |||| 0|eng d
020 _a9783540445777
_9978-3-540-44577-7
024 7 _a10.1007/3-540-44577-3
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aUL
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aInformatics
_h[electronic resource] :
_b10 Years Back, 10 Years Ahead /
_cedited by Reinhard Wilhelm.
260 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2001.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2001.
300 _aIX, 372 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v2000
505 0 _aThe Web -- The Web in 2010: Challenges and Opportunities for Database Research -- Challenges in Ubiquitous Data Management -- Programmable Networks -- Multilateral Security: Enabling Technologies and Their Evaluation -- Cryptography 2000±10 -- A Language-Based Approach to Security -- Software -- Software Engineering in the Years 2000 Minus and Plus Ten -- Thinking Tools for the Future of Computing Science -- Orientations in Verification Engineering of Avionics Software -- Abstract Interpretation Based Formal Methods and Future Challenges -- Extended Static Checking: A Ten-Year Perspective -- Progress on the State Explosion Problem in Model Checking -- A Political Issue: Open Source? -- From Research Software to Open Source -- Architecture -- Microprocessors — 10 Years Back, 10 Years Ahead -- The Quantum Computing Challenge -- Parallel Computation: MM +/- X -- Theory -- Computational Complexity and Mathematical Proofs -- Logic for Computer Science: The Engineering Challenge -- From Algorithm to Program to Software Library -- Artificial Intelligence -- Pervasive Speech and Language Technology -- Embodied Artificial Intelligence 10 Years Back, 10 Years Forward -- Graphics and Vision -- Scientific Visualization - Methods and Applications - -- Computer Vision: Past and Future -- Immersion into Other Disciplines -- Computational Biology at the Beginning of the Post-genomic Era -- Computer Science in Physics.
520 _aInformatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come. This book marks two remarkable and festive moments: the 10th anniversary of the International Research and Conference Center for Computer Science in Dagstuhl, Germany and the 2000th volume published in the Lecture Notes in Computer Science series.
650 0 _aComputer science.
650 0 _aComputer network architectures.
650 0 _aSoftware engineering.
650 0 _aInformation theory.
650 0 _aInformation systems.
650 0 _aElectronic data processing.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aTheory of Computation.
650 2 4 _aInformation Systems and Communication Service.
650 2 4 _aComputing Methodologies.
650 2 4 _aComputer Systems Organization and Communication Networks.
700 1 _aWilhelm, Reinhard.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540416357
786 _dSpringer
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v2000
856 4 0 _uhttp://dx.doi.org/10.1007/3-540-44577-3
942 _2EBK4900
_cEBK
999 _c34194
_d34194