LEADER 04915nam 22007815 450 001 996465383903316 005 20200702114846.0 010 $a3-540-46029-2 024 7 $a10.1007/3-540-46029-2 035 $a(CKB)1000000000211720 035 $a(SSID)ssj0000322110 035 $a(PQKBManifestationID)11247758 035 $a(PQKBTitleCode)TC0000322110 035 $a(PQKBWorkID)10289098 035 $a(PQKB)11277354 035 $a(DE-He213)978-3-540-46029-9 035 $a(MiAaPQ)EBC3071711 035 $a(PPN)155199641 035 $a(EXLCZ)991000000000211720 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Performance Evaluation: Modelling Techniques and Tools$b[electronic resource] $eModelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings /$fedited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XII, 356 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2324 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-43539-5 320 $aIncludes bibliographical references and index. 327 $aHeavy Tails: The Effect of the Service Discipline -- The Möbius State-Level Abstract Functional Interface -- The ProC/BToolset for the Modelling and Analysis of Process Chains -- MRMSolve: Distribution Estimation of Large Markov Reward Models -- PhFit: A General Phase-Type Fitting Tool -- Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process -- PEPA Nets: A Structured Performance Modelling Formalism -- Validation of GSPN and SWN Models through the PROD Tool -- Software Performance Models from System Scenarios in Use Case Maps -- Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications -- A Passage-Time Preserving Equivalence for Semi-Markov Processes -- Symbolic Methods for the State Space Exploration of GSPN Models -- PRISM: Probabilistic Symbolic Model Checker -- MAMSolver: A Matrix Analytic Methods Tool -- The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support -- GILK: A Dynamic Instrumentation Tool for the Linux Kernel -- Geist: A Web Traffic Generation Tool -- DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems -- A Visual Formalism for the Composition of Stochastic Petri Nets -- Symbolic Performance Prediction of Data-Dependent Parallel Programs -- Analysis of a Transaction System with Checkpointing, Failures, and Rollback -- Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool -- Hierarchical Workload Characterization for a Busy Web Server -- Enabling Network Caching of Dynamic Web Objects -- A Tool for Controlling Response Time in Real-Time Systems. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2324 606 $aComputer engineering 606 $aComputers 606 $aComputer system failures 606 $aSoftware engineering 606 $aComputer simulation 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aComputer engineering. 615 0$aComputers. 615 0$aComputer system failures. 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 14$aComputer Engineering. 615 24$aTheory of Computation. 615 24$aSystem Performance and Evaluation. 615 24$aSoftware Engineering. 615 24$aSimulation and Modeling. 676 $a004.2/4 702 $aField$b Tony$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHarrison$b Peter G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBradley$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHarder$b Uli$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTOOLS 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465383903316 996 $aComputer Performance Evaluation. Modelling Techniques and Tools$91945013 997 $aUNISA LEADER 00976nam 2200289 450 001 996688770303316 005 20251128144144.0 100 $a20251128d1978----km y0itay5003 ba 101 0 $aita 102 $aIT 105 $ay 00 y 200 1 $aContratti bancari su modulo e problemi di tutela del contraente debole [di] Gino Cavalli, Torino, 1976$f[Angela Principe] 210 $aMilano$cVallardi$d1978 215 $a[208]-214 p.$d24 cm 300 $aTitolo dell'intitolazione 300 $aPrima del titolo: Libri e riviste 300 $aNome dell'autore alla fine del testo 606 0 $aContratti bancari$xRecensioni$2BNCF 676 $a346.45 702 1$aPRINCIPE,$bAngela 801 0$aIT$bcba$gREICAT 912 $a996688770303316 951 $aXVI.7.Misc. 716$b723 FBUO$cXVI.7.Misc. 959 $aBK 969 $aFBUO 996 $aContratti bancari su modulo e problemi di tutela del contraente debole Gino Cavalli, Torino, 1976$94459907 997 $aUNISA