Table of contents

  1. Front Matter
  2. Gilles Brassard
    Pages 1-14
  3. Luc Steels, Mario Tokoro
    Pages 15-28
  4. Hava T. Siegelmann
    Pages 29-45
  5. W. F. McColl
    Pages 46-61
  6. Burkhard Monien, Ralf Diekmann, Rainer Feldmann, Ralf Klasing, Reinhard Lüling, Knut Menzel et al.
    Pages 62-77
  7. JiŘí Wiedermann
    Pages 101-114
  8. Zhaojun Bai, David Day, James Demmel, Ming Gu, Jack Dongarra, Axel Ruhe et al.
    Pages 115-140
  9. Thomas Beth, Andreas Klappenecker, Torsten Minkwitz, Armin Nückel
    Pages 141-158
  10. Shin-ichi Nakano, Xiao Zhou, Takao Nishizeki
    Pages 172-183
  11. Sridhar Hannenhalli, Pavel A. Pevzner
    Pages 184-202
  12. Maurice Herlihy, Sergio Rajsbaum
    Pages 203-217
  13. Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe
    Pages 218-233
  14. Pankaj K. Agarwal, Micha Sharir
    Pages 234-253
  15. Jürg Nievergelt, Ralph Gasser, Fabian Mäser, Christoph Wirth
    Pages 254-274
  16. Nicholas J. Radcliffe, Patrick D. Surry
    Pages 275-291
  17. Mary Shaw, David Garlan
    Pages 307-323
  18. Gert Smolka
    Pages 324-343
  19. David Gries, Fred B. Schneider
    Pages 366-373
  20. David Harel
    Pages 374-391
  21. Maurice Bruynooghe, Michael Codish, Anne Mulkers
    Pages 406-425
  22. Ross Anderson, Roger Needham
    Pages 426-440
  23. Wolfgang Reisig
    Pages 441-454
  24. E. M. Clarke, S. Jha
    Pages 455-470
  25. Moshe Y. Vardi
    Pages 471-485
  26. Jan-Olof Eklundh
    Pages 505-517
  27. Ming Li, Paul Vitányi
    Pages 518-535
  28. Ronald R. Yager
    Pages 536-548
  29. C. J. van Rijsbergen
    Pages 549-559
  30. Gottfried Vossen
    Pages 560-574
  31. Dick C. A. Bulterman, Lynda Hardman
    Pages 575-591
  32. Thomas Käppner, Ralf Steinmetz
    Pages 592-607
  33. Hermann Maurer
    Pages 608-624
  34. Back Matter

About this book


This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology.
This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field.


Algorithmen Computer Science Computing Paradigms Informatik Informationstechnologie Multimedia New Developments Recent Trends State-of-the-Art automata distributed systems logic number theory optimization verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60105-0
  • Online ISBN 978-3-540-49435-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods