Software engineering for resilient systems : (Record no. 644258)

MARC details
000 -LEADER
fixed length control field 06786cam a2201141 i 4500
001 - CONTROL NUMBER
control field ocn919733885
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250703164140.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 150903s2015 sz a o 100 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency GW5XE
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency GW5XE
Modifying agency OCLCO
-- SNK
-- YDXCP
-- UPM
-- OCLCF
-- OCLCO
-- VT2
-- IAO
-- IAS
-- IAD
-- JBG
-- SOI
-- ILO
-- ICN
-- UAB
-- ESU
-- OCLCQ
-- IOG
-- OCLCO
-- NJR
-- U3W
-- OCLCQ
-- CEF
-- TFW
-- AU@
-- EBLCP
-- WYU
-- UKMGB
-- OCLCQ
-- DCT
-- ERF
-- OCLCQ
-- WURST
-- LQU
-- OCLCQ
-- UKAHL
-- COM
-- OCLCO
-- OCLCQ
-- OCLCO
-- OCLCL
-- OCLCQ
015 ## - NATIONAL BIBLIOGRAPHY NUMBER
National bibliography number GBB8O4251
Source bnb
016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER
Record control number 019184382
Source Uk
019 ## -
-- 919684605
-- 961895632
-- 963320126
-- 964837899
-- 972002616
-- 1005808501
-- 1012065918
-- 1022048515
-- 1027514409
-- 1048162902
-- 1058805713
-- 1066471955
-- 1081246193
-- 1086546659
-- 1110854856
-- 1112537506
-- 1137192919
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319231297
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3319231294
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9783319231280
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 3319231286
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-23129-7
Source of number or code doi
024 8# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-23
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000057666967
029 1# - (OCLC)
OCLC library identifier NLGGC
System control number 39564836X
029 1# - (OCLC)
OCLC library identifier UKMGB
System control number 019184382
029 1# - (OCLC)
OCLC library identifier DKDLA
System control number 820120-katalog:999899802605765
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)919733885
Canceled/invalid control number (OCoLC)919684605
-- (OCoLC)961895632
-- (OCoLC)963320126
-- (OCoLC)964837899
-- (OCoLC)972002616
-- (OCoLC)1005808501
-- (OCoLC)1012065918
-- (OCoLC)1022048515
-- (OCoLC)1027514409
-- (OCoLC)1048162902
-- (OCoLC)1058805713
-- (OCoLC)1066471955
-- (OCoLC)1081246193
-- (OCoLC)1086546659
-- (OCoLC)1110854856
-- (OCoLC)1112537506
-- (OCoLC)1137192919
037 ## - SOURCE OF ACQUISITION
Stock number com.springer.onix.9783319231297
Source of stock number/acquisition Springer Nature
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.758
072 #7 - SUBJECT CATEGORY CODE
Subject category code UMZ
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1
Edition number 23
049 ## - LOCAL HOLDINGS (OCLC)
Holding library MAIN
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element SERENE (Workshop)
Number of part/section/meeting (7th :
Date of meeting 2015 :
Location of meeting Paris, France)
9 (RLIN) 55034
245 10 - TITLE STATEMENT
Title Software engineering for resilient systems :
Remainder of title 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
Statement of responsibility, etc. Alessandro Fantechi, Patrizio Pelliccione (eds.).
246 3# - VARYING FORM OF TITLE
Title proper/short title SERENE 2015
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cham :
Name of producer, publisher, distributor, manufacturer Springer,
Date of production, publication, distribution, manufacture, or copyright notice 2015.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (ix, 145 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 9274
490 1# - SERIES STATEMENT
Series statement LNCS sublibrary. SL 2, Programming and software engineering
500 ## - GENERAL NOTE
General note International conference proceedings.
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 3, 2015).
520 ## - SUMMARY, ETC.
Summary, etc. This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol -- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System -- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain -- Tejo: a supervised anomaly detection scheme for NewSQL databases -- Resiliency Variance in Workows with Choice.
546 ## - LANGUAGE NOTE
Language note English.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering
Form subdivision Congresses.
9 (RLIN) 15264
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer software
General subdivision Reliability
Form subdivision Congresses.
9 (RLIN) 18123
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Génie logiciel
Form subdivision Congrès.
9 (RLIN) 18168
650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logiciels
General subdivision Fiabilité
Form subdivision Congrès.
9 (RLIN) 26740
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Network hardware.
Source of heading or term bicssc
9 (RLIN) 53462
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Information retrieval.
Source of heading or term bicssc
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 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 Information architecture.
Source of heading or term bicssc
9 (RLIN) 53442
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 Computers
General subdivision Hardware
-- Network Hardware.
Source of heading or term bisacsh
9 (RLIN) 53464
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computers
General subdivision Information Technology.
Source of heading or term bisacsh
9 (RLIN) 14211
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 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 Business & Economics
General subdivision Information Management.
Source of heading or term bisacsh
9 (RLIN) 18715
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 Computer software
General subdivision Reliability
Source of heading or term fast
9 (RLIN) 18125
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Software engineering
Source of heading or term fast
9 (RLIN) 14736
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computerwetenschappen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer sciences
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term informatiesystemen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term information systems
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term internet
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programmeertalen
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term programming languages
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computernetwerken
653 00 - INDEX TERM--UNCONTROLLED
Uncontrolled term computer networks
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 Fantechi, Alessandro,
Relator term editor.
9 (RLIN) 35511
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pelliccione, P.
Fuller form of name (Patrizio),
Relator term editor.
-- https://id.oclc.org/worldcat/entity/E39PBJhX6HW6RyDB4WyCDtxCcP
9 (RLIN) 55037
758 ## -
-- has work:
-- Software engineering for resilient systems (Text)
-- https://id.oclc.org/worldcat/entity/E39PCGBrBTDfXrdJjbTqmP4xrC
-- https://id.oclc.org/worldcat/ontology/hasWork
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading SERENE (Workshop) (7th : 2015 : Paris, France).
Title Software engineering for resilient systems.
Place, publisher, and date of publication Cham : Springer, 2015
International Standard Book Number 3319231286
-- 9783319231280
Record control number (OCoLC)913767547
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 9274.
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-23129-7">https://link.springer.com/10.1007/978-3-319-23129-7</a>
938 ## -
-- Askews and Holts Library Services
-- ASKH
-- AH31356764
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL6295029
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL5591086
938 ## -
-- YBP Library Services
-- YANK
-- 12593510
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