東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Computer performance engineering = 1...

EPEW (Workshop) (2017 :)

FindBook

Google Book

Amazon

博客來

Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Computer performance engineering/ edited by Philipp Reinecke, Antinisca Di Marco.
其他題名:	14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
其他題名:	EPEW 2017
其他作者:	Reinecke, Philipp.
團體作者:	EPEW (Workshop)
出版者:	Cham :Springer International Publishing : : 2017.,
面頁冊數:	xvi, 299 p. :ill., digital ;24 cm.
內容註:	Advances in Markov models -- Advances in quantitative analysis -- Model checking -- Cyber-physical systems -- Performance, energy and security.
Contained By:	Springer eBooks
標題:	Computer systems - Congresses. - Evaluation -
電子資源:	http://dx.doi.org/10.1007/978-3-319-66583-2
ISBN:	9783319665832

Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
Computer performance engineering14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /[electronic resource] :EPEW 2017edited by Philipp Reinecke, Antinisca Di Marco. - Cham :Springer International Publishing :2017. - xvi, 299 p. :ill., digital ;24 cm. - Lecture notes in computer science,104970302-9743 ;. - Lecture notes in computer science ;10497..

Advances in Markov models -- Advances in quantitative analysis -- Model checking -- Cyber-physical systems -- Performance, energy and security.

This book constitutes the refereed proceedings of the 14th European Workshop on Computer Performance Engineering, EPEW 2017, held in Berlin, Germany, in September 2017. The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.

ISBN: 9783319665832

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

893300
Computer systems
--Evaluation--Congresses.

LC Class. No.: QA76.9.E94

Dewey Class. No.: 004.24

Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
LDR:01840nmm a2200337 a 4500 001 2106169
003 DE-He213
005 20170812053528.0
006 m d
007 cr nn 008maaau
008 180417s2017 gw s 0 eng d
020 $a 9783319665832 $q (electronic bk.)
020 $a 9783319665825 $q (paper)
024 7 $a 10.1007/978-3-319-66583-2 $2 doi
035 $a 978-3-319-66583-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.E94
072 7 $a UYD $2 bicssc
072 7 $a COM074000 $2 bisacsh
082 0 4 $a 004.24 $2 23
090 $a QA76.9.E94 $b E63 2017
111 2 $a EPEW (Workshop) $n (14th : $d 2017 : $c Berlin, Germnay) $3 3251785
245 1 0 $a Computer performance engineering $h [electronic resource] : $b 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings / $c edited by Philipp Reinecke, Antinisca Di Marco.
246 3 $a EPEW 2017
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a xvi, 299 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10497
505 0 $a Advances in Markov models -- Advances in quantitative analysis -- Model checking -- Cyber-physical systems -- Performance, energy and security.
520 $a This book constitutes the refereed proceedings of the 14th European Workshop on Computer Performance Engineering, EPEW 2017, held in Berlin, Germany, in September 2017. The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.
650 0 $a Computer systems $x Evaluation $v Congresses. $3 893300
650 0 $a Computers $x Reliability $v Congresses. $3 3135391
650 0 $a Formal methods (Computer science) $v Congresses. $3 622707
650 1 4 $a Computer Science. $3 626642
650 2 4 $a System Performance and Evaluation. $3 891353
650 2 4 $a Probability and Statistics in Computer Science. $3 891072
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Simulation and Modeling. $3 890873
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
700 1 $a Reinecke, Philipp. $3 3251786
700 1 $a Di Marco, Antinisca. $3 3251787
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 10497. $3 3251788
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-66583-2
950 $a Computer Science (Springer-11645)