LEADER 05031nam  22007335  450 
001 996465719803316
005 20220314120343.0
010   $a3-540-44577-3
024 7 $a10.1007/3-540-44577-3
035   $a(CKB)1000000000211458
035   $a(SSID)ssj0000323962
035   $a(PQKBManifestationID)11246667
035   $a(PQKBTitleCode)TC0000323962
035   $a(PQKBWorkID)10304049
035   $a(PQKB)11721933
035   $a(DE-He213)978-3-540-44577-7
035   $a(MiAaPQ)EBC3071964
035   $a(PPN)155217402
035   $a(EXLCZ)991000000000211458
100   $a20121227d2001      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aInformatics$b[electronic resource] $e10 Years Back. 10 Years Ahead /$fby Reinhard Wilhelm
205   $a1st ed. 2001.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2001.
215   $a1 online resource (IX, 372 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2000
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-41635-8 
320   $aIncludes bibliographical references at the end of each chapters and index.
327   $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.
330   $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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2000
606   $aSoftware engineering
606   $aComputers
606   $aArtificial intelligence
606   $aComputer organization
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aInformation Systems and Communication Service$3https://scigraph.springernature.com/ontologies/product-market-codes/I18008
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aComputer Systems Organization and Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13006
615  0$aSoftware engineering.
615  0$aComputers.
615  0$aArtificial intelligence.
615  0$aComputer organization.
615 14$aSoftware Engineering/Programming and Operating Systems.
615 24$aTheory of Computation.
615 24$aInformation Systems and Communication Service.
615 24$aArtificial Intelligence.
615 24$aComputer Systems Organization and Communication Networks.
676   $a004
700   $aWilhelm$b Reinhard$4aut$4http://id.loc.gov/vocabulary/relators/aut
701   $aWilhelm$b R$g(Reinhard),$f1946-$0753915
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465719803316
996   $aInformatics$92262757
997   $aUNISA