LEADER 00749nas  2200253-a 450 
001 996204961403316
005 20230330203254.0
035   $a(CKB)991042723483890
035   $a(CONSER)---00248338-
035   $a(EXLCZ)99991042723483890
100   $a20000807c19uuuuuu  ---            -
101 0 $aspa
200 00$aAnábasis$b[Recurso electrónico]
210   $aMadrid, Spain $cEditorial Fundamentos
215   $a1 online resource
300   $a"Revista de filosofía."
311 08$aPrint version: Anábasis 1134-6434 (DLC)---00248338- (OCoLC)44734205 
606   $aPhilosophy$vPeriodicals
615  0$aPhilosophy
906   $aJOURNAL
912   $a996204961403316
920   $aexl_impl conversion
996   $aAnabasis$9487763
997   $aUNISA

LEADER 01056nam a2200313 i 4500
001 991001041029707536
005 20020507182135.0
008 950215s1971    ne            ||| | eng  
020   $a0720422396
035   $ab10792843-39ule_inst
035   $aLE01306130$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03F55
084   $aQA9
100 1 $aHeyting, A.$0442160
245 10$aIntuitionism :$ban introduction /$cA. Heyting
250   $a[3rd rev. ed.]
260   $aAmsterdam :$bNorth-Holland,$c1971
300   $aviii, 147 p. ;$c23 cm.
490 0 $aStudies in logic and the foundations of mathematics, ISSN 0049237X
500   $aBibliography: p. [127]-141
650  4$aIntuitionistic mathematics
907   $a.b10792843$b23-02-17$c28-06-02
912   $a991001041029707536
945   $aLE013 03F HEY11 (1971)$g1$i2013000021102$lle013$o-$pE0.00$q-$rl$s-  $t0$u3$v0$w3$x0$y.i10893751$z28-06-02
996   $aIntuitionism$9921387
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$gne $h0$i1

LEADER 01529nam  2200361   450 
001 9910508609803321
005 20231213215817.0
010   $a1-5044-8146-1
024 7 $a10.1109/IEEESTD.2021.9626693
035   $a(CKB)4100000012154736
035   $a(NjHacI)994100000012154736
035   $a(EXLCZ)994100000012154736
100   $a20231213d2021      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2861-2021 $eIEEE Standard for Mobile Gaming Performance Evaluation and Optimization /$fInstitute of Electrical and Electronics Engineers
210  1$aNew York, NY, USA :$cIEEE,$d2021.
215   $a1 online resource (31 pages)
330   $aThis standard is to improve the user experience of mobile gaming by solving the issues between the high demands from game applications and the resource limitation of a mobile device. Message exchange is critical to coordinate the resource allocation and to optimize the performance of gaming that ensure fluent user experiences in games. Additionally, this standard specifies evaluation methods and criteria that enables the control and optimization.
606   $aCell phone services industry
606   $aComputer games
615  0$aCell phone services industry.
615  0$aComputer games.
676   $a384.534
801  0$bNjHacI
801  1$bNjHacl
906   $aDOCUMENT
912   $a9910508609803321
996   $a2861-2021$93653008
997   $aUNINA