MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06197cam a2200925 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn801063558 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703161716.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 cnu---unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
120720s2012 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 |
C$Q |
| -- |
COO |
| -- |
ZMC |
| -- |
OCLCQ |
| -- |
E7B |
| -- |
OCLCQ |
| -- |
MEAUC |
| -- |
HUA |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
NLGGC |
| -- |
OCLCO |
| -- |
YDXCP |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
REB |
| -- |
CEF |
| -- |
U3W |
| -- |
AU@ |
| -- |
OCLCO |
| -- |
WYU |
| -- |
MERER |
| -- |
OCLCO |
| -- |
OCLCA |
| -- |
YOU |
| -- |
TKN |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
WURST |
| -- |
LUN |
| -- |
AJS |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
UKAHL |
| -- |
OCLCO |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
OCLCL |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
808351370 |
| -- |
1066584586 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642323553 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642323553 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642323545 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642323546 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642323546 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-32355-3 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000050022232 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000051582125 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000058159641 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060029761 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000060389994 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
345390709 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
14675336 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999916605205765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)801063558 |
| Canceled/invalid control number |
(OCoLC)808351370 |
| -- |
(OCoLC)1066584586 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
R858.A2 |
| Item number |
F45 2012 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UY |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM014000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
610.285 |
| Edition number |
23 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
44.32 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
FHIES 2011 |
| Date of meeting |
(2011 : |
| Location of meeting |
Johannesburg, South Africa) |
| 9 (RLIN) |
45884 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Foundations of health informatics engineering and systems : |
| Remainder of title |
first International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised selected papers / |
| Statement of responsibility, etc. |
Zhiming Liu, Alan Wassyng (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
FHIES 2011 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
©2012. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 224 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, |
| International Standard Serial Number |
1611-3349 ; |
| Volume/sequential designation |
7151 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 505 00 - FORMATTED CONTENTS NOTE |
|---|
| Title |
Medical Protocol Diagnosis Using Formal Methods / |
| Statement of responsibility |
Dominique Méry and Neeraj Kumar Singh -- |
| Title |
Form Follows Function: Model-Driven Engineering for Clinical Trials / |
| Statement of responsibility |
Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton and Steve Harris, et al. -- |
| Title |
Declarative Modelling and Safe Distribution of Healthcare Workflows / |
| Statement of responsibility |
Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats -- |
| Title |
Towards a Formal Integrated Model of Collaborative Healthcare Workflows / |
| Statement of responsibility |
Cristiano Bertolini, Martin Schäf and Volker Stolz -- |
| Title |
NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery / |
| Statement of responsibility |
Wendy MacCaull and Fazle Rabbi -- |
| Title |
Experiences with a Compositional Model Checker in the Healthcare Domain / |
| Statement of responsibility |
Jozef Hooman, Robert Huis in 't Veld and Mathijs Schuts -- |
| Title |
Model Checking Workflow Monitors and Its Application to a Pain Management Process / |
| Statement of responsibility |
Fazle Rabbi, Ahmed Shah Mashiyat and Wendy MacCaull -- |
| Title |
Position Paper: Researching and Developing Open Architectures for National Health Information Systems in Developing African Countries / |
| Statement of responsibility |
Deshendran Moodley, Anban W. Pillay and Christopher J. Seebregts -- |
| Title |
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata / |
| Statement of responsibility |
Dominique Méry and Neeraj Kumar Singh -- |
| Title |
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump / |
| Statement of responsibility |
Hao Xu and Tom Maibaum -- |
| Title |
On the Safety of Electronic Medical Records / |
| Statement of responsibility |
Jens H. Weber-Jahnke and Fieran Mason-Blakley -- |
| Title |
Challenges in eHealth: From Enabling to Enforcing Privacy / |
| Statement of responsibility |
Naipeng Dong, Hugo Jonker and Jun Pang -- |
| Title |
A Technique for Strengthening Weak Passwords in Electronic Medical Record Systems / |
| Statement of responsibility |
Samuel Tusubira Kalyango and Gilbert Maiga. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed August 13, 2012). |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the thoroughly refereed proceedings of the First International Symposium on Foundations of Health Informatics Engineering and Systems, FHIES 2011, held in Johannesburg, South Africa, in August 2011. The 14 revised full papers presented in this volume were carefully reviewed and selected from 23 submissions. The papers are grouped in topical sections on protocols for diagnosis and clinical trials; modeling workflows; model checking workflows and control systems; interoperability; formal modeling of organs and devices; and safety, security, and privacy of medical records. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Medical informatics |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18699 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatics |
| 9 (RLIN) |
15960 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Information Science |
| 9 (RLIN) |
13643 |
| 650 #2 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Medical Informatics |
| 9 (RLIN) |
15956 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Médecine |
| General subdivision |
Informatique |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
27242 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Médecine |
| General subdivision |
Informatique. |
| 9 (RLIN) |
322553 |
| 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 |
Medical informatics |
| Source of heading or term |
fast |
| 9 (RLIN) |
15956 |
| 653 #4 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
Computer science. |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computerwetenschappen |
| 653 00 - INDEX TERM--UNCONTROLLED |
|---|
| Uncontrolled term |
computer sciences |
| 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 |
Liu, Zhiming, |
| Dates associated with a name |
1961- |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJtmq4TH9DjvDGCygTtYfq |
| 9 (RLIN) |
22649 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wassyng, Alan. |
| 9 (RLIN) |
45885 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783642323546 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
7151. |
| International Standard Serial Number |
1611-3349 |
| 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-32355-3">https://link.springer.com/10.1007/978-3-642-32355-3</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29112042 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3070130 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10651650 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
9459513 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |