Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings / András Horváth, Miklós Telek (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2006

形態:

viii, 237 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 4054 <BA00009279>

著者名:

ISBN:

9783540353621 [3540353623]

書誌ID:

BA77314912

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	器械計算．計算器
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Formal Methods and Stochastic Models for Performance Evaluation Horváth, András, Kanade, Takeo, Telek, Miklós SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	7 図書 Central European Functional Programming School : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures Central European Functional Programming School, Horváth, Zoltán Springer
2 図書 Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services … Bravetti, Mario, Kloul, Leïla, Zavattaro, Gianluigi Springer	8 図書 Evolutionary computation in combinatorial optimization : 6th European Conference, EvoCOP 2006, Budapest, Hungary, April 10-12, 2006 : proceedings EvoCOP, Gottlieb, Jens, Raidl, Günther R. Springer
3 電子ブック Formal Methods and Stochastic Models for Performance Evaluation Horv?th, Andr?s, Kanade, Takeo, Telek, Mikl?s Springer eBooks Computer Science, Springer Berlin / Heidelberg	9 電子ブック Computer Performance Engineering and Stochastic Modelling : 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, … Iacono, Mauro., Barbierato, Enrico, Cerotti, Davide, Longo, Francesco, Scarpa, Marco, Serrano, Salvatore SpringerLink Books - AutoHoldings, Springer
4 図書 Applying formal methods: testing, performance, and M/E-commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 ; proceedings FORTE, Núñez, Manuel Springer	10 図書 FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings International Symposium of Formal Methods Europe, Fitzgerald, John, 1965-, Hayes, Ian J., Tarlecki, Andrzej, 1956- Springer
5 電子ブック Analytical and Stochastic Modeling Techniques and Applications Bruno Sericola, MiklÃ〓s Telek, GÃ¡bor HorvÃ¡th, Horváth, Gábor, Miklós, Telek SpringerLink Books - AutoHoldings, Springer International Publishing	11 図書 Data integration in the life sciences : Third International Workshop, DILS 2006, Hinxton, UK, July 20-22, 2006 ; proceedings International Workshop, Data Integration in the Life Sciences, Leser, Ulf, Naumann, Felix, Eckman, Barbara Springer
6 図書 Public key infrastructure : Third European PKI Workshop : theory and practice, EuroPKI 2006, Turin, Italy, June 19-20, 2006 : proceedings EuroPKI, Atzeni, Andrea S., Lioy, Antonio Springer	12 電子ブック Formal Methods and Stochastic Models for Performance Evaluation Wolter, Katinka, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12