LEADER 04164oam 22012614a 450 001 9910735084803321 005 20240430172133.0 010 $a0-253-06915-7 035 $a(CKB)27917453500041 035 $a(MdBmJHUP)musev2_113364 035 $a(EXLCZ)9927917453500041 100 $a20780522d1978 uy 0 101 0 $aeng 135 $aur|||||||nn|n 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHuman sexuality in physical and mental illnesses and disabilities /$fby Ami Sha?ked 210 1$aBloomington :$cIndiana University Press,$d1978. 210 4$d©1978. 215 $a1 online resource 300 $a"Media review, compiled and edited by Susanne M. Bruyer": pages 279-296. 311 $a0-253-10100-X 606 $aSeksualiteit$2gtt 606 $aGehandicapten$2gtt 606 $aSexualverhalten$2gnd 606 $aKörperbehinderung$2gnd 606 $aGeistige Behinderung$2gnd 606 $aBibliografie$2gnd 606 $aSex instruction for people with disabilities$2fast$3(OCoLC)fst01114535 606 $aPeople with disabilities$xSexual behavior$2fast$3(OCoLC)fst01057339 606 $aChronic diseases$2fast$3(OCoLC)fst00860072 606 $aMental illness$2fast$3(OCoLC)fst01016547 606 $aPeople with disabilities$2fast$3(OCoLC)fst01057245 606 $aSex (Biology)$2fast$3(OCoLC)fst01114219 606 $aSex instruction$2fast$3(OCoLC)fst01114491 606 $aE?ducation sexuelle 606 $aSexualite (Biologie) 606 $aMaladies mentales 606 $aPersonnes handicapees 606 $aCounseling 606 $aMaladies chroniques 606 $aE?ducation sexuelle des personnes handicapees$vBibliographie 606 $aPersonnes handicapees$xSexualite$vBibliographie 606 $aSex Education 606 $aSex 606 $aMental Disorders 606 $aPersons with Disabilities 606 $aCounseling 606 $aChronic Disease 606 $aSex instruction 606 $aSex (Biology) 606 $aMental illness 606 $aPeople with disabilities 606 $aChronic diseases 606 $aSex instruction for people with disabilities$vBibliography 606 $aPeople with disabilities$xSexual behavior$vBibliography 608 $aBibliographies. 608 $aResumes analytiques. 608 $aAbstracts. 608 $aBibliografie. 608 $aBibliographies. 608 $abibliographies. 608 $aBibliographie. 608 $aBibliography 608 $aAbstracts 608 $aAbstracts. 615 17$aSeksualiteit. 615 17$aGehandicapten. 615 7$aSexualverhalten. 615 7$aKörperbehinderung. 615 7$aGeistige Behinderung. 615 7$aBibliografie. 615 7$aSex instruction for people with disabilities. 615 7$aPeople with disabilities$xSexual behavior. 615 7$aChronic diseases. 615 7$aMental illness. 615 7$aPeople with disabilities. 615 7$aSex (Biology) 615 7$aSex instruction. 615 6$aE?ducation sexuelle. 615 6$aSexualite (Biologie) 615 6$aMaladies mentales. 615 6$aPersonnes handicapees. 615 6$aCounseling. 615 6$aMaladies chroniques. 615 6$aE?ducation sexuelle des personnes handicapees 615 6$aPersonnes handicapees$xSexualite 615 2$aSex Education. 615 2$aSex. 615 2$aMental Disorders. 615 2$aPersons with Disabilities. 615 2$aCounseling. 615 2$aChronic Disease. 615 0$aSex instruction. 615 0$aSex (Biology) 615 0$aMental illness. 615 0$aPeople with disabilities. 615 0$aChronic diseases. 615 0$aSex instruction for people with disabilities 615 0$aPeople with disabilities$xSexual behavior 700 $aSha?ked$b Ami$f1945-$01391377 801 0$bMdBmJHUP 801 1$bMdBmJHUP 906 $aBOOK 912 $a9910735084803321 996 $aHuman sexuality in physical and mental illnesses and disabilities$93445119 997 $aUNINA LEADER 02578nam0 2200541 i 450 001 RAV0163806 005 20251003044326.0 010 $a880813136X 100 $a20170627d1991 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aStrutture sotto sforzo$fJames E. Gordon 210 $aBologna$cZanichelli$d1991 215 $a213 p.$cill.$d24 cm 225 | $aNuovi classici della scienza$v13 300 $aTrad. di Niccolò Guicciardini. 410 0$1001CFI0046010$12001 $aNuovi classici della scienza$v13 500 10$aˆThe ‰science of structures and materials. -$3RAV0163824$9RAVV065916$914709 606 $aBiomeccanica$2FIR$3CFIC002703$9E 606 $aMATERIALI$xPROPRIETA MECCANICHE$2FIR$3MILC046766$9E 606 $aANALISI STRUTTURALE $2FIR$3MILC050483$9I 606 $aMateriali da costruzione$2FIR$3CFIC004865$9E 606 $aStrutture edilizie$2FIR$3CFIC021070$9E 606 $aStrutture$2FIR$3SBLC129207$9E 676 $a574.191$9BIOFISICA.$v21 676 $a620.1$9INGEGNERIA MECCANICA (MECCANICA APPLICATA) E MATERIALI DELL'INGEGNERIA$v12 676 $a620.1$9Ingegneria e attivita affini$v14 676 $a620.1$9INGEGNERIA DELLE MACCHINE. PROVE E MISURE$v20 676 $a620.1$9INGEGNERIA E ATTIVITA AFFINI- MECCANICA APPLICATA$v21 676 $a620.112$9VARIE SPECIFICHE PROPRIETA E VERIFICHE DEI MATERIALI DELL'INGEGNERIA$v19 696 $aMateriali edilizi$aMateriali strutturali 699 $aMateriali da costruzione$yMateriali edilizi 699 $aMateriali da costruzione$yMateriali strutturali 700 1$aGordon$b, James Edward$3RAVV065916$4070$0881 790 1$aGordon$b, J. E.$3PMIV011618$zGordon, James Edward 801 3$aIT$bIT-000000$c20170627 850 $aIT-BN0095 $aIT-SA0200 $aIT-NA0070 901 $bNAP BU$c17 B $nPropedeutica. Formato cm. 20,1-28. 901 $bNAP 63$cMOD $n$ 901 $bNAP 01$cPOZZO LIB.$nVi sono collocati fondi di economia, periodici di ingegneria e scienze, periodici di economia e statistica e altri fondi comprendenti documenti di economia pervenuti in dono. 912 $aRAV0163806 950 0$aBiblioteca Centralizzata di Ateneo$c1 v.$d 01POZZO LIB.ECON MON 9313$e 0101 0000113505E VMA 1 v. (precedente collocazione: GUERRAZZI B 1762)$fB $h20091229$i20091229 977 $a 01$a 63$a BU 996 $aScience of structures and materials$914709 997 $aUNISANNIO LEADER 04756nam 22007335 450 001 9910483843303321 005 20251226202226.0 010 $a3-540-85114-3 024 7 $a10.1007/978-3-540-85114-1 035 $a(CKB)1000000000490799 035 $a(SSID)ssj0000446631 035 $a(PQKBManifestationID)11285498 035 $a(PQKBTitleCode)TC0000446631 035 $a(PQKBWorkID)10497087 035 $a(PQKB)10000949 035 $a(DE-He213)978-3-540-85114-1 035 $a(MiAaPQ)EBC3063303 035 $a(MiAaPQ)EBC6283104 035 $a(PPN)12812590X 035 $a(EXLCZ)991000000000490799 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Checking Software $e15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /$fedited by Klaus Havelund, Rupak Majumdar, Jens Palsberg 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (X, 343 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5156 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-85113-5 320 $aIncludes bibliographical references and index. 327 $aInvited Contributions -- Residual Checking of Safety Properties -- The Case for Context-Bounded Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program Properties -- Using Dynamic Symbolic Execution to Improve Deductive Verification -- Regular Papers -- Automated Evaluation of Secure Route Discovery in MANET Protocols -- Model Checking Abstract Components within Concrete Software Environments -- Generating Compact MTBDD-Representations from Probmela Specifications -- Dynamic Delayed Duplicate Detection for External Memory Model Checking -- State Focusing: Lazy Abstraction for the Mu-Calculus -- Efficient Modeling of Concurrent Systems in BMC -- Tackling Large Verification Problems with the Swarm Tool -- Formal Verification of a Flash Memory Device Driver ? An Experience Report -- Layered Duplicate Detection in External-Memory Model Checking -- Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes -- Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems -- Resource-Aware Verification Using Randomized Exploration of Large State Spaces -- Incremental Hashing for Spin -- Verifying Compiler Based Refinement of Bluespec TM Specifications Using the SPIN Model Checker -- Symbolic Context-Bounded Analysis of Multithreaded Java Programs -- Efficient Stateful Dynamic Partial Order Reduction -- Symbolic String Verification: An Automata-Based Approach -- Verifying Multi-threaded C Programs with SPIN. 330 $aThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5156 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aComputer science. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004 702 $aHavelund$b Klaus$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMajumdar$b Rupak$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPalsberg$b Jens$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483843303321 996 $aModel Checking Software$93359484 997 $aUNINA