Vibrations of thick cylindrical structures (Record no. 7893)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01870nam a2200253 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | ASIN038756733X |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20190522131946.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 150424s2008 xxu eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 038756733X (paperback) |
| Terms of availability | $99.00 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780387567334 (paperback) |
| 037 ## - SOURCE OF ACQUISITION | |
| Terms of availability | 12599.00 PKR |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | AUI |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Hamidzadeh, Hamid R. |
| 9 (RLIN) | 11943 |
| 245 10 - TITLE STATEMENT | |
| Title | Vibrations of thick cylindrical structures |
| Statement of responsibility, etc. | Hamid R. Hamidzadeh, Reza N. Jazar. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | New Delhi |
| Name of publisher, distributor, etc. | Springer, |
| Date of publication, distribution, etc. | 2010. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xix; 201 p. |
| Dimensions | 24 cm. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture notes in computer science. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a rigorous methodology for developing correct software and a comprehensive support system. The results are substantial: a theoretically well-founded methodology covering the whole development cycle, a very high-level specification and transformation language family allowing meta-program development and formalization of the development process itself, and a prototype development system supporting structure editing, incremental static-semantic checking, interactive context-sensitive transformation and verification, development of transformation (meta-) programs, version management, and so on, with an initial library of specifications and a sizeable collection of implemented transformations. The intended audience for this documentation is the academic community working in this and related areas and those members of the industrial community interested in the use of formal methods. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Jazar, Reza N. |
| 9 (RLIN) | 11944 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture notes in computer science. |
| 9 (RLIN) | 11945 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Amazon.com |
| Uniform Resource Identifier | <a href="http://www.amazon.com/exec/obidos/ASIN/038756733X/chopaconline-20">http://www.amazon.com/exec/obidos/ASIN/038756733X/chopaconline-20</a> |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Air University Central Library Islamabad | Air University Central Library Islamabad | 04/24/2015 | Pak Book Corporation | 21103186 | 620.30151 HAM | P9389 | 01/11/2017 | 12599.00 | 01/11/2017 | Book | Program Relevancy: BEMTS; BEME; Course Relevancy: Mechnaical vibrations |