Computer Science Today, LNCS 1000, 1995
Jan van Leeuwen (Ed.):
Computer Science Today: Recent Trends and Developments.
Lecture Notes in Computer Science Vol. 1000 Springer 1995, ISBN 3-540-60105-8
The New Computing
Parallel and Distributed Systems
Lawrence Snyder:
Experimental Validation of Models of Parallel Computation.
78-100
Algorithm Design
Leonard M. Adleman:
Algorithmic Number Theory and Its Relationship to Computational Complexity.
159-171
Optimization and Search
Software Technology
Manfred Broy:
Mathematical System Models as a Basis of Software Engineering.
292-306
Derick Wood:
Standard Generalized Markup Language: Mathematical and Philosophical Issues.
344-365
Programming Theory
David Harel:
Towards a theory of Recursive Structures.
374-391
Vaughan R. Pratt:
Chu Spaces and Their Interpretation as Concurrent Objects.
392-405
Verification and Reasoning
Moshe Y. Vardi:
Alternating Automata and Program Verification.
471-485
Erik Sandewall:
Reasoning about Actions and Change with Ramification.
486-504
Intelligent Systems
Multimedia and Hypermedia