東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal methods and stochastic models...

Telek, Mikl�os.

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 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal methods and stochastic models for performance evaluation :/ Andras Horvath, Miklos Telek (eds.).
其他題名:	Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings /
其他題名:	EPEW 2006
其他作者:	Telek, Mikl�os.
團體作者:	EPEW 2006
出版者:	Berlin :Springer, : c2006.,
面頁冊數:	viii, 237, [2] p. :ill. ;24 cm.
標題:	Formal methods (Computer science) - Congresses. -
電子資源:	http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=4054
電子資源:	http://www.loc.gov/catdir/toc/fy0614/2006927343.html
電子資源:	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