LEADER 03015 am 2200757 n 450 001 9910324042203321 005 20190108 010 $a2-8028-0312-3 024 7 $a10.4000/books.pusl.10161 035 $a(CKB)4100000008283841 035 $a(FrMaCLE)OB-pusl-10161 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/45034 035 $a(PPN)236709844 035 $a(EXLCZ)994100000008283841 100 $a20190528j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDialogues en sciences humaines /$fJean Florence, Alphonse De Waelhens, Gilles-Gaston Granger, Jacques Schotte, Henri Batiffol, Michel Mahieu, Joëlle Van Drooghenbroeck 210 $aBruxelles $cPresses de l?Université Saint-Louis$d2019 215 $a1 online resource (176 p.) 311 $a2-8028-0002-7 330 $aCe volume reproduit les actes du Colloque organisé aux Facultés universitaires Saint-Louis les 3 et 4 mai 1974 en hommage à Mgr Van Camp. Il veut apporter une contribution aux problèmes de la rencontre inter-disciplinaire en sciences humaines. Trois domaines sont abordés : - psychanalyse et création littéraire et plastique ; - épistémologie des sciences sociales ; - Réflexion philosophique sur l'égalité en droit et en morale. Littéraires, économistes, sociologues, juristes, psychanalystes et philosophes y trouveront matière à réflexion et à discussion. 606 $aPhilosophy 606 $aphénoménologie 606 $apsychologie 606 $astructuralisme linguistique 606 $aêtre 606 $alangage 610 $aphénoménologie 610 $aêtre 610 $astructuralisme linguistique 610 $alangage 610 $apsychologie 615 4$aPhilosophy 615 4$aphénoménologie 615 4$apsychologie 615 4$astructuralisme linguistique 615 4$aêtre 615 4$alangage 700 $aFlorence$b Jean$01281548 701 $aDe Waelhens$b Alphonse$01316317 701 $aGranger$b Gilles-Gaston$045159 701 $aSchotte$b Jacques$0155495 701 $aBatiffol$b Henri$0226329 701 $aMahieu$b Michel$01316318 701 $aVan Drooghenbroeck$b Joëlle$01316319 701 $aBatiffol$b Henri$0226329 701 $aDeclève$b Henri$0142223 701 $aDe Waelhens$b Alphonse$01316317 701 $aFlorence$b Jean$01281548 701 $aGranger$b Gilles-Gaston$045159 701 $aKies$b Albert$0701052 701 $aMahieu$b Michel$01316318 701 $aSchotte$b Jacques$0155495 701 $aTulkens$b François$01308515 701 $aVan Bunnen$b M$01316320 701 $aVan de Kerchove$b Michel$01292048 701 $aVan Drooghenbroeck$b Joëlle$01316319 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910324042203321 996 $aDialogues en sciences humaines$93032639 997 $aUNINA LEADER 03705nam 22007455 450 001 9910337563003321 005 20250703111746.0 010 $a3-030-17601-0 024 7 $a10.1007/978-3-030-17601-3 035 $a(CKB)4100000007992478 035 $a(DE-He213)978-3-030-17601-3 035 $a(MiAaPQ)EBC5924433 035 $a(PPN)235668559 035 $a(EXLCZ)994100000007992478 100 $a20190413d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEngineering Trustworthy Software Systems $e4th International School, SETSS 2018, Chongqing, China, April 7?12, 2018, Tutorial Lectures /$fedited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XVII, 237 p. 556 illus., 84 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v11430 311 08$a3-030-17600-2 327 $aAn Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. . 330 $aThis volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China. The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v11430 606 $aSoftware engineering 606 $aComputer networks 606 $aAlgorithms 606 $aComputer science 606 $aMachine theory 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aAlgorithms. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aAlgorithms. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 676 $a005.1 676 $a005.1 702 $aBowen$b Jonathan P$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhang$b Zili$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910337563003321 996 $aEngineering Trustworthy Software Systems$91889268 997 $aUNINA