LEADER 01444cam1-2200409---450- 001 990002032840203316 005 20121121093951.0 035 $a000203284 035 $aUSA01000203284 035 $a(ALEPH)000203284USA01 035 $a000203284 100 $a20040928d1985----km-y0itay50------ba 101 0 $aeng 102 $aNL 105 $ay|||z|||001yy 200 1 $a<> stoic tradition from antiquity to the early Middle Ages$fby Marcia L. Colish 210 $aLeiden$cBrill$d1985 215 $a2 volumi$d25 cm 463 \1$1001990005782190203316$12001 $a<<1:>> Stoicism in classical Latin literature 463 \1$1001990005782380203316$12001 $a<<2:>> Stoicism in Christian Latin thought through the sixth century 606 0 $aStoicismo$xDiffusione$zSec. 1. a. C.-6.$2BNCF 676 $a188 700 1$aCOLISH,$bMarcia L.$0147418 801 0$aIT$bsalbc$gISBD 912 $a990002032840203316 951 $aXV.8. 256 /$bL.M.$cXV.8. 959 $aBK 969 $aFSO 979 $aSIAVPROV$b10$c20040928$lUSA01$h1037 979 $aSIAVPROV$b10$c20040928$lUSA01$h1037 979 $aSIAVPROV$b10$c20040928$lUSA01$h1040 979 $aCOPAT6$b90$c20060728$lUSA01$h1356 979 $aANNAMARIA$b90$c20121017$lUSA01$h0942 979 $aANNAMARIA$b90$c20121120$lUSA01$h1249 979 $aANNAMARIA$b90$c20121121$lUSA01$h0939 996 $aStoic tradition from antiquity to the early Middle Ages$9487645 997 $aUNISA LEADER 01204nam--2200397---450- 001 990000449730203316 005 20051028104841.0 035 $a0044973 035 $aUSA010044973 035 $a(ALEPH)000044973USA01 035 $a0044973 100 $a20010516d1969----km-y0itay0103----ba 101 $aeng 102 $aNL 105 $a||||||||001yy 200 1 $aHamartia$eTragic error in the Poetics of Aristothe and in Greek tragedy$fJ. M. Bremer 210 $aAmsterdam$cA.M. Hakkert$d1969 215 $aXX, 211 p.$d26 cm 410 $12001 606 0 $aTragedia$xConcezione aristotelica 676 $a809.916 700 1$aBREMER,$bJ. M.$0545115 801 0$aIT$bsalbc$gISBD 912 $a990000449730203316 951 $aV.1.B. 204 (VIII A 859)$b0107344$cVIII A 951 $aV.1.B. 204a (VIII C 274)$b36617 L.M.$cVIII C 959 $aBK 969 $aUMA 979 $aPATTY$b90$c20010516$lUSA01$h1438 979 $c20020403$lUSA01$h1653 979 $aPATRY$b90$c20040406$lUSA01$h1631 979 $aSIAVER$b90$c20040506$lUSA01$h1505 979 $aCOPAT3$b90$c20051019$lUSA01$h1213 979 $aCOPAT4$b90$c20051028$lUSA01$h1048 996 $aHamartia$9889850 997 $aUNISA LEADER 04805nam 22007095 450 001 9910484611403321 005 20251225173532.0 010 $a3-030-67087-2 024 7 $a10.1007/978-3-030-67087-0 035 $a(CKB)4100000011716957 035 $a(DE-He213)978-3-030-67087-0 035 $a(MiAaPQ)EBC6456085 035 $a(PPN)253252997 035 $a(EXLCZ)994100000011716957 100 $a20210113d2021 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNetworked Systems $e8th International Conference, NETYS 2020, Marrakech, Morocco, June 3?5, 2020, Proceedings /$fedited by Chryssis Georgiou, Rupak Majumdar 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (XVII, 376 p. 100 illus., 69 illus. in color.) 225 1 $aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v12129 300 $aIncludes index. 311 08$a3-030-67086-4 327 $aInvited Papers -- On Network Topologies and the Decidability of Reachability Problem -- Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks -- Blockchains and the Commons -- Regular Papers -- On the State Reachability Problem for Concurrent Programs under Power -- On the Encoding and Solving of Partial Information Games -- Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory -- Exploring IoT Trickle-based Dissemination using Timed Model-checking and Symbolic Execution -- Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Faults -- Infinite Grid Exploration by Disoriented Robots -- Wireless Broadcast with short labels -- The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders -- Byzantine k-Set Agreement -- Fissile Locks -- Verifying Safety of Parameterized Heard-Of Algorithms -- Staleness and Local Progress in Transactional Memory -- Generic Framework for Optimization of Local Dissemination in Wireless Networks -- Verifying Weakly Consistent Transactional Programs using Symbolic Execution -- NetSheriff: Sheltering Software-Defined Networks from Rogue Switches -- Self-stabilizing Uniform Reliable Broadcast -- Fully Anonymous Consensus and Set Agreement Algorithms -- Cutoffs for symmetric point-to-point distributed algorithms -- Short Papers -- Stateless Distributed Ledgers -- Stability Under Adversarial Injection of Dependent Tasks -- Collaborative filtering: comparative study between Matrix Factorization and Neural Network method -- Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract). 330 $aThis book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.* The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc. *The conference was held virtually due to the COVID-19 pandemic. 410 0$aComputer Communication Networks and Telecommunications,$x2945-9184 ;$v12129 606 $aComputer networks 606 $aComputers, Special purpose 606 $aSoftware engineering 606 $aData structures (Computer science) 606 $aInformation theory 606 $aArtificial intelligence 606 $aComputer Communication Networks 606 $aSpecial Purpose and Application-Based Systems 606 $aSoftware Engineering 606 $aData Structures and Information Theory 606 $aArtificial Intelligence 615 0$aComputer networks. 615 0$aComputers, Special purpose. 615 0$aSoftware engineering. 615 0$aData structures (Computer science) 615 0$aInformation theory. 615 0$aArtificial intelligence. 615 14$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aSoftware Engineering. 615 24$aData Structures and Information Theory. 615 24$aArtificial Intelligence. 676 $a004.6 702 $aGeorgiou$b Chryssis 702 $aMajumdar$b Rupak 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484611403321 996 $aNetworked Systems$92499603 997 $aUNINA