You have Guest access.
Log In
Reinhard Wilhelm
Front matter
1-23
The Web in 2010: Challenges and Opportunities for Database Research
24-33
Challenges in Ubiquitous Data Management
34-49
Programmable Networks
50-62
Multilateral Security: Enabling Technologies and Their Evaluation
63-85
Cryptography 2000±10
86-101
A Language-Based Approach to Security
102-111
Software Engineering in the Years 2000 Minus and Plus Ten
112-130
Thinking Tools for the Future of Computing Science
131-137
Orientations in Verification Engineering of Avionics Software
138-156
Abstract Interpretation Based Formal Methods and Future Challenges
157-175
Extended Static Checking: A Ten-Year Perspective
176-194
Progress on the State Explosion Problem in Model Checking
195-208
From Research Software to Open Source
209-218
Microprocessors — 10 Years Back, 10 Years Ahead
219-233
The Quantum Computing Challenge
234-250
Parallel Computation: MM +/- X
251-256
Computational Complexity and Mathematical Proofs
257-267
Logic for Computer Science: The Engineering Challenge
268-273
From Algorithm to Program to Software Library
274-293
Pervasive Speech and Language Technology
294-310
Embodied Artificial Intelligence 10 Years Back, 10 Years Forward
311-327
Scientific Visualization - Methods and Applications -
328-340
Computer Vision: Past and Future
341-355
Computational Biology at the Beginning of the Post-genomic Era
356-368
Computer Science in Physics
Back matter
Gerhard Weikum
Michael J. Franklin
Andrew T. Campbell, Michael E. Kounavis and John B. Vicente
Andreas Pfitzmann
Ueli Maurer
Fred B. Schneider, Greg Morrisett and Robert Harper
Jochen Ludewig
Cliff B. Jones
Famantanantsoa Randimbivololona
Patrick Cousot
K. Rustan M. Leino
Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu and Helmut Veith
Susan L. Graham
Gurindar S. Sohi
Paul Vitányi
Lawrence Snyder
Juris Hartmanis
Wolfgang Thomas
Kurt Mehlhorn
Wolfgang Wahlster
Rolf Pfeifer
Hans Hagen, Achim Ebert, Rolf Hendrik van Lengen and Gerik Scheuermann
Jan-Olof Eklundh and Henrik I. Christensen
Thomas Lengauer
A. Peter Young
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info