TY - BOOK AU - Milner,R. AU - Wand,I.C. TI - Computing tomorrow: future research directions in computer science SN - 0521460859 U1 - 004.072 PY - 1996/// CY - Cambridge [U.K.] PB - Cambridge University Press KW - Computer science KW - Research N1 - Preface. - Contributors. - 1. The Complexity of Algorithms / M. D. Atkinson. - 2. Building Novel Software: the Researcher and the Marketplace / P. J. Brown. - 3. Prospects for Artificial Intelligence / Alan Bundy. - 4. Structured Parallel Programming: Theory meets Practice / John Darlington, Yi-ke Guo, Hing Wing To. - 5. Computer Science and Mathematics / J. H. Davenport.- 6. Paradigm Merger in Natural Language Processing / Gerald Gazdar. - 7. Large Databases and Knowledge Re-use / P. M. D. Gray. - 8. The Global-yet-Personal Information System / J. R. Gurd, C. B. Jones. - 9. Algebra and Models / C. A. R. Hoare. - 10. Real-time Computing / Mathai Joseph. - 11. Evaluation of Software Dependability / Bev Littlewood. - 12. Engineering Safety-Critical Systems / John A. McDermid. - 13. Semantic Ideas in Computing / Robin Milner. - 14. Computers and Communications / R. M. Needham. - 15. Interactive Computing in Tomorrow's Computer Science / William Newman. - 16. On the Importance of Being the Right Size / Simon Peyton Jones. - References. - Index ER -