MARC details
| 000 -LEADER |
|---|
| fixed length control field |
08048cam a2201129 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn185026997 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703144009.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 cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
071223s2007 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
GW5XE |
| -- |
BTCTA |
| -- |
TEX |
| -- |
IDEBK |
| -- |
OCLCQ |
| -- |
HNK |
| -- |
N$T |
| -- |
YDXCP |
| -- |
CEF |
| -- |
OTZ |
| -- |
UBC |
| -- |
E7B |
| -- |
YNG |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
A7U |
| -- |
OCLCQ |
| -- |
BEDGE |
| -- |
OCLCQ |
| -- |
COO |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
DEBSZ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
VT2 |
| -- |
SHS |
| -- |
OCLCQ |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
U3W |
| -- |
BUF |
| -- |
OCLCQ |
| -- |
OCLCF |
| -- |
STF |
| -- |
MYTML |
| -- |
OCLCQ |
| -- |
WYU |
| -- |
ICG |
| -- |
AU@ |
| -- |
YOU |
| -- |
OCLCQ |
| -- |
W2U |
| -- |
CNTRU |
| -- |
OL$ |
| -- |
OCLCQ |
| -- |
BWN |
| -- |
ZHM |
| -- |
DCT |
| -- |
ERF |
| -- |
WURST |
| -- |
OCLCQ |
| -- |
SFB |
| -- |
EUX |
| -- |
OCLCQ |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
982970463 |
| Source |
DE-101 |
| 019 ## - |
|---|
| -- |
154166361 |
| -- |
176934013 |
| -- |
180752356 |
| -- |
239707261 |
| -- |
401472789 |
| -- |
648308907 |
| -- |
690014087 |
| -- |
767238991 |
| -- |
880102369 |
| -- |
960398928 |
| -- |
964889668 |
| -- |
993761962 |
| -- |
1005745777 |
| -- |
1006403158 |
| -- |
1009326354 |
| -- |
1012880338 |
| -- |
1014455198 |
| -- |
1020029877 |
| -- |
1027332502 |
| -- |
1035702168 |
| -- |
1036766577 |
| -- |
1038479438 |
| -- |
1039685030 |
| -- |
1044145233 |
| -- |
1044150657 |
| -- |
1056365267 |
| -- |
1069532262 |
| -- |
1081254563 |
| -- |
1087408034 |
| -- |
1097346844 |
| -- |
1110341580 |
| -- |
1110740978 |
| -- |
1110974339 |
| -- |
1112576037 |
| -- |
1119438856 |
| -- |
1125460042 |
| -- |
1136192337 |
| -- |
1162744636 |
| -- |
1171137365 |
| -- |
1171261256 |
| -- |
1238275307 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540711568 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540711562 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3540711554 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540711551 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
6610935785 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9786610935789 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-540-71156-8 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000042405751 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000042693249 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000042808896 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000065269506 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DEBSZ |
| System control number |
449582337 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
12055191 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000075340916 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058871519 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)185026997 |
| Canceled/invalid control number |
(OCoLC)154166361 |
| -- |
(OCoLC)176934013 |
| -- |
(OCoLC)180752356 |
| -- |
(OCoLC)239707261 |
| -- |
(OCoLC)401472789 |
| -- |
(OCoLC)648308907 |
| -- |
(OCoLC)690014087 |
| -- |
(OCoLC)767238991 |
| -- |
(OCoLC)880102369 |
| -- |
(OCoLC)960398928 |
| -- |
(OCoLC)964889668 |
| -- |
(OCoLC)993761962 |
| -- |
(OCoLC)1005745777 |
| -- |
(OCoLC)1006403158 |
| -- |
(OCoLC)1009326354 |
| -- |
(OCoLC)1012880338 |
| -- |
(OCoLC)1014455198 |
| -- |
(OCoLC)1020029877 |
| -- |
(OCoLC)1027332502 |
| -- |
(OCoLC)1035702168 |
| -- |
(OCoLC)1036766577 |
| -- |
(OCoLC)1038479438 |
| -- |
(OCoLC)1039685030 |
| -- |
(OCoLC)1044145233 |
| -- |
(OCoLC)1044150657 |
| -- |
(OCoLC)1056365267 |
| -- |
(OCoLC)1069532262 |
| -- |
(OCoLC)1081254563 |
| -- |
(OCoLC)1087408034 |
| -- |
(OCoLC)1097346844 |
| -- |
(OCoLC)1110341580 |
| -- |
(OCoLC)1110740978 |
| -- |
(OCoLC)1110974339 |
| -- |
(OCoLC)1112576037 |
| -- |
(OCoLC)1119438856 |
| -- |
(OCoLC)1125460042 |
| -- |
(OCoLC)1136192337 |
| -- |
(OCoLC)1162744636 |
| -- |
(OCoLC)1171137365 |
| -- |
(OCoLC)1171261256 |
| -- |
(OCoLC)1238275307 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-540-71155-1 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.D47 |
| Item number |
R46 2007eb |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
051390 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
051440 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM |
| Subject category code subdivision |
051230 |
| Source |
bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
22 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 245 00 - TITLE STATEMENT |
|---|
| Title |
Reliable systems on unreliable networked platforms : |
| Remainder of title |
12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers / |
| Statement of responsibility, etc. |
Fabrice Kordon, Janos Sztipanovits (eds.). |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2007. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiv, 316 pages) : |
| Other physical details |
illustrations |
| 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| Encoding format |
PDF |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science ; |
| Volume/sequential designation |
4322 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Cover -- Table of Contents -- Reinventing Computing for Real Time -- Applying Service-Oriented Development to Complex Systems: BART Case Study -- Towards Dynamic Partitioning of Reactive System Behavior: A Train Controller Case Study -- The GridLite DREAM: Bringing the Grid to Your Pocket -- DARX -- A Self-healing Framework for Agents -- Nautical Predictive Routing Protocol (NPRP) for the Dynamic Ad-Hoc Nautical Network (DANN) -- A Factory to Design and Build Tailorable and Verifiable Middleware -- A Concurrency Abstraction for Reliable Sensor Network Applications -- Outdoor Distributed Computing with Split Smart Messages -- Towards a Real-Time Coordination Model for Mobile Computing -- Dynamic System Reconfiguration Via Service Composition for Dependable Computing -- A Component-Based Approach for Constructing High-Confidence Distributed Real-Time and Embedded Systems -- Providing Dependable Services with Unreliable SoCs-The DECOS Approach -- Modeling and Verification of Cooperative Self-adaptive Mechatronic Systems -- Architectural Design, Behavior Modeling and Run-Time Verification of Network Embedded Systems -- Approaches for Inheritance in the TMO Programming Scheme -- Author Index -- Last Page. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable networked platforms, held in Laguna Beach, CA, USA, in September 2005. The 6 revised full papers presented together with 10 papers contributed by the invited speakers were carefully selected during two rounds of reviewing and improvement from numerous submissions. Major issues covered by the workshop contributions are model-based software development of network-centric system-of-systems, foundations of future design and programming abstractions, active fault management in network-centric systems, intelligent and robust middleware, as well as model-based development of certifiable systems. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Development |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14853 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software architecture |
| General subdivision |
Development |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
23324 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Reliability |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15078 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Architecture logicielle |
| General subdivision |
Développement |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
967018 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systèmes informatiques |
| General subdivision |
Fiabilité |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
19605 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS |
| General subdivision |
Programming |
| -- |
Open Source. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
4346 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS |
| General subdivision |
Software Development & Engineering |
| -- |
Tools. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
4348 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
COMPUTERS |
| General subdivision |
Software Development & Engineering |
| -- |
General. |
| Source of heading or term |
bisacsh |
| 9 (RLIN) |
4347 |
| 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 |
Computer software |
| General subdivision |
Development |
| Source of heading or term |
fast |
| 9 (RLIN) |
2949 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer systems |
| General subdivision |
Reliability |
| Source of heading or term |
fast |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programmeren |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programming |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
systeemanalyse |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
systems analysis |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computernetwerken |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer networks |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programmeertalen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
programming languages |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
software engineering |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Information and Communication Technology (General) |
| 653 10 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Informatie- en communicatietechnologie (algemeen) |
| 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 |
Kordon, Fabrice. |
| 9 (RLIN) |
22133 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Sztipanovits, Janos. |
| 9 (RLIN) |
23326 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Reliable systems on unreliable networked platforms (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCGYYpJmF7gqQXdckxmcwYP |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer e-books |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Title |
Reliable systems on unreliable networked platforms. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer, ©2007 |
| International Standard Book Number |
9783540711551 |
| -- |
3540711554 |
| Record control number |
(DLC) 2007921535 |
| -- |
(OCoLC)85843026 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
4322. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-540-71156-8">https://link.springer.com/10.1007/978-3-540-71156-8</a> |
| 938 ## - |
|---|
| -- |
Baker and Taylor |
| -- |
BTCP |
| -- |
BK0007506486 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6281411 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3037355 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10187002 |
| 938 ## - |
|---|
| -- |
EBSCOhost |
| -- |
EBSC |
| -- |
206121 |
| 938 ## - |
|---|
| -- |
ProQuest MyiLibrary Digital eBook Collection |
| -- |
IDEB |
| -- |
93578 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
2722398 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |