000 -LEADER |
fixed length control field |
01811cam a2200217 a 4500 |
001 - CONTROL NUMBER |
control field |
vtls002127360 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
MY-SjTCS |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20200306153450.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
110218s1996 enk 00 0 eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
0521460859 |
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
Level of rules in bibliographic description |
201211061254 |
Level of effort used to assign nonsubject heading access points |
izani |
Level of effort used to assign subject headings |
201102181408 |
Level of effort used to assign classification |
VLOAD |
-- |
200407271925 |
-- |
VLOAD |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004.072 |
Item number |
COM |
245 00 - TITLE STATEMENT |
Title |
Computing tomorrow : |
Remainder of title |
future research directions in computer science / |
Statement of responsibility, etc. |
edited by Ian Wand and Robin Milner. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Cambridge [U.K.] : |
Name of publisher, distributor, etc. |
Cambridge University Press, |
Date of publication, distribution, etc. |
c1996. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
x, 373 p. ; |
Dimensions |
24 cm. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Computer science |
General subdivision |
Research. |
9 (RLIN) |
13033 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Milner, R. |
Fuller form of name |
(Robin), |
Dates associated with a name |
1934- |
9 (RLIN) |
91348 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Wand, I. C. |
Fuller form of name |
(Ian C.), |
Dates associated with a name |
1941- |
9 (RLIN) |
201081 |
920 ## - Programme |
Programme |
SOCIT : 560574 |
999 ## - SYSTEM CONTROL NUMBERS (KOHA) |
Koha biblionumber |
20834 |
Koha biblioitemnumber |
20834 |