Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995 : proceedings

種類:

図書

責任表示:

Heinz Beilner, Falko Bause, (eds.)

出版情報:

Berlin ; New York : Springer, c1995

著者名:

シリーズ名:

Lecture notes in computer science ; 977 <BA00009279>

ISBN:

9783540603009 [354060300X]

注記:

Includes bibliographical references

所蔵情報

Loading availability information

子書誌情報

タイトルが類似している資料

詳細

主題:	Electronic digital computers--Evaluation--Congresses
分類・件名:	LCC : QA76.9.E94 DDC : 004.2/4 NDC9 : 007.63 NDC9 : 548.2 LCSH : Electronic digital computers -- Evaluation -- Congresses
LCCN:	95037104
TTLL:	eng
言語:	英語
形態:	x, 415 p. : ill. ; 24 cm
書誌ID:	BA26021509

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Quantitative Evaluation of Computing and Communication Systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance … Beilner, Heinz., Bause, Falko., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Computer Performance Evaluation Modelling Techniques and Tools : 7th International Conference Vienna, Austria, May 3–6, 1994 Proceedings Haring, Günter, Kotsis, Gabriele, SpringerLink (Online service) Springer-Verlag
2 電子ブック Quantitative Evaluation of Computing and Communication Systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance … Beilner, Heinz, Bause, Falko, SpringerLink (Online service) Springer-Verlag	8 図書 Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings CAV (Conference), Halbwachs, Nicolas, Peled, Doron Springer-Verlag
3 図書 Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings CAV (Conference), Wolper, Pierre Springer-Verlag	9 図書 Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings CAV (Conference), Emerson, E. Allen, Sistla, A. Prasad Springer
4 図書 Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings International Conference on Computer Aided Verification, Grumberg, Orna Springer-Verlag	10 図書 Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings International Conference on Computer Aided Verification, Hu, Alan J., Vardi, Moshe Springer-Verlag
5 図書 Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings CAV (Conference), Alur, Rajeev, 1966-, Henzinger, T. A. (Thomas A.) Springer-Verlag	11 図書 Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings CAV (Conference), Dill, David L. Springer-Verlag
6 電子ブック Computer Performance Evaluation: Modelling Techniques and Tools : Modelling Techniques and Tools. 7th International Conference, Vienna, Austria, May 3 - 6, … Haring, Günter., Kotsis, Gabriele., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	12 図書 Fault-tolerant computing systems : tests, diagnosis, fault treatment : 5th International GI/ITG/GMA Conference, Nürnberg, September 25-27, 1991 : proceedings Dal Cin, Mario, 1940-, Hohl, W. New York : Springer-Verlag