LEADER 01016nam0-22002891i-450- 001 990001006850403321 035 $a000100685 035 $aFED01000100685 035 $a(Aleph)000100685FED01 035 $a000100685 100 $a--------d--------km-y0itay50------ba 101 0 $aeng 200 1 $a<>Axiomatic Method$ewith special reference to Geometry and Physics : Proceedings on an International Symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958$fedited by Leon Henkin, Patrick Suppes, Alfred Tarski 210 $aAmsterdam$cNorth-Holland$d1959 215 $aXI, 488 p.$d23 cm 610 0 $aFondamenti della logica matematica e probabilità 676 $a519 700 1$aHenkin,$bLeon$044180 702 1$aSuppes,$bPatrick 702 1$aTarski,$bAlfred$f<1901-1983> 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001006850403321 952 $a4A-075$b3186$fFI1 959 $aFI1 996 $aAxiomatic Method$9354886 997 $aUNINA LEADER 03272nam 22008055 450 001 9910633930803321 005 20251113203055.0 010 $a9783031213953 010 $a3031213955 024 7 $a10.1007/978-3-031-21395-3 035 $a(MiAaPQ)EBC7150634 035 $a(Au-PeEL)EBL7150634 035 $a(CKB)25510409200041 035 $a(PPN)266348734 035 $a(OCoLC)1356007643 035 $a(DE-He213)978-3-031-21395-3 035 $a(EXLCZ)9925510409200041 100 $a20221130d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNetwork and Parallel Computing $e19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24?25, 2022, Proceedings /$fedited by Shaoshan Liu, Xiaohui Wei 205 $a1st ed. 2022. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2022. 215 $a1 online resource (360 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13615 311 08$aPrint version: Liu, Shaoshan Network and Parallel Computing Cham : Springer,c2023 9783031213946 320 $aIncludes bibliographical references and index. 327 $aComputer architecture -- Cloud computing -- Deep learning -- Emerging applications -- Storage and IO. 330 $aThis book constitutes the proceedings of the 19th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2022, which was held in Jinan, China, during September 24-25, 2022. The 23 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 89 submissions. They were organized in topical sections as follows: computer architecture; cloud computing; deep learning; emerging applications; and storage and IO. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13615 606 $aComputer engineering 606 $aComputer networks 606 $aArtificial intelligence 606 $aOperating systems (Computers) 606 $aMicroprogramming 606 $aComputer input-output equipment 606 $aLogic design 606 $aComputer Engineering and Networks 606 $aArtificial Intelligence 606 $aOperating Systems 606 $aControl Structures and Microprogramming 606 $aInput/Output and Data Communications 606 $aLogic Design 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aOperating systems (Computers) 615 0$aMicroprogramming. 615 0$aComputer input-output equipment. 615 0$aLogic design. 615 14$aComputer Engineering and Networks. 615 24$aArtificial Intelligence. 615 24$aOperating Systems. 615 24$aControl Structures and Microprogramming. 615 24$aInput/Output and Data Communications. 615 24$aLogic Design. 676 $a004.6 676 $a004.35 702 $aLiu$b Shaoshan 702 $aWei$b Xiaohui 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910633930803321 996 $aNetwork and Parallel Computing$9772150 997 $aUNINA