LEADER 01282nam2-2200397li-450 001 990000104430203316 005 20180312154756.0 035 $a0010443 035 $aUSA010010443 035 $a(ALEPH)000010443USA01 035 $a0010443 100 $a20001109d1976----km-y0itay0103----ba 101 0 $aita 102 $aIT 200 1 $aTeoria elementare degli insiemi$fPaul R. Halmos$gtraduzione dall'americano di M. Luisa Vesentini Ottolenghi e Edoardo Vesentini 210 $aMilano$cFeltrinelli$d1976 215 $a127 p.$d22 cm 225 2 $aCollana di matematica$v7 312 $aTrad. di: naive set theorie 410 0$10010010442$12001$aCollana di matematica 610 1 $ateoria degli insiemi 676 $a511322$9Teoria degli insiemi 700 1$aHalmos,$bPaul R.$0439609 702 1$aVesentini Ottolenghi,$bLuisa M. 702 1$aVesentini,$bEdoardo 801 $aSistema bibliotecario di Ateneo dell' Universitŕ di Salerno$gRICA 912 $a990000104430203316 951 $a511.322 HAL (A)$b0002027 959 $aBK 969 $aSCI 979 $c19900504 979 $c20001110$lUSA01$h1710 979 $c20020403$lUSA01$h1618 979 $aPATRY$b90$c20040406$lUSA01$h1608 996 $aTeoria elementare degli insiemi$979193 997 $aUNISA LEADER 01238nam 2200361z- 450 001 9910689686303321 005 20091214083624.0 035 $a(CKB)4920000000817185 035 $a(BIP)014703463 035 $a(EXLCZ)994920000000817185 100 $a20220316c2003uuuu -u- - 101 0 $aeng 200 10$aExamining the plight of refugees $ethe case of North Korea : hearing before the Subcommittee on Immigration of the Committee on the Judiciary, United States Senate, One Hundred Seventh Congress, second session, June 21, 2002 215 $a1 online resource (iii, 155 p.) 311 $a0-16-070269-0 517 $aExamining the plight of refugees 606 $aRefugees$zKorea (North) 606 $aRefugees$zChina 606 $aHuman rights$zKorea (North) 606 $aHumanitarian assistance, American$zKorea (North) 610 $aRefugees 610 $aHuman rights 610 $aHumanitarian assistance 610 $aSocial science 610 $aPolitical science 615 0$aRefugees 615 0$aRefugees 615 0$aHuman rights 615 0$aHumanitarian assistance, American 906 $aBOOK 912 $a9910689686303321 996 $aExamining the plight of refugees$93220986 997 $aUNINA LEADER 03804nam 22005055 450 001 9910672439103321 005 20250730171534.0 010 $a3-031-26500-9 024 7 $a10.1007/978-3-031-26500-6 035 $a(MiAaPQ)EBC7201612 035 $a(Au-PeEL)EBL7201612 035 $a(CKB)26155057000041 035 $a(DE-He213)978-3-031-26500-6 035 $a(PPN)268204950 035 $a(EXLCZ)9926155057000041 100 $a20230216d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAnalysis, Estimations, and Applications of Embedded Systems $e6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9?11, 2019, Revised Selected Papers /$fedited by Marco A. Wehrmeister, Márcio Kreutz, Marcelo Götz, Stefan Henkler, Andy D. Pimentel, Achim Rettberg 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (195 pages) 225 1 $aIFIP Advances in Information and Communication Technology,$x1868-422X ;$v576 311 08$aPrint version: Wehrmeister, Marco A. Analysis, Estimations, and Applications of Embedded Systems Cham : Springer,c2023 9783031264993 320 $aIncludes bibliographical references and index. 327 $aEmbedded Real-Time Systems -- A Real-Time Operating System for Cyber-Physical Systems Based on Physical Time and Logical Time -- A Proposal to Trace and Maintain Requirements Constraints of Real-Time Embedded Systems -- A Comparative Analysis between SysML and AADL when Modeling a Real-Time System -- Design, Implementation, and Evaluation of a Real-Time Localization System for the Optimization of Agitation Processes -- Estimations -- Improving Estimations for Latencies of Cause-Effect Chains -- Workload Characterization for Memory Management in Emerging Embedded Platforms -- Tool and Method for Obtaining End-to-End Reliability Parameters of Wireless Industrial Networks -- Architecture & Application -- Towards ASIP Architecture-Driven Algorithm Development -- Using Data Mining and Mobile Devices to Assist the Interactive Automotive Diagnostics -- Algorithm and System C -- An Untimed SystemC Model of GoogLeNet -- An Efficient Lightweight Framework for Porting Vision Algorithms on Embedded SoCs -- Analysis -- IoT Assistant for People with Visual Impairment in Edge Computing -- Analysis of Low Cost Sensors Applied to the Detection of Obstacles in High Voltage Towers -- Monitoring of an Artificial DNA in Dynamic Environments -- Design and Analysis of an Online Update Approach for Embedded Microprocessors. 330 $aThis book constitutes the refereed proceedings of the 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, which took place in Friedrichshafen, Germany, in September 2019. The 16 full papers and 4 short papers presented in this book were carefully reviewed and selected from 32 submissions. The papers were organized in topical sections on embedded real-time systems; estimations; architecture and applications; algorithms and System C; and analysis. . 410 0$aIFIP Advances in Information and Communication Technology,$x1868-422X ;$v576 606 $aComputers, Special purpose 606 $aSpecial Purpose and Application-Based Systems 615 0$aComputers, Special purpose. 615 14$aSpecial Purpose and Application-Based Systems. 676 $a260 676 $a004.16 702 $aWehrmeister$b Marco A. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910672439103321 996 $aAnalysis, estimations, and applications of embedded systems$93364032 997 $aUNINA