MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07001cam a22008897a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn818697612 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703161950.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr ||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
120911s2012 gw ob 100 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
HUA |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
DLC |
| Modifying agency |
HUA |
| -- |
BTCTA |
| -- |
OHX |
| -- |
YDXCP |
| -- |
OCLCO |
| -- |
GW5XE |
| -- |
COO |
| -- |
ZMC |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
NOC |
| -- |
VLB |
| -- |
E7B |
| -- |
OCLCO |
| -- |
OCL |
| -- |
OCLCO |
| -- |
GBVCP |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
VT2 |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
BUF |
| -- |
REB |
| -- |
U3W |
| -- |
WYU |
| -- |
TKN |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
AJS |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
UKAHL |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
N$T |
| -- |
IG# |
| -- |
OCLCA |
| 019 ## - |
|---|
| -- |
811000234 |
| -- |
817799528 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642340598 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642340598 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642340581 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
364234058X |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000065269261 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
CHBIS |
| System control number |
007576730 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
CHBIS |
| System control number |
009894939 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
CHVBK |
| System control number |
185306446 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
GBVCP |
| System control number |
726152854 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
384139507 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14678450 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999917016105765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)818697612 |
| Canceled/invalid control number |
(OCoLC)811000234 |
| -- |
(OCoLC)817799528 |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
lccopycat |
| 050 14 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
T58.5 |
| Item number |
.M673 2012 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.12 |
| Item number |
M77 W12 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
Monterey Workshop |
| Number of part/section/meeting |
(17th : |
| Date of meeting |
2012 : |
| Location of meeting |
Oxford, Great Britain) |
| 9 (RLIN) |
46951 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Large-scale complex IT systems : |
| Remainder of title |
development, operation and management, 17th Monterey workshop 2012, Oxford, UK, March 19-21, 2012 : revised selected papers / |
| Statement of responsibility, etc. |
Radu Calinescu, David Garlan (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Heidelberg ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2012. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 415 pages) |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 0# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
7539 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering. |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Challenges of Large-Scale Complex IT Systems -- |
| -- |
Cyber-Physical Systems: Imminent Challenges / |
| Statement of responsibility |
Manfred Broy, María Victoria Cengarle, Eva Geisberger -- |
| Title |
The Global Financial Markets: An Ultra-Large-Scale Systems Perspective / |
| Statement of responsibility |
Dave Cliff, Linda Northrop -- |
| Title |
What Is a Care Pathway? / |
| Statement of responsibility |
Justin Keen -- |
| Title |
Command and Control of Teams of Autonomous Systems / |
| Statement of responsibility |
Douglas S. Lange, Phillip Verbancsics, Robert S. Gutzwiller, John Reeder, Cullen Sarles -- |
| Title |
The Risks of LSCITS: The Odds Are Stacked against Us / |
| Statement of responsibility |
John A. McDermid -- |
| Title |
Model-Driven Engineering -- |
| -- |
Integration Architecture Synthesis for Taming Uncertainty in the Digital Space / |
| Statement of responsibility |
Marco Autili, Vittorio Cortellessa, Davide Di Ruscio, Paola Inverardi -- |
| Title |
Social Networks for Importing and Exporting Security / |
| Statement of responsibility |
Bangdao Chen, A.W. Roscoe -- |
| Title |
CScale -- A Programming Model for Scalable and Reliable Distributed Applications / |
| Statement of responsibility |
Jose Faleiro, Sriram Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani -- |
| Title |
Foundations and Tools for End-User Architecting / |
| Statement of responsibility |
David Garlan, Vishal Dwivedi, Ivan Ruchkin, Bradley Schmerl -- |
| Title |
Evolving Delta-Oriented Software Product Line Architectures / |
| Statement of responsibility |
Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer. |
| 505 80 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Multi-view Modeling and Pragmatics in 2020 / |
| Statement of responsibility |
Reinhard von Hanxleden, Edward A. Lee, Christian Motika, Hauke Fuhrmann -- |
| Title |
View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling / |
| Statement of responsibility |
Rolf Hennicker, Matthias Ludwig -- |
| Title |
Revealing Complexity through Domain-Specific Modelling and Analysis / |
| Statement of responsibility |
Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher D.S. Power -- |
| Title |
Information Requirements for Enterprise Systems / |
| Statement of responsibility |
Ian Sommerville, Russell Lock, Tim Storer -- |
| Title |
Formal Specification, Analysis and Verification -- |
| -- |
A Counterexample-Based Incremental and Modular Verification Approach / |
| Statement of responsibility |
Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci -- |
| Title |
Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems / |
| Statement of responsibility |
Radu Calinescu, Shinji Kikuchi, Kenneth Johnson -- |
| Title |
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach / |
| Statement of responsibility |
Maximilien Colange, Lom-Messan Hillah, Fabrice Kordon, Pierre Parutto -- |
| Title |
Towards Communication-Based Steering of Complex Distributed Systems / |
| Statement of responsibility |
Klaus Dräger, Marta Kwiatkowska -- |
| Title |
Evolution, Adaptation, and the Quest for Incrementality / |
| Statement of responsibility |
Carlo Ghezzi -- |
| Title |
Independent Implementability of Viewpoints / |
| Statement of responsibility |
Thomas A. Henzinger, Dejan Ničković -- |
| Title |
Understanding Specification Languages through Their Model Theory / |
| Statement of responsibility |
Ethan K. Jackson, Wolfram Schulte. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012. The workshop explored the challenges associated with the Development, Operation and Management of Large-Scale complex IT Systems. The 21 revised full papers presented were significantly extended and improved by the insights gained from the productive and lively discussions at the workshop, and the feedback from the post-workshop peer reviews. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information technology |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15725 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Technologie de l'information |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
20390 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information technology |
| Source of heading or term |
fast |
| 9 (RLIN) |
15726 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Komplexes System |
| Source of heading or term |
gnd |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Kritische Informationsinfrastruktur |
| Source of heading or term |
gnd |
| 9 (RLIN) |
36142 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Sicherheitskritisches System |
| Source of heading or term |
gnd |
| 9 (RLIN) |
20648 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Modellgetriebene Entwicklung |
| Source of heading or term |
gnd |
| 9 (RLIN) |
20126 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Softwaresystem |
| Source of heading or term |
gnd |
| 9 (RLIN) |
38896 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Formale Spezifikationstechnik |
| Source of heading or term |
gnd |
| 9 (RLIN) |
28193 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Calinescu, Radu. |
| 9 (RLIN) |
46953 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Garlan, David. |
| 9 (RLIN) |
32866 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Large scale complex IT systems (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGkPvr3BhqCKGMHQ4WGjFq |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Monterey Workshop 2012 (17th: 2012: Oxford, Great Britain). |
| Title |
Large-scale complex IT systems. |
| Place, publisher, and date of publication |
Heidelberg ; New York : Springer, ©2012 |
| International Standard Book Number |
9783642340581 |
| -- |
364234058X |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 2, |
| Name of part/section of a work |
Programming and software engineering. |
| 9 (RLIN) |
20654 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-34059-8">https://link.springer.com/10.1007/978-3-642-34059-8</a> |
| 938 ## - |
|---|
| -- |
Ingram Library Services |
| -- |
INGR |
| -- |
in018837995 |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29497017 |
| 938 ## - |
|---|
| -- |
Baker and Taylor |
| -- |
BTCP |
| -- |
BK0012170029 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3070848 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10656478 |
| 938 ## - |
|---|
| -- |
Otto Harrassowitz |
| -- |
HARR |
| -- |
har120240359 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
9653559 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
9907545 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
2542401 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |