10 Years Back, 10 Years Ahead

  • Reinhard Wilhelm

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2000)

Table of contents

  1. Front Matter
    Pages I-IX
  2. The Web

    1. ...How to Make the Best Use of It

    2. ...What’s Underneath

      1. Andrew T. Campbell, Michael E. Kounavis, John B. Vicente
        Pages 34-49
    3. ...How to Still Feel Secure

      1. Ueli Maurer
        Pages 63-85
      2. Fred B. Schneider, Greg Morrisett, Robert Harper
        Pages 86-101
  3. Software

    1. ... the Right Engineering

    2. ... the Right Tooling

      1. K. Rustan M. Leino
        Pages 157-175
      2. Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
        Pages 176-194
  4. A Political Issue: Open Source?

    1. Susan L. Graham
      Pages 195-208
  5. Architecture

    1. Gurindar S. Sohi
      Pages 209-218
    2. Paul Vitányi
      Pages 219-233
    3. Lawrence Snyder
      Pages 234-250
  6. Theory

    1. ... Why It Is Needed

    2. ... How It Becomes Practice

      1. Kurt Mehlhorn
        Pages 268-273
  7. Artificial Intelligence

  8. Graphics and Vision

    1. Hans Hagen, Achim Ebert, Rolf Hendrik van Lengen, Gerik Scheuermann
      Pages 311-327
    2. Jan-Olof Eklundh, Henrik I. Christensen
      Pages 328-340
  9. Immersion into Other Disciplines

    1. A. Peter Young
      Pages 356-368
  10. Back Matter
    Pages 369-369

About this book


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.


Information Technology (IT) Open Source algorithms artificial intelligence complexity computational science computer computer science database information logic software software engineering technology verification

Editors and affiliations

  • Reinhard Wilhelm
    • 1
  1. 1.FR InformatikUniversität des SaarlandesSaarbrückenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41635-7
  • Online ISBN 978-3-540-44577-7
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment