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 LEADER 01094nam0 22002771i 450 001 UON00006636 005 20231205101914.308 100 $a20020107d1954 |0itac50 ba 101 $aeng 102 $aCN 105 $a|||| 1|||| 200 1 $aStrategic problems of China's revolutionary war$fMao Tse-Toung 210 $aPeking$cForeign Languages Press$d1954 215 $a132 p.$d18 cm 620 $aCN$dBeijing$3UONL000457 686 $aCIN V$cCINA - POLITOLOGIA$2A 700 0$aMAO Zedong$f1893-1976$3UONV005594$0228976 712 $aForeign Languages Press$3UONV246351$4650 790 0$aMAO Tse-Toung$zMAO Zedong <1893-1976>$3UONV005582 790 0$aMAO Tse-tung$zMAO Zedong <1893-1976>$3UONV015980 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00006636 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI MISC CIN V 009 $eSI SA 73218 5 009 996 $aStrategic problems of China's revolutionary war$91176523 997 $aUNIOR LEADER 01279nam0 22003011i 450 001 UON00098238 005 20231205102542.0 100 $a20020107d1949 |0itac50 ba 101 $ager 102 $aDK 105 $a|||| 1|||| 200 1 $aTocharisch vom Gesichtpunkt der indeuropaischen Sprachvergleichung$fHolger Pedersen 205 $aZweite Auflage 210 $aKobenhavn$cI Kommission Hos Ejnar Munksgaard$d1941 215 $a292 p.$d25 cm 410 1$1001UON00109244$12001 $aDet Kongelige Danske Videnskabernes Selskab$eHistorisk-filosofiske meddelelser$v28/1 606 $aLINGUA TOCARICA$3UONC025727$2FI 606 $aLINGUISTICA COMPARATA$xTocario-Lingue indeuropee$3UONC029352$2FI 620 $aDK$dCopenhagen$3UONL000180 676 $a491.994$cLingua tocarica$v21 700 1$aPEDERSEN$bH.$3UONV055923$0664172 712 $aMunksgaard$3UONV247043$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00098238 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI GLOTT B 2 III 001 $eSI MR 39528 7 001 996 $aTocharisch vom Gesichtpunkt der indeuropaischen Sprachvergleichung$91303279 997 $aUNIOR