LEADER 00831nam2 2200277 450 001 990005527640403321 005 20180713084955.0 035 $a000552764 035 $aFED01000552764 035 $a(Aleph)000552764FED01 035 $a000552764 100 $a19990530d1941----km-y0itay50------ba 101 0 $aeng 105 $aaf------00--- 200 1 $a<<3.: The >>excavations$e1937-1939$fedited by Richard Stillwell 210 $aPrinceton$cPrinceton University Press$d1941 215 $aVIII, 251 p., 92 tav.$cill.$d38 cm 461 1$1001000552744$12001$aAntioch on-the-Orontes 700 1$aStillwell,$bRichard$0206384 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005527640403321 952 $aARCH. G 40 2 (3$bARCH. 7471$fFLFBC 959 $aFLFBC 996 $aExcavations$91506726 997 $aUNINA LEADER 04453nam 22007455 450 001 9910410056103321 005 20251225181940.0 010 $a3-030-43024-3 024 7 $a10.1007/978-3-030-43024-5 035 $a(CKB)5300000000003612 035 $a(DE-He213)978-3-030-43024-5 035 $a(MiAaPQ)EBC6302288 035 $a(PPN)243222831 035 $a(MiAaPQ)EBC6275378 035 $a(EXLCZ)995300000000003612 100 $a20200305d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMeasurement, Modelling and Evaluation of Computing Systems $e20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16?18, 2020, Proceedings /$fedited by Holger Hermanns 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVIII, 279 p. 573 illus., 59 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12040 311 08$a3-030-43023-5 320 $aIncludes bibliographical references and index. 327 $aPerformance Analytics of a Virtual Reality Streaming Model -- To Fail Or Not To Fail: Predicting Hard Disk Drive Failure Time Windows -- Concurrent MDPs with Finite Markovian Policies -- A Stochastic Automata Network Description for Spatial DNA-Methylation Models -- An ns-3 Model for Multipath Communication with Terrestrial and Satellite Links -- Model-based Performance Predictions for SDN-based Networks -- Performance Analysis for Loss Systems with Many Subscribers -- On the Stochastic End-to-End Delay Analysis in Sink Trees Under Independent and Dependent Arrivals -- Graph-based Mobility Models: Asymptotic and Stationary Node Distribution -- Parallelization of EM-Algorithms for Markovian Arrival Processes -- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models -- An Efficient Brute Force Approach to Fit Finite Mixture Distributions -- Freight Train Scheduling in Railway Systems -- A Domain Specific Language and Toolset for Requirements Analysis of Safety-Critical Cyber-Physical Systems -- Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets. 330 $aThis book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrücken, Germany, in March 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are dealing with scientific aspects of measurement, modelling and evaluation of intelligent systems including computer architectures, communication networks, distributed systems and software, autonomous systems, workflow systems, cyber-physical systems and networks, Internet-of-Things, as well as highly dependable, highly performant and highly secure systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12040 606 $aSoftware engineering 606 $aComputer systems 606 $aApplication software 606 $aComputer networks 606 $aComputers, Special purpose 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aComputer System Implementation 606 $aComputer and Information Systems Applications 606 $aComputer Communication Networks 606 $aSpecial Purpose and Application-Based Systems 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aComputer systems. 615 0$aApplication software. 615 0$aComputer networks. 615 0$aComputers, Special purpose. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aComputer System Implementation. 615 24$aComputer and Information Systems Applications. 615 24$aComputer Communication Networks. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aArtificial Intelligence. 676 $a621.382 676 $a004.6 702 $aHermanns$b Holger$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910410056103321 996 $aMeasurement, Modelling and Evaluation of Computing Systems$92257610 997 $aUNINA