01008nam0-22003251i-450-9900068467104033212000101088-348-5288-5000684671FED01000684671(Aleph)000684671FED0100068467120001010d--------km-y0itay50------baitay-------001yySovranità e giustizia nella restaurazione pontificiala riforma dell'amministrazione ..GabriellaSantoncini.TorinoGiappichelli1996.VI, 206 p.23 cm<<Le >>idee e le istituzioniGiustizia penale - Riforma - Stato della Chiesa - 1816345.45605Santoncini,Gabriella153876ITUNINARICAUNIMARCBK990006846710403321XIV A 61729275FSPBCFSPBCSovranità e giustizia nella restaurazione pontificia626649UNINAGEN0103296nam 22007815 450 991048298930332120251225210939.03-319-65948-010.1007/978-3-319-65948-0(CKB)3710000001631268(DE-He213)978-3-319-65948-0(MiAaPQ)EBC6283343(MiAaPQ)EBC5591269(Au-PeEL)EBL5591269(OCoLC)1001806823(PPN)203850262(EXLCZ)99371000000163126820170810d2017 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierSoftware Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /edited by Alexander Romanovsky, Elena A. Troubitsyna1st ed. 2017.Cham :Springer International Publishing :Imprint: Springer,2017.1 online resource (XIV, 201 p. 56 illus.)Programming and Software Engineering,2945-9168 ;104793-319-65947-2 Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software.This 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.Programming and Software Engineering,2945-9168 ;10479Software engineeringComputer scienceCompilers (Computer programs)Electronic digital computersEvaluationComputersProfessionsArtificial intelligenceSoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersSystem Performance and EvaluationThe Computing ProfessionArtificial IntelligenceSoftware engineering.Computer science.Compilers (Computer programs).Electronic digital computersEvaluation.Computers.Professions.Artificial intelligence.Software Engineering.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.System Performance and Evaluation.The Computing Profession.Artificial Intelligence.005.1Romanovsky Alexanderedthttp://id.loc.gov/vocabulary/relators/edtTroubitsyna Elena Aedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910482989303321Software Engineering for Resilient Systems2532658UNINA