Computer safety, reliability, and security : (Record no. 645449)

MARC details
000 -LEADER
fixed length control field 06254cam a2201021 i 4500
001 - CONTROL NUMBER
control field on1003191814
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250707090905.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 170908s2017 sz a o 101 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency GW5XE
Modifying agency OCLCF
-- YDX
-- AZU
-- UPM
-- MERER
-- UAB
-- IOG
-- COO
-- OCLCO
-- OCLCQ
-- OCLCA
-- U3W
-- CAUOI
-- OCLCQ
-- KSU
-- CRU
-- OCLCQ
-- VT2
-- UCW
-- OCLCQ
-- EBLCP
-- ESU
-- WYU
-- UWO
-- TFW
-- OCLCQ
-- UKMGB
-- OCLCQ
-- OCLCO
-- OCLCA
-- OCLCQ
-- OCLCO
-- COM
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBB8N8372
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 019168799
Source Uk
019 ## -
-- 1005456347
-- 1008873145
-- 1011966537
-- 1048184276
-- 1049848753
-- 1066655971
-- 1081283090
-- 1086449887
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319662848
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3319662848
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783319662831
Qualifying information (print)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 331966283X
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-66284-8
Source of number or code doi
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000060949679
029 1# - (OCLC)
OCLC library identifier UKMGB
System control number 019168799
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:999910040005765
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1003191814
Canceled/invalid control number (OCoLC)1005456347
-- (OCoLC)1008873145
-- (OCoLC)1011966537
-- (OCoLC)1048184276
-- (OCoLC)1049848753
-- (OCoLC)1066655971
-- (OCoLC)1081283090
-- (OCoLC)1086449887
037 ## - SOURCE OF ACQUISITION
Stock number com.springer.onix.9783319662848
Source of stock number/acquisition Springer Nature
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.A25
072 #7 - SUBJECT CATEGORY CODE
Subject category code UM
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UYF
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM036000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.8
Edition number 23
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
245 00 - TITLE STATEMENT
Title Computer safety, reliability, and security :
Remainder of title SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings /
Statement of responsibility, etc. Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.).
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham, Switzerland :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2017.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (xiv, 478 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 0302-9743 ;
Volume/sequential designation 10489
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 2, Programming and software engineering
500 ## - GENERAL NOTE
General note Includes author index.
588 0# - SOURCE OF DESCRIPTION NOTE
Source of description note Online resource; title from PDF title page (SpringerLink, viewed September 8, 2017).
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Assurance cases for Software-Intensive Systems.- Dependable embedded and cyber-physical systems and systems-of-systems -- Next generation of system assurance approaches for safety-critical systems -- Timing performance in safety engineering -- Technical and legal aspects of data privacy and security.
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2017, the 36th International Conference on Computer Safety, Reliability, and Security, held in Trento, Italy, in September 2017. The 38 revised full papers presented together with 5 introductory papers to each workshop, and three invited papers, were carefully reviewed and selected from 49 submissions. This year's workshops are: ASSURE 2017 - Assurance Cases for Software-Intensive Systems; DECSoS 2017 - ERCIM/EWICS/ARTEMIS Dependable Embedded and Cyber-Physical Systems and Systems-of-Systems; SASSUR 2017 - Next Generation of System Assurance Approaches for Safety-Critical Systems; TIPS 2017 - Timing Performance in Safety Engineering; TELERISE 2017 Technical and legal Aspects of Data Privacy and Security.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer security
Form subdivision Congresses.
9 (RLIN) 14968
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer networks
General subdivision Security measures
Form subdivision Congresses.
9 (RLIN) 15567
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Sécurité informatique
Form subdivision Congrès.
9 (RLIN) 17411
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Réseaux d'ordinateurs
General subdivision Sécurité
-- Mesures
Form subdivision Congrès.
9 (RLIN) 16513
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Programming & scripting languages: general.
Source of heading or term bicssc
9 (RLIN) 53441
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software Engineering.
Source of heading or term bicssc
9 (RLIN) 14736
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer security.
Source of heading or term bicssc
9 (RLIN) 2191
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Information technology: general issues.
Source of heading or term bicssc
9 (RLIN) 53629
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer networking & communications.
Source of heading or term bicssc
9 (RLIN) 53942
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer programming
General subdivision software development.
Source of heading or term bicssc
9 (RLIN) 53440
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Programming Languages
-- General.
Source of heading or term bisacsh
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 Computers
General subdivision Security
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Data Processing.
Source of heading or term bisacsh
9 (RLIN) 17991
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Hardware
-- General.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Programming
-- General.
Source of heading or term bisacsh
9 (RLIN) 53444
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer networks
General subdivision Security measures
Source of heading or term fast
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer security
Source of heading or term fast
9 (RLIN) 2191
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 Tonetta, Stefano,
Relator term editor.
9 (RLIN) 61665
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Schoitsch, Erwin,
Relator term editor.
9 (RLIN) 39262
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Bitsch, Friedemann,
Relator term editor.
9 (RLIN) 49843
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element SAFECOMP (Conference)
Number of part/section/meeting (36th :
Date of meeting 2017 :
Location of meeting Trento, Italy)
9 (RLIN) 61666
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element International Workshop on Assurance Cases for Software-Intensive Systems
Number of part/section/meeting (4th :
Date of meeting 2017 :
Location of meeting Trento, Italy),
Relator term jointly held conference.
9 (RLIN) 967882
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element DECSoS (Workshop)
Date of meeting (2017 :
Location of meeting Trento, Italy)
Relator term jointly held conference.
9 (RLIN) 967883
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element SASSUR (Workshop)
Number of part/section/meeting (6th :
Date of meeting 2017 :
Location of meeting Trento, Italy),
Relator term jointly held conference.
9 (RLIN) 967884
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element TELERISE (Workshop)
Number of part/section/meeting (3rd :
Date of meeting 2017 :
Location of meeting Trento, Italy),
Relator term jointly held conference.
9 (RLIN) 967885
711 2# - ADDED ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element TIPS (Workshop)
Number of part/section/meeting (2nd :
Date of meeting 2017 :
Location of meeting Trento, Italy),
Relator term jointly held conference.
9 (RLIN) 967886
758 ## -
-- has work:
-- Computer safety, reliability, and security (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGrqWCFXV6X6DvhdgjQwYd
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Printed edition:
International Standard Book Number 9783319662831
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 10489.
International Standard Serial Number 0302-9743
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-319-66284-8">https://link.springer.com/10.1007/978-3-319-66284-8</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL6298412
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL5578604
938 ## -
-- YBP Library Services
-- YANK
-- 14869881
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Current library Date acquired Total Checkouts Date last seen Price effective from Koha item type
  Not Lost     eBook LNCS e-Library e-Library 29/07/2022   29/07/2022 29/07/2022 eBook

Powered by Koha