Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Computer performance engineering = 1...
~
Workshop on the Preservation of Stability under Discretization ((2001 :)
Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Computer performance engineering/ edited by Philipp Reinecke, Antinisca Di Marco.
Reminder of title:
14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
remainder title:
EPEW 2017
other author:
Reinecke, Philipp.
corporate name:
Workshop on the Preservation of Stability under Discretization
Published:
Cham :Springer International Publishing : : 2017.,
Description:
xvi, 299 p. :ill., digital ; : 24 cm.;
Contained By:
Springer eBooks
Subject:
Computer systems - Congresses. - Evaluation -
Online resource:
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 engineering
14th 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 ;6140..
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:
675513
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
:01842nam a2200337 a 4500
001
923527
003
DE-He213
005
20170812053528.0
006
m d
007
cr nn 008maaau
008
190625s2017 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
Workshop on the Preservation of Stability under Discretization
$d
(2001 :
$c
Fort Collins, Colo.)
$3
527686
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 :
$c
2017.
$b
Springer International Publishing :
$b
Imprint: Springer,
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
675513
$3
727868
650
0
$a
Computers
$x
Reliability
$v
Congresses.
$3
796250
650
0
$a
Formal methods (Computer science)
$3
564790
650
1 4
$a
Computer Science.
$3
593922
650
2 4
$a
System Performance and Evaluation.
$3
669346
650
2 4
$a
Probability and Statistics in Computer Science.
$3
669886
650
2 4
$a
Logics and Meanings of Programs.
$3
670058
650
2 4
$a
Software Engineering.
$3
669632
650
2 4
$a
Simulation and Modeling.
$3
669249
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
593924
700
1
$a
Reinecke, Philipp.
$3
1199891
700
1
$a
Di Marco, Antinisca.
$3
787805
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer eBooks
830
0
$a
Lecture notes in computer science ;
$v
6140.
$3
744199
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-66583-2
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login