東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal methods and stochastic models...

Wolter, Katinka.

Linked to FindBook

Google Book

Amazon

博客來

Formal methods and stochastic models for performance evaluation : = Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal methods and stochastic models for performance evaluation :/ Katinka Wolter (ed.).
Reminder of title:	Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
remainder title:	EPEW 2007
other author:	Wolter, Katinka.
corporate name:	EPEW 2007
Published:	Berlin ;Springer, : c2007.,
Description:	x, 300 p. :ill. ;24 cm.
Series:	Lecture notes in computer science,
Subject:	Computer systems - Congresses. - Evaluation -
Online resource:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4748Restricted to SpringerLink subscribers
ISBN:	3540752102 (pbk.)

Formal methods and stochastic models for performance evaluation : = Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
Formal methods and stochastic models for performance evaluation :Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /EPEW 2007Katinka Wolter (ed.). - Berlin ;Springer,c2007. - x, 300 p. :ill. ;24 cm. - Lecture notes in computer science,47480302-9743 ;.

Includes bibliographical references and index.

ISBN: 3540752102 (pbk.)

LCCN: 2007935135Subjects--Topical Terms:

893300
Computer systems
--Evaluation--Congresses.

LC Class. No.: QA76.9.F67 / E64 2007

Dewey Class. No.: 004.2/4

Formal methods and stochastic models for performance evaluation : = Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
LDR:01245cam a2200289 a 45 001 780647
003 OCoLC
005 20081205
008 081121s2007 gw a b 101 0 eng d
010 $a 2007935135
020 $a 3540752102 (pbk.)
020 $a 9783540752103 (pbk.) : $c EUR48.00
035 $a (OCoLC)173602626
035 $a GO97T13086
040 $a OHX $c OHX $d C $d CUS $d BAKER $d IQU $d DLC $d DH
050 0 0 $a QA76.9.F67 $b E64 2007
082 0 0 $a 004.2/4 $2 22
111 $a EPEW 2007 $d (2007 : $c Berlin, Germany) $3 920946
245 1 0 $a Formal methods and stochastic models for performance evaluation : $b Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings / $c Katinka Wolter (ed.).
246 3 0 $a EPEW 2007
246 3 0 $a European Performance Engineering Workshop
246 3 0 $a Fourth European Performance Engineering Workshop
260 $a Berlin ; $a New York : $c c2007. $b Springer,
300 $a x, 300 p. : $b ill. ; $c 24 cm.
440 0 $a Lecture notes in computer science, $x 0302-9743 ; $v 4748
440 0 $a LNCS sublibrary. $n SL 2, $p Programming and software engineering
504 $a Includes bibliographical references and index.
530 $a Also issued online.
650 $a Computer systems $x Evaluation $v Congresses. $3 893300
650 $a Formal methods (Computer science) $v Congresses. $3 622707
650 $a Stochastic models $v Congresses. $3 920947
700 $a Wolter, Katinka. $3 920945
856 4 1 $u http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4748 $z Restricted to SpringerLink subscribers