LEADER 02268nam  2200553   450 
001 9910796032103321
005 20170822144228.0
010   $a0-8218-9459-5
035   $a(CKB)3780000000000288
035   $a(EBL)3114440
035   $a(SSID)ssj0000889150
035   $a(PQKBManifestationID)11482808
035   $a(PQKBTitleCode)TC0000889150
035   $a(PQKBWorkID)10875535
035   $a(PQKB)11730195
035   $a(MiAaPQ)EBC3114440
035   $a(RPAM)17521834
035   $a(PPN)195408225
035   $a(EXLCZ)993780000000000288
100   $a20150416h20122012  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aPotential wadge classes /$fDominique Lecomte
210  1$aProvidence, Rhode Island :$cAmerican Mathematical Society,$d2012.
210  4$dİ2012
215   $a1 online resource (83 p.)
225 1 $aMemoirs of the American Mathematical Society,$x1947-6221 ;$vVolume 221, Number 1038
300   $a"January 2013, Volume 221, Number 1038 (second of 5 numbers)."
311   $a0-8218-7557-4 
320   $aIncludes bibliographical references.
327   $a""Contents""; ""Abstract""; ""Chapter 1. Introduction""; ""Chapter 2. A condition ensuring the existence  of complicated sets""; ""Chapter 3. The proof of Theorem 1.10 for the Borel classes""; ""Chapter 4. The proof of Theorem 1.11 for the Borel classes""; ""4.1.  Acyclicity""; ""4.2.  The topologies""; ""4.3.  Representation of Borel sets""; ""4.4.  Proof of Theorem 4.1""; ""Chapter 5. The proof of Theorem 1.10""; ""5.1.  Some one-dimensional material""; ""5.2.  Some complicated sets""; ""Chapter 6. The proof of Theorem 1.11""; ""Chapter 7. Injectivity complements""; ""Acknowledgments""
327   $a""Bibliography""
410  0$aMemoirs of the American Mathematical Society ;$vVolume 221, Number 1038.
606   $aBorel sets
606   $aRecursion theory
615  0$aBorel sets.
615  0$aRecursion theory.
676   $a514/.2
700   $aLecomte$b Dominique$f1964-$01519494
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910796032103321
996   $aPotential wadge classes$93757641
997   $aUNINA

LEADER 01515nam  2200337   450 
001 996574650703316
005 20231214025001.0
010   $a1-5044-7263-2
024 7 $a10.1109/IEEESTD.2021.9361514
035   $a(CKB)4100000011781655
035   $a(NjHacI)994100000011781655
035   $a(EXLCZ)994100000011781655
100   $a20231214d2021      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a1023-2020 - IEEE Recommended Practice for the Application of Human Factors Engineering to Systems, Equipment, and Facilities of Nuclear Power Generating Stations and Other Nuclear Facilities /$fInstitute of Electrical and Electronics Engineers
210  1$a[Place of publication not identified] :$cIEEE,$d2021.
215   $a1 online resource
330   $aRecommended practices for applying human factors engineering (HFE) to systems and equipment that have significant human interfaces in nuclear power generating stations and other nuclear facilities are provided in this document.
606   $aHuman engineering
615  0$aHuman engineering.
676   $a620.82
801  0$bNjHacI
801  1$bNjHacl
906   $aDOCUMENT
912   $a996574650703316
996   $a1023-2020 - IEEE Recommended Practice for the Application of Human Factors Engineering to Systems, Equipment, and Facilities of Nuclear Power Generating Stations and Other Nuclear Facilities$92583952
997   $aUNISA