LEADER 01915nas  2200649-  450 
001 996218290803316
005 20230627152459.0
011   $a1365-2052
035   $a(OCoLC)45077738
035   $a(CKB)954925501157
035   $a(CONSER)---00242186-
035   $a(EXLCZ)99954925501157
100   $a20000926a19869999  ---         -
101 0 $aeng
135   $aurun|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAnimal genetics
210  1$aOxford :$cWiley Blackwell
210  1$a[Oxford, England] :$cBlackwell Science
300   $aRefereed/Peer-reviewed
311   $a0268-9146 
531   $aANIM GENET
531   $aAG
531   $aANIM. GENET
606   $aLivestock$xGenetics$vPeriodicals
606   $aDomestic animals$xGenetics$vPeriodicals
606   $aBétail$xGénétique$vPériodiques
606   $aAnimaux domestiques$xGénétique$vPériodiques
606   $aAnimal Genetics$2ebps
606   $aDomestic animals$xGenetics$2fast$3(OCoLC)fst00896557
606   $aLivestock$xGenetics$2fast$3(OCoLC)fst01000779
606   $aMolekulargenetik$2gnd
606   $aZeitschrift$2gnd
606   $aOnline-Ressource$2gnd
606   $aGenetik$2gnd
606   $aTiere$2gnd
608   $aPeriodicals.$2fast
615  0$aLivestock$xGenetics
615  0$aDomestic animals$xGenetics
615  6$aBétail$xGénétique
615  6$aAnimaux domestiques$xGénétique
615  7$aAnimal Genetics.
615  7$aDomestic animals$xGenetics.
615  7$aLivestock$xGenetics.
615  7$aMolekulargenetik
615  7$aZeitschrift
615  7$aOnline-Ressource
615  7$aGenetik
615  7$aTiere
676   $a572.8
712 02$aInternational Society for Animal Genetics.
906   $aJOURNAL
912   $a996218290803316
996   $aAnimal genetics$9801443
997   $aUNISA

LEADER 03537nam  22007575  450 
001 9910349411003321
005 20251225203522.0
010   $a9783319991306
010   $a3319991302
024 7 $a10.1007/978-3-319-99130-6
035   $a(CKB)4100000006098186
035   $a(DE-He213)978-3-319-99130-6
035   $a(MiAaPQ)EBC6303293
035   $a(PPN)230538258
035   $a(EXLCZ)994100000006098186
100   $a20180816d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Safety, Reliability, and Security $e37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings /$fedited by Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XXI, 312 p. 92 illus.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11093
311 08$a9783319991290 
311 08$a3319991299 
327   $aAutomotive Safety Standards and Cross-domain Reuse Potential -- Autonomous Driving and Safety Analysis -- Verification -- Multi-concern Assurance -- Fault Tolerance -- Safety and Security Risk.
330   $aThis book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v11093
606   $aComputer science
606   $aComputers, Special purpose
606   $aComputer networks
606   $aSoftware engineering
606   $aData protection
606   $aMicroprogramming
606   $aComputer Science Logic and Foundations of Programming
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Communication Networks
606   $aSoftware Engineering
606   $aData and Information Security
606   $aControl Structures and Microprogramming
615  0$aComputer science.
615  0$aComputers, Special purpose.
615  0$aComputer networks.
615  0$aSoftware engineering.
615  0$aData protection.
615  0$aMicroprogramming.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Communication Networks.
615 24$aSoftware Engineering.
615 24$aData and Information Security.
615 24$aControl Structures and Microprogramming.
676   $a005.8
702   $aGallina$b Barbara$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSkavhaug$b Amund$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBitsch$b Friedemann$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349411003321
996   $aComputer Safety, Reliability, and Security$92908259
997   $aUNINA