LEADER 03200nam  22007335  450 
001 996466371103316
005 20230220131743.0
010   $a3-319-99154-X
024 7 $a10.1007/978-3-319-99154-2
035   $a(CKB)4100000005958401
035   $a(DE-He213)978-3-319-99154-2
035   $a(MiAaPQ)EBC6280837
035   $a(PPN)229916260
035   $a(EXLCZ)994100000005958401
100   $a20180814d2018      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aQuantitative Evaluation of Systems$b[electronic resource] $e15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /$fedited by Annabelle McIver, Andras Horvath
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XI, 423 p. 101 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11024
311   $a3-319-99153-1 
330   $aThis book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11024
606   $aComputer science
606   $aSoftware engineering
606   $aComputer science?Mathematics
606   $aMathematical statistics
606   $aArtificial intelligence
606   $aComputer simulation
606   $aMachine theory
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aProbability and Statistics in Computer Science
606   $aArtificial Intelligence
606   $aComputer Modelling
606   $aFormal Languages and Automata Theory
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer science?Mathematics.
615  0$aMathematical statistics.
615  0$aArtificial intelligence.
615  0$aComputer simulation.
615  0$aMachine theory.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aProbability and Statistics in Computer Science.
615 24$aArtificial Intelligence.
615 24$aComputer Modelling.
615 24$aFormal Languages and Automata Theory.
676   $a004.24
702   $aMcIver$b Annabelle$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHorvath$b Andras$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466371103316
996   $aQuantitative Evaluation of Systems$92914390
997   $aUNISA