Informatics : 10 years back, 10 years ahead
Informatics - 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 lo...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
2000 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Informatics 10 years back, 10 years ahead, Reinhard Wilhelm (ed.), 2001, New York, Springer, 1 vol. (IX-368 p.), Lecture notes in computer science, 3-540-41635-8 • Informatics, Texte imprimé, 9783662205136 |
| LEADER | 04123nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 949161 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155217402 | ||
| 020 | |a 9783540445777 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Wilhelm, Reinhard, |d 1946- | |
| 245 | 1 | 0 | |a Informatics : |b 10 years back, 10 years ahead |c [edited by] Reinhard Wilhelm. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2000 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a The 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Informatics - 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 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 776 | 0 | |0 055124399 |t Informatics 10 years back, 10 years ahead |f Reinhard Wilhelm (ed.) |d 2001 |c New York |n Springer |p 1 vol. (IX-368 p.) |s Lecture notes in computer science |z 3-540-41635-8 | |
| 776 | 0 | |t Informatics |b Texte imprimé |z 9783662205136 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-44577-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-MQKJ4Q8L-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748060707 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-44577-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751512249 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-44577-3 |z Accès INSA CVL | |
| 997 | |0 949161 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||