國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Computer performance engineering14th...

(1998 :)

Computer performance engineering14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Computer performance engineeringedited by Philipp Reinecke, Antinisca Di Marco.
其他題名:	14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
其他題名:	EPEW 2017
其他作者:	Reinecke, Philipp.
團體作者:
出版者:	Cham :Springer International Publishing :2017.
面頁冊數:	xvi, 299 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Computer systemsCongresses.Evaluation
電子資源:	http://dx.doi.org/10.1007/978-3-319-66583-2
ISBN:	9783319665832$q(electronic bk.)

Computer performance engineering14th 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 ;4891..

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$q(electronic bk.)

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

443720
Computer systems
--Evaluation--Congresses.

LC Class. No.: QA76.9.E94

Dewey Class. No.: 004.24

Computer performance engineering14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
LDR:01842nmm a2200337 a 4500 001 521126
003 DE-He213
005 20170812053528.0
006 m d
007 cr nn 008maaau
008 180504s2017 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 443720
650 0 $a Computers $x Reliability $v Congresses. $3 524438
650 0 $a Formal methods (Computer science) $3 277520
650 1 4 $a Computer Science. $3 212513
650 2 4 $a System Performance and Evaluation. $3 273898
650 2 4 $a Probability and Statistics in Computer Science. $3 274053
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Simulation and Modeling. $3 273719
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
700 1 $a Reinecke, Philipp. $3 790934
700 1 $a Di Marco, Antinisca. $3 514217
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-66583-2
950 $a Computer Science (Springer-11645)