Normal view MARC view ISBD view

Computing tomorrow : future research directions in computer science / edited by Ian Wand and Robin Milner.

Contributor(s): Milner, R. (Robin), 1934- | Wand, I. C. (Ian C.), 1941-.
Publisher: Cambridge [U.K.] : Cambridge University Press, c1996Description: x, 373 p. ; 24 cm.ISBN: 0521460859.Subject(s): Computer science -- ResearchDDC classification: 004.072
Contents:
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.
Item type Current location Call number Copy number Status Notes Date due Barcode Remark
Main Collection TU External Storage-LCS
004.072 COM (Browse shelf) 1 Available SOCIT, SOCIT, 560574 1000104470 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1

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.