LEADER 01896oam 2200553 450 001 9910496137503321 005 20200904235514.0 010 $a0-585-28110-6 035 $a(CKB)111004366700906 035 $a(MH)001727209-2 035 $a(SSID)ssj0000160469 035 $a(PQKBManifestationID)12038004 035 $a(PQKBTitleCode)TC0000160469 035 $a(PQKBWorkID)10182347 035 $a(PQKB)11079838 035 $a(EXLCZ)99111004366700906 100 $a19881104d1989 uy 0 101 0 $aeng 135 $aurun#---auuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGaining ground $etailoring social programs to American values /$fCharles Lockhart 210 1$aBerkeley :$cUniversity of California Press,$d[1989] 215 $a1 online resource (xi, 213 pages) 311 0 $a0-520-06437-2 320 $aIncludes bibliographical references and index. 606 $aHuman services$zUnited States 606 $aSocial values 606 $aSociology & Social History$2HILCC 606 $aSocial Sciences$2HILCC 606 $aSocial Conditions$2HILCC 607 $aUnited States$xSocial policy$y1980-1993 608 $aElectronic books 615 0$aHuman services 615 0$aSocial values. 615 7$aSociology & Social History 615 7$aSocial Sciences 615 7$aSocial Conditions 676 $a361.6/1/0973 700 $aLockhart$b Charles$f1944-$0248480 801 0$bDLC 801 1$bDLC 801 2$bKSG 906 $aBOOK 912 $a9910496137503321 996 $aGaining ground$92858709 997 $aUNINA 999 $aThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress LEADER 02841oam 2200553 450 001 9910813894103321 005 20231130175609.0 010 $a9004422668 010 $a9789004422667 024 7 $a10.1163/9789004422667 035 $a(CKB)4100000010136688 035 $z(OCoLC)1129787401 035 $a(nllekb)BRILL9789004422667 035 $a(MiAaPQ)EBC6038805 035 $a(EXLCZ)994100000010136688 100 $a20200326d2020 uy 0 101 0 $aeng 135 $aurun####uuuua 181 $ctxt$2rdacontent 182 $cn$2rdamedia 183 $anc$2rdacarrier 200 10$aInquisition, conversion, and foreigners in Baroque Rome /$fIrene Fosi ; translated by Giuseppe Bruno-Chomin 210 1$aLeiden ;$aBoston :$cBrill,$d[2020] 210 4$dİ2020 215 $a1 online resource (vi, 260 pages) 225 1 $aCatholic christendom 1300-1700 311 0 $a900442265X 320 $aIncludes bibliographical references and index. 327 $aWinds of the north Rome, a patria comune? Not only pilgrims: reception and conversions Cristoforo Gaspare Fischer: a goldsmith, his inheritance and the Inquisition Johannes Faber, "one of Italy's seven sages" Guillaume Reboul: a troublesome convert Unsettling mobility: foreign heretics in Italy Between intransigence and tolerance Petitions, enclosures, burials 330 $a"In Rome, where strategies to re-establish Roman Catholic orthodoxy were formulated, the problem of how to deal with foreigners and particularly with 'heretics' coming from Northern Europe was an important priority throughout the early modern period. Converting foreigners had a special significance for the Papacy. This volume, which includes several case studies, explores the meaning of conversion and the changes of policy adopted by the church bodies set up to protect orthodoxy. It uses inquisitorial documents (from Archivio della Congregazione per la dottrina della Fede) and sources from other archives and libraries, both in Rome and elsewhere. The book includes an updated bibliography with a particular attention paid to anglophone historiography". 410 0$aCatholic Christendom, 1300-1700. 606 $aInquisition$zItaly$zRome 606 $aNoncitizens$zItaly$zRome$xHistory 606 $aReligious tolerance$zItaly$zRome$xHistory 606 $aCounter-Reformation$zItaly$zRome 615 0$aInquisition 615 0$aNoncitizens$xHistory. 615 0$aReligious tolerance$xHistory. 615 0$aCounter-Reformation 676 $a282.456309032 700 $aFosi$b Irene$f1951-$0164169 702 $aBruno-Chomin$b Giuseppe 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910813894103321 996 $aInquisition, conversion, and foreigners in Baroque Rome$94055154 997 $aUNINA LEADER 06095nam 22008775 450 001 9910299240303321 005 20200706094134.0 010 $a3-658-09994-1 024 7 $a10.1007/978-3-658-09994-7 035 $a(CKB)3710000000422113 035 $a(EBL)2094878 035 $a(SSID)ssj0001524899 035 $a(PQKBManifestationID)11859572 035 $a(PQKBTitleCode)TC0001524899 035 $a(PQKBWorkID)11484853 035 $a(PQKB)10109572 035 $a(DE-He213)978-3-658-09994-7 035 $a(MiAaPQ)EBC2094878 035 $a(PPN)186396317 035 $a(EXLCZ)993710000000422113 100 $a20150605d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling and Verification of Cyber-Physical Systems $e1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /$fedited by Rolf Drechsler, Ulrich Kühne 205 $a1st ed. 2015. 210 1$aWiesbaden :$cSpringer Fachmedien Wiesbaden :$cImprint: Springer Vieweg,$d2015. 215 $a1 online resource (324 p.) 300 $aDescription based upon print version of record. 311 $a3-658-09993-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aPreface -- Verification of Embedded Real-time Systems -- MARTE/CCSL for Modeling Cyber-Physical Systems -- An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -- Model Checking and Model-Based Testing in the Railway Domain -- Modeling Unknown Values in Test and Verification -- Specification of Parametric Monitors: Quantified Event Automata versus Rule Systems -- Advances in Design Automation Techniques for Digital-Microfluidic Biochips -- Intuitive Interaction with Robots: Technical Approaches and Challenges -- Physical Safety in Robotics. 330 $aThis book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students. The Contents -       Preface -       Verification of Embedded Real-time Systems -       MARTE/CCSL for Modeling Cyber-Physical Systems -       An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -       Model Checking and Model-Based Testing in the Railway Domain -       Modeling Unknown Values in Test and Verification -       Specification of Parametric Monitors ? Quantified Event Automata versus Rule Systems -       Advances in Design Automation Techniques for Digital-Microfluidic Biochips -       Intuitive Interaction with Robots ? Technical Approaches and Challenges -       Physical Safety in Robotics The Target Groups -       Students and PhD students of computer science -       Scientists and lecturers in computer science The Editors Rolf Drechsler is the head of the Group of Computer Architecture at the University of Bremen, Germany. Since 2011 he is also the director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI). His research interests include the development and design of data structures and algorithms with a focus on circuit and system design. Ulrich Kühne is working as research associate and scientific coordinator of the Graduate School System Design at the University of Bremen. His research interests are in hardware design and verification of hybrid systems. 606 $aComputer architecture 606 $aComputer hardware 606 $aComputer simulation 606 $aElectronic circuits 606 $aAutomatic control 606 $aRobotics 606 $aMechatronics 606 $aAerospace engineering 606 $aAstronautics 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aControl, Robotics, Mechatronics$3https://scigraph.springernature.com/ontologies/product-market-codes/T19000 606 $aAerospace Technology and Astronautics$3https://scigraph.springernature.com/ontologies/product-market-codes/T17050 615 0$aComputer architecture. 615 0$aComputer hardware. 615 0$aComputer simulation. 615 0$aElectronic circuits. 615 0$aAutomatic control. 615 0$aRobotics. 615 0$aMechatronics. 615 0$aAerospace engineering. 615 0$aAstronautics. 615 14$aComputer System Implementation. 615 24$aComputer Hardware. 615 24$aSimulation and Modeling. 615 24$aCircuits and Systems. 615 24$aControl, Robotics, Mechatronics. 615 24$aAerospace Technology and Astronautics. 676 $a003.3 676 $a004 676 $a621.3815 676 $a629.1 676 $a629.8 702 $aDrechsler$b Rolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKühne$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910299240303321 996 $aFormal Modeling and Verification of Cyber-Physical Systems$92516475 997 $aUNINA