Résumé
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.
Contents
The Web
- How to Make the Best Use of It
- The Web in 2010:Challenges and Opportunities for
Database Research
Gerhard Weikum - Challenges in Ubiquitous Data Management
Michael J.Franklin - What's Underneath
- Programmable Networks 3
Andrew T.Campbell,Michael E.Kounavis, John B.Vicente - How to Still Feel Secure
- Multilateral Security:Enabling Technologies and Their
Evaluation
Andreas Pfitzmann - Cryptography 2000 ± 10
Ueli Maurer - A Language-Based Approach to Security
Fred B.Schneider,Greg Morrisett,Robert Harper
- the Right Engineering
- Software Engineering in the Years 2000 Minus and Plus
Ten
Jochen Ludewig - Thinking Tools for the Future of Computing
Science
Cli BJones - Orientations in Veri cation Engineering of Avionics
Software
Famantanantsoa Randimbivololona - the Right Tooling
- Abstract Interpretation Based Formal Methods and Future
Challenges
Patrick Cousot - Extended Static Checking:A Ten-Year Perspective
K.Rustan M.Leino - Progress on the State Explosion Problem in Model
Checking 176
Edmund Clarke,Orna Grumberg,Somesh Jha,Yuan Lu,Helmut Veith
- From Research Software to Open Source
Susan L.Graham
- Microprocessors 0 Years Back,0 Years Ahead
Gurindar S.Sohi - The Quantum Computing Challenge
Paul Vitanyi - Parallel Computation:MM +/-X
Lawrence Snyder
- Why It Is Needed
- Computational Complexity and Mathematical Proofs
Juris Hartmanis - Logic for Computer Science:The Engineering
Challenge
Wolfgang Thomas - How It Becomes Practice
- From Algorithm to Program to Software Library
Kurt Mehlhorn
- Pervasive Speech and Language Technology
Wolfgang Wahlster - Embodied Arti cial Intelligence:0 Years Back,0 Years
Forward
Rolf Pfeifer
- Scientific Visualization - Methods and
Applications
Hans Hagen, Achim Ebert, Rolf Hendrik van Lengen, Gerik Scheuermann - Computer Vision:Past and Future
Jan-Olof Eklundh and Henrik I.Christensen
- Computational Biology at the Beginning of the
Post-genomic Era
Thomas Lengauer - Computer Science in Physics
A.Peter Young
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Reinhard Wilhelm |
| Parution | 01/04/2001 |
| Nb. de pages | 368 |
| Format | 15,5 x 23,5 |
| Couverture | Broché |
| Poids | 547g |
| Intérieur | Noir et Blanc |
| EAN13 | 9783540416357 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
