國立虎尾科技大學 |

Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Quantitative Evaluation of Systems/ edited by Annabelle McIver, Andras Horvath.
Reminder of title:	15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
other author:	McIver, Annabelle.
Description:	XI, 423 p. 101 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer logic. -
Online resource:	https://doi.org/10.1007/978-3-319-99154-2
ISBN:	9783319991542

Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
Quantitative Evaluation of Systems15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /[electronic resource] :edited by Annabelle McIver, Andras Horvath. - 1st ed. 2018. - XI, 423 p. 101 illus.online resource. - Theoretical Computer Science and General Issues ;11024. - Theoretical Computer Science and General Issues ;9163.

This 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.

ISBN: 9783319991542

Standard No.: 10.1007/978-3-319-99154-2doiSubjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
LDR:02039nam a22004215i 4500 001 990242
003 DE-He213
005 20200701201356.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319991542 $9 978-3-319-99154-2
024 7 $a 10.1007/978-3-319-99154-2 $2 doi
035 $a 978-3-319-99154-2
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Quantitative Evaluation of Systems $h [electronic resource] : $b 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / $c edited by Annabelle McIver, Andras Horvath.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XI, 423 p. 101 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 11024
520 $a This 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.
650 0 $a Computer logic. $3 786340
650 0 $a Software engineering. $3 562952
650 0 $a Mathematical statistics. $3 527941
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer simulation. $3 560190
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Probability and Statistics in Computer Science. $3 669886
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a McIver, Annabelle. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 670057
700 1 $a Horvath, Andras. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1208295
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319991535
776 0 8 $i Printed edition: $z 9783319991559
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-99154-2
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)