LEADER 01009nam0-2200325---450- 001 990009189840403321 005 20100526100145.0 010 $a0875531288 035 $a000918984 035 $aFED01000918984 035 $a(Aleph)000918984FED01 035 $a000918984 100 $a20100526d1984----km-y0itay50------ba 101 0 $aeng 102 $aUS 105 $aa-------001yy 200 1 $aLaboratory methods for the diagnosis of sexually transmitted diseases$fedited by Berttina B. Wentworth and Franklyn N. Judson 210 $aWashington$cAmerican Public Health Association$d1984 215 $a278 p.$cill.$d23 cm 610 0 $aMalattie veneree 676 $a616.075 702 1$aWentworth,$bBerttina B. 702 1$aJudson,$bFranklyn N. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009189840403321 952 $aIG 17 A 34$b211$fDMIGI 959 $aDMIGI 996 $aLaboratory methods for the diagnosis of sexually transmitted diseases$9775738 997 $aUNINA LEADER 03293oam 2200637I 450 001 9910779009703321 005 20230802005035.0 010 $a1-136-29904-1 010 $a1-280-67161-0 010 $a9786613648549 010 $a0-203-11644-5 010 $a1-136-29905-X 024 7 $a10.4324/9780203116449 035 $a(CKB)2550000000101503 035 $a(EBL)958368 035 $a(OCoLC)798531143 035 $a(SSID)ssj0000658420 035 $a(PQKBManifestationID)11389255 035 $a(PQKBTitleCode)TC0000658420 035 $a(PQKBWorkID)10691150 035 $a(PQKB)11510174 035 $a(MiAaPQ)EBC958368 035 $a(Au-PeEL)EBL958368 035 $a(CaPaEBR)ebr10563651 035 $a(CaONFJC)MIL364854 035 $a(OCoLC)795705259 035 $a(EXLCZ)992550000000101503 100 $a20180706d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aReworking the relationship between asylum and employment /$fPenelope Mathew 210 1$aAbingdon [England] ;$aNew York :$cRoutledge,$d2012. 215 $a1 online resource (233 p.) 300 $aDescription based upon print version of record. 311 $a0-415-74146-7 311 $a0-415-58079-X 320 $aIncludes bibliographical references and index. 327 $aCover; Title; Copyright; Contents; Acknowledgements; Introduction; 1 True refugee stories: Getting out of danger, getting in to a place of safety and getting work; 2 The development of legal protection for employment; 3 Migration and the 'sovereign prerogative' over entry; 4 The Refugee Convention: When do rights attach?; 5 The Covenant's protection for the right to work: Limited obligations?; 6 Equality norms and the right to work: ICERD as a case study; 7 Regional treaties protecting the right to work; 8 Other relevant human rights: Equality, dignity and interdependence 327 $aConclusions: The fulfilment of workAppendix: Fifth Colloquium on Challenges in International Refugee Law: The Michigan Guidelines on the Right to Work; The Michigan guidelines on the Right to Work; Glossary; Bibliography; Index 330 $aTouching on the laws and practices of a wide array of countries around the globe, this book examines the extent to which refugees and asylum-seekers' right to work is protected by international human rights law. The book examines a number of key international treaties, national constitutions and some foundational cases from national courts in order to make the case that the practise of restricting refugees and asylum-seekers access to the labour market is illegal. In so doing, the author examines some intricate legal questions, such as the interpretation of the Refugee Convention's provisio 606 $aPolitical refugees$xEmployment$xLaw and legislation 606 $aRefugees$xEmployment 615 0$aPolitical refugees$xEmployment$xLaw and legislation. 615 0$aRefugees$xEmployment. 676 $a342.08/3 700 $aMathew$b Penelope.$0598513 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910779009703321 996 $aReworking the relationship between asylum and employment$93838667 997 $aUNINA LEADER 03515nam 22008413u 450 001 996464423903316 005 20240402152634.0 010 $a3-030-79876-3 035 $a(CKB)5590000000532393 035 $aEBL6676599 035 $a(AU-PeEL)EBL6676599 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/71322 035 $a(MiAaPQ)EBC6676599 035 $a(PPN)258303573 035 $a(EXLCZ)995590000000532393 100 $a20220617d2021|||| u|| | 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAutomated Deduction - CADE 28$b[electronic resource] $e28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings 210 $aCham $cSpringer International Publishing AG$d2021 215 $a1 online resource (655 p.) 225 1 $aLecture Notes in Computer Science ;$vv.12699 300 $aDescription based upon print version of record. 311 $a3-030-79875-5 330 $aThis open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. 410 0$aLecture Notes in Computer Science 517 $aAutomated Deduction – CADE 28 517 $aAutomated Deduction - CADE 28 606 $aArtificial intelligence$2bicssc 606 $aMathematical theory of computation$2bicssc 606 $aComputer programming / software development$2bicssc 606 $aSoftware Engineering$2bicssc 610 $aArtificial Intelligence 610 $aMathematical Logic and Formal Languages 610 $aLogics and Meanings of Programs 610 $aSoftware Engineering 610 $aFormal Languages and Automata Theory 610 $aComputer Science Logic and Foundations of Programming 610 $aautomata theory 610 $aboolean functions 610 $acomputer programming 610 $afirst order logic 610 $aformal languages 610 $aformal logic 610 $alogic programming 610 $amodel checking 610 $aprogram verification 610 $asemantics 610 $asoftware architecture 610 $asoftware design 610 $asoftware quality 610 $asoftware verification 610 $atheorem provers 610 $atheorem proving 610 $aMathematical theory of computation 610 $aComputer programming / software engineering 610 $aComputer architecture & logic design 615 7$aArtificial intelligence 615 7$aMathematical theory of computation 615 7$aComputer programming / software development 615 7$aSoftware Engineering 700 $aPlatzer$b André$0998008 701 $aSutcliffe$b Geoff$01235917 801 0$bAU-PeEL 801 1$bAU-PeEL 801 2$bAU-PeEL 906 $aBOOK 912 $a996464423903316 996 $aAutomated Deduction - CADE 28$92870259 997 $aUNISA