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 and 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 reuse P. M. D. Gray 8. The global-yet-personal information system J. R. Gurd and 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.
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 and 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 reuse P. M. D. Gray 8. The global-yet-personal information system J. R. Gurd and 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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
