Informatics

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

About this book

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-44577-3
  • 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
  • About this book