LEADER 04205nam 22008175 450 001 996465300203316 005 20200704103214.0 010 $a3-642-04694-0 024 7 $a10.1007/978-3-642-04694-0 035 $a(CKB)1000000000784754 035 $a(SSID)ssj0000319895 035 $a(PQKBManifestationID)11243384 035 $a(PQKBTitleCode)TC0000319895 035 $a(PQKBWorkID)10343193 035 $a(PQKB)11379661 035 $a(DE-He213)978-3-642-04694-0 035 $a(MiAaPQ)EBC3064603 035 $a(PPN)139958908 035 $a(EXLCZ)991000000000784754 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aRuntime Verification$b[electronic resource] $e9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers /$fedited by Saddek Bensalem, Doron A. Peled 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (VII, 203 p.) 225 1 $aProgramming and Software Engineering ;$v5779 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-04693-2 320 $aIncludes bibliographical references and index. 327 $aRule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode ? Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking. 410 0$aProgramming and Software Engineering ;$v5779 606 $aSoftware engineering 606 $aComputers 606 $aComputer software?Reusability 606 $aProgramming languages (Electronic computers) 606 $aComputer system failures 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aPerformance and Reliability$3https://scigraph.springernature.com/ontologies/product-market-codes/I12077 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 608 $aGrenobble (2009)$2swd 608 $aGrenoble (2009)$2swd 608 $aKongress.$2swd 615 0$aSoftware engineering. 615 0$aComputers. 615 0$aComputer software?Reusability. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer system failures. 615 14$aSoftware Engineering. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aTheory of Computation. 615 24$aPerformance and Reliability. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSystem Performance and Evaluation. 676 $a005.1/17 686 $aDAT 263f$2stub 686 $aDAT 325f$2stub 686 $aSS 4800$2rvk 702 $aBensalem$b Saddek$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPeled$b Doron A$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aRV 2009 906 $aBOOK 912 $a996465300203316 996 $aRuntime Verification$9772115 997 $aUNISA LEADER 02883nam 2200397z- 450 001 9910569196503321 005 20220523 035 $a(CKB)5400000000050635 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81847 035 $a(oapen)doab81847 035 $a(EXLCZ)995400000000050635 100 $a20202205d2021 |y 0 101 0 $aspa 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAbordajes psicoanali?ticos a inquietudes sobre la subjetividad IV 210 $aSantiago de Cali, Colombia$cEditorial Bonaventuriana Universidad de San Buenaventura$d2021 215 $a1 online resource (458 p.) 225 1 $aSeñales$v1 311 08$a958-5415-82-8 330 $aDesde el momento en que salio? a la luz en el an?o 2012, Abordajes psicoanali?ticos a inquietudes sobre la subjetividad se propuso reunir cierta diversidad de temas e invitar a autores nacionales e internacionales, consolidando asi? un proyecto que ha de resultar atractivo no solo para el pu?blico acade?mico del a?mbito psicoanali?tico, sino tambie?n para todos aquellos quienes deseen acercarse, establecer un dia?logo o abordar ciertas problema?ticas de corte epistemolo?gico, cienti?fico y teo?rico en el campo del psicoana?lisis. En este nuevo volumen, el lector encontrara? tres secciones que los editores han denominado revisiones teo?ricos conceptuales; problemas contempora?neos de la pra?ctica cli?nica, y psicoana?lisis aplicado a la comprensio?n de los conflictos sociales. 330 $aFrom the moment it came out in 2012, Psychoanalytic Approaches to Concerns about Subjectivity set out to bring together a certain diversity of topics and invite national and international authors, thus consolidating a project that should be attractive not only to the academic public of the psychoanalytic field, but also to all those who wish to approach, establish a dialogue or address certain epistemological, scientific and theoretical issues in the field of psychoanalysis. In this new volume, the reader will find three sections that the editors have called conceptual theoretical reviews; contemporary problems of clinical practice; and psychoanalysis applied to the understanding of social conflicts. 606 $aHumanities$2bicssc 606 $aSociety & social sciences$2bicssc 610 $aPsychoanalytic approaches, subjectivity, clinical practice, psychoanalysis, society 615 7$aHumanities 615 7$aSociety & social sciences 700 $aMurcia Zorrilla$b María del Pilar$4auth$01297229 702 $aQuintero Torres$b Jhon Alexander$4auth 702 $aOrejuela$b Johnny$4auth 906 $aBOOK 912 $a9910569196503321 996 $aAbordajes psicoanalíticos a inquietudes sobre la subjetividad IV$93024450 997 $aUNINA