01071nam 2200253la 450 991048206190332120221108085724.0(UK-CbPIL)2090306346(CKB)5500000000088553(EXLCZ)99550000000008855320210618d1636 uy |duturcn||||a|bb|Vrye zeevaert, ofte bewys van het recht dat de inghesetenen deser gheunieerde Nederlanden toekomt, over de Oost ende West-Indische koophandel Hugo de Groot[electronic resource]Haarlem Adriaen Roman, 1611-16491636Online resource (VIII, 44 p, 21 cm)Reproduction of original in Koninklijke Bibliotheek, Nationale bibliotheek van Nederland.Grotius Hugo1583-1645.153312Uk-CbPILUk-CbPILBOOK9910482061903321Vrye zeevaert, ofte bewys van het recht dat de inghesetenen deser gheunieerde Nederlanden toekomt, over de Oost ende West-Indische koophandel Hugo de Groot1998277UNINA01525nam a2200313Mi 450099100088429970753620080618020903.0101011s2007 it a bc 000 0 ita db13926810-39ule_instDip.to Beni Arti e StoriaitaBellosi, Luciano.153057Giotto e la sua eredità :Filippo Rusuti, Pietro Cavallini, Duccio, Giovanni da Rimini, Neri da Rimini, Pietro da Rimini, Simone Martini, Pietro Lorenzetti, Ambrogio Lorenzetti, Matteo Giovannetti, Masso di Banco, Puccio Capanna, Taddeo Gaddi, Giovanni da Milano, Giottino, Giusto de'Menabuoi, Altichiero, Jacopo Avanzi, Jean Pucelle, i fratelli Limbourg /Luciano Bellosi ; catalogo di Giovanna Ragionieri.Firenze :Il Sole 24 ORE :E-ducation.it,2007.383 p. :col. ill. ;29 cm.Grandi maestri dell'arte.Con una bibliografia (p. 381-383)Giotto,1266?-1337InflussiGiotto,1266?-1337CataloghiArte MedievaleCataloghiPittoriItaliaBiografiaRagionieri, Giovanna.Giotto,1266?-1337.Grandi maestri dell'arte.b1392681002-04-1411-10-10991000884299707536LE019 A16 AR M 312019000063555le019pE16.90-l- 02020.i1518194711-10-10Giotto e la sua eredità249120UNISALENTOle01911-10-10ma -itait 0003129 am 2200685 n 450 9910568196203321202109082-84016-459-010.4000/books.pupo.15285(CKB)4100000012875571(FrMaCLE)OB-pupo-15285(oapen)https://directory.doabooks.org/handle/20.500.12854/86584(PPN)263271897(EXLCZ)99410000001287557120220520j|||||||| ||| 0freuu||||||m||||txtrdacontentcrdamediacrrdacarrierMorale et cognition À l’épreuve du terrain /Isabelle Rivoal, Monica HeintzNanterre Presses universitaires de Paris Nanterre20211 online resource (270 p.) Humanités – Hominités2-84016-291-1 Depuis le XVIIIe siècle, on pense que les humains sont dotés d’un sens moral ou d’un sentiment instinctif de ce qui est bien ou mal. Avec cette conception, les valeurs morales ne relèvent plus de la seule métaphysique, mais sont intrinsèquement liées à l’action humaine. De quoi parlons-nous quand nous parlons de sens moral : d’un module sélectionné par l’évolution ou des dispositions qui organisent les relations entre humains ? Comment les humains évaluent-ils les situations ? Comment décident-ils de leurs actions et comment jugent-ils les actions d’autrui ? Pourquoi les actions immorales sont-elles parfois socialement vertueuses ? En réunissant des contributions d’anthropologues, de sociologues, de psychologues et de philosophes qui revisitent les débats ayant façonné l’étude du « sens moral » et les méthodologies empiriques dans une visée interdisciplinaire, ce volume pose les bases d’une anthropologie cognitive de la morale.Anthropologyinterdisciplinaritémoraleanthropologie cognitiveinterdisciplinaritémoraleanthropologie cognitiveAnthropologyinterdisciplinaritémoraleanthropologie cognitiveBaumard Nicolas1092264Carbonnel Laure1275549Clément Fabrice734604Conte (†) Rosaria312233Cova Florian1298731De Sales Anne1291294Giardini Francesca224060Heintz Monica1112957Kaufmann Laurence1237378Mariani Léo1321097Morin Olivier1109771Rivoal Isabelle1291310Sheskin Mark1321098Stoichiţă Victor A1321099Vidal Denis1302896Widlok Thomas1321100Rivoal Isabelle1291310Heintz Monica1112957FR-FrMaCLEBOOK9910568196203321Morale et cognition3034508UNINA04533nam 22007695 450 991033784950332120251225190447.03-030-20652-110.1007/978-3-030-20652-9(CKB)4100000008280567(DE-He213)978-3-030-20652-9(MiAaPQ)EBC5925905(PPN)236522159(EXLCZ)99410000000828056720190527d2019 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierNASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings /edited by Julia M. Badger, Kristin Yvonne Rozier1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (XXI, 392 p. 372 illus., 58 illus. in color.) Programming and Software Engineering,2945-9168 ;11460Includes Index.3-030-20651-3 Formal verification, including theorem proving, model checking, and static analysis -- Advances in automated theorem proving including SAT and SMT solving -- Use of formal methods in software and system testing -- Run-time verification -- Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, and parallel and/or distributed techniques -- Code generation from formally verified models -- Safety cases and system safety -- Formal approaches to fault tolerance -- Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems -- Formal methods in systems engineering and model-based development -- Correct-by-design controller synthesis -- Formal assurance methods to handle adaptive systems.This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineeringand model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.Programming and Software Engineering,2945-9168 ;11460Software engineeringCompilers (Computer programs)Computer scienceArtificial intelligenceComputer simulationComputer engineeringComputer networksSoftware EngineeringCompilers and InterpretersTheory of ComputationArtificial IntelligenceComputer ModellingComputer Engineering and NetworksSoftware engineering.Compilers (Computer programs).Computer science.Artificial intelligence.Computer simulation.Computer engineering.Computer networks.Software Engineering.Compilers and Interpreters.Theory of Computation.Artificial Intelligence.Computer Modelling.Computer Engineering and Networks.004.0151004.0151Badger Julia Medthttp://id.loc.gov/vocabulary/relators/edtRozier Kristin Yvonneedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910337849503321NASA Formal Methods2860155UNINA