LEADER 01208nas 2200397 c 450 001 996199308503316 005 20200527091859.0 011 $a1619-0270 035 $a(CKB)110978984249802 035 $a(OCoLC)163156527 035 $a(OCoLC)645615579 035 $a(DE-101)025797514 035 $a(DE-599)ZDB2140652-2 035 $a(EXLCZ)99110978984249802 100 $a20040323a19959999 |y | 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aBerliner Dialog$eInformationen und Standpunkte zur religio?sen Begegnung ; Neureligionen, Psycho-Organisationen, Jugendreligionen, Gurubewegungen, Sekten, Kulte, "New Religious Movements" 210 31$aBerlin$cDialog-Zentrum$d1995- 215 $aOnline-Ressource 311 $a0948-0390 517 $aBERLINER DIALOG INFORMATIONEN UND STANDPUNKTE ZUR RELIGIOESEN BEGEGNUNG 608 $aZeitschrift$2gnd-content 676 $a230 676 $a200 686 $a0$a1$2ssgn 801 0$b0001 801 1$bDE-101 801 2$b4022 906 $aJOURNAL 912 $a996199308503316 996 $aBerliner Dialog$92191882 997 $aUNISA LEADER 03296nam 22007815 450 001 9910482989303321 005 20251225210939.0 010 $a3-319-65948-0 024 7 $a10.1007/978-3-319-65948-0 035 $a(CKB)3710000001631268 035 $a(DE-He213)978-3-319-65948-0 035 $a(MiAaPQ)EBC6283343 035 $a(MiAaPQ)EBC5591269 035 $a(Au-PeEL)EBL5591269 035 $a(OCoLC)1001806823 035 $a(PPN)203850262 035 $a(EXLCZ)993710000001631268 100 $a20170810d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSoftware Engineering for Resilient Systems $e9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4?5, 2017, Proceedings /$fedited by Alexander Romanovsky, Elena A. Troubitsyna 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XIV, 201 p. 56 illus.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v10479 311 08$a3-319-65947-2 327 $aModeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software. 330 $aThis book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.  The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v10479 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aElectronic digital computers$xEvaluation 606 $aComputers 606 $aProfessions 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aSystem Performance and Evaluation 606 $aThe Computing Profession 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputers. 615 0$aProfessions. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aSystem Performance and Evaluation. 615 24$aThe Computing Profession. 615 24$aArtificial Intelligence. 676 $a005.1 702 $aRomanovsky$b Alexander$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTroubitsyna$b Elena A$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910482989303321 996 $aSoftware Engineering for Resilient Systems$92532658 997 $aUNINA