Concepts, techniques, and models of computer programming / (Record no. 129)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03085cam a22002654a 4500 |
001 - CONTROL NUMBER | |
control field | 13337337 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OSt |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20230730081812.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 030909s2004 maua b 001 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
LC control number | 2003065140 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780262220699 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | BUL |
Transcribing agency | BUL |
Modifying agency | BUL |
Language of cataloging | eng |
Description conventions | rda |
050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
Item number | . |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.1 |
Edition number | 22 |
Item number | ROY |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Van-Roy, Peter. |
245 10 - TITLE STATEMENT | |
Title | Concepts, techniques, and models of computer programming / |
Statement of responsibility, etc. | Peter Van Roy, Seif Haridi. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | Cambridge, Mass. : |
Name of publisher, distributor, etc. | MIT Press, |
Date of publication, distribution, etc. | 2004. |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xxvii, 900 p. : |
Other physical details | ill. ; |
Dimensions | 26 cm. |
500 ## - GENERAL NOTE | |
General note | Contents<br/>1 Introduction to Programming Concepts<br/>1.1 A calculator<br/>1.2 Variables<br/>1.3 Functions<br/>1.4 Lists, etc<br/><br/>1 General Computation Models<br/>2 Declarative Computation Model<br/>2.1 Defining Practical Programming Languages<br/>2.2 The single- assignment store<br/>2.3 Kernel Language<br/>2.4 Kernel Language semantics, etc<br/><br/>3 Declarative Programming Techniques<br/>3.1 What is declarativeness?<br/>3.2 Iterative computation <br/>3.3 Recursive computation<br/>3.4 Programming with recursion, etc<br/><br/>4 Declarative Concurrency<br/>4.1 The data- driven concurrent model<br/>4.2 Basic thread programming techniques<br/>4.3 Streams<br/>4.4 Using the declarative concurrent model directly, etc<br/><br/>5 Message- Passing Concurrency<br/>5.1 The message- passing concurrent model<br/>5.2 Port objects<br/>5.3 Simple message protocls<br/>5.4 Program design for concurrency, etc<br/><br/>6 Explicit State<br/>6.1 What is state?<br/>6.2 State and system building<br/>6.3 The declarative model with explicit state<br/>6.4 Date abstraction, etc<br/><br/>7 Object-Oriented Programming<br/>7.1 Inheritance<br/>7.2 Classes as Incremental date abstractions<br/>7.3 Classes as complete date abstraction, etc<br/><br/>8 Shared-State Concurrency<br/>8.1 The shared state concurrent model<br/>8.2 Programming with concurrency<br/>8.3 Locks<br/>8.4 Monitors, etc<br/><br/>9 Relational Programming<br/>9.1 The relational computation model<br/>9.2 Further examples<br/>9.3 Relation to logic programming, etc<br/><br/>11 SPECIALIZED COMPUTATION MODELS<br/>10 Graphical User Interface Programming<br/>10.1 The declarative/procedural approach<br/>10.2 Using the declarative/ procedural approach<br/>10.3 The prototyper interactive learning tool, etc<br/><br/>11 Distributed Programming<br/>11.1 Taxonomy of distributed system<br/>11.2 The distribution model<br/>11.3 Distribution of declarative data<br/>11.4 Distribution of state<br/>11.5 Network awareness, etc<br/><br/>12 Constraint Programming<br/>12.1 Propagate-and-search<br/>12.2 Programming techniques<br/>12.3 The constraint-based computation model,etc<br/><br/>111 SEMANTICS<br/>13 Language semantics<br/>13.1 The general computation model<br/>13.2 Declarative concurrency<br/>13.3 Eight computation models<br/>13.4 Semantics of common abstraction<br/>13.5 Historical, etc.<br/> |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc. note | Bibliographical references : p. 853 - 862 . _ Index : p. 863 - 900 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Computer programming. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Haridi, Seif. |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Koha item type | Book Closed Access |
Classification part | 005.1 |
Item part | 1 |
Call number prefix | ROY |
Call number suffix | 005.1 ROY |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Source of acquisition | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | Engineering Library | Engineering Library | 01/22/2021 | Purchased | 0008932 | 005.1 ROY. 1 | BUML23070627 | 01/22/2021 | 1 | 01/22/2021 | Book Open Access | |||||
Dewey Decimal Classification | Engineering Library | Engineering Library | 01/22/2021 | Purchased | 0010999 | 005.1 ROY. 2 | BUML23070628 | 01/22/2021 | 2 | 01/22/2021 | Book Open Access |