東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal methods and stochastic models...

Telek, Mikl�os.

Linked to FindBook

Google Book

Amazon

博客來

Formal methods and stochastic models for performance evaluation : = Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal methods and stochastic models for performance evaluation :/ Andras Horvath, Miklos Telek (eds.).
Reminder of title:	Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /
remainder title:	EPEW 2006
other author:	Telek, Mikl�os.
corporate name:	EPEW 2006
Published:	Berlin :Springer, : c2006.,
Description:	viii, 237, [2] p. :ill. ;24 cm.
Subject:	Formal methods (Computer science) - Congresses. -
Online resource:	http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=4054
Online resource:	http://www.loc.gov/catdir/toc/fy0614/2006927343.html
Online resource:	http://www.loc.gov/catdir/enhancements/fy0661/2006927343-d.html
ISBN:	9783540356321 (pbk.)

Formal methods and stochastic models for performance evaluation : = Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /
Formal methods and stochastic models for performance evaluation :Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /EPEW 2006Andras Horvath, Miklos Telek (eds.). - Berlin :Springer,c2006. - viii, 237, [2] p. :ill. ;24 cm. - Lecture notes in computer science ;4054.

Includes bibliographical references and index.

ISBN: 9783540356321 (pbk.)

LCCN: 2006927343Subjects--Topical Terms:

622707
Formal methods (Computer science)
--Congresses.

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

Dewey Class. No.: 004.2/4

Formal methods and stochastic models for performance evaluation : = Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /
LDR:01331cam 2200301 a 4500 001 793873
005 20090804114547.0
008 060511s2006 gw a b 101 0 eng d
010 $a 2006927343
020 $a 9783540356321 (pbk.)
020 $a 3540353623 (pbk.) : $c EUR45.00
035 $a (CStRLIN)NYCGQ5689895-B
035 $a (NNC)NYCG5689895
035 $a go98w05010
040 $a HNK $c HNK $d DLC $d OHX
042 $a lccopycat
050 0 0 $a QA76.9.F67 $b E64 2006
082 0 0 $2 22 $a 004.2/4
090 $a QA/76.9/.F67/.E64/2006//////W0134107
111 2 $a EPEW 2006 $d (2006 : $c Budapest, Hungary) $3 934937
245 1 0 $a Formal methods and stochastic models for performance evaluation : $b Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings / $c Andras Horvath, Miklos Telek (eds.).
246 3 0 $a EPEW 2006
246 3 0 $a European Performance Engineering Workshop, EPEW 2006
260 $a Berlin : $c c2006. $b Springer,
300 $a viii, 237, [2] p. : $b ill. ; $c 24 cm.
490 0 $a Lecture notes in computer science ; $v 4054
504 $a Includes bibliographical references and index.
650 0 $a Formal methods (Computer science) $v Congresses. $3 622707
650 0 $a Stochastic models $v Congresses. $3 920947
650 0 $a Computer systems $x Evaluation $v Congresses. $3 893300
700 1 $a Telek, Mikl�os. $3 934936
700 1 $a Horv�ath, Andr�as. $3 934935
856 4 0 $u http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=4054
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/toc/fy0614/2006927343.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0661/2006927343-d.html