東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Electronic digital computers Evaluation Congresses)
該当件数:17件
Computer performance evaluation : modelling techniques and tools : 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings / Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1786)
図書
Computer performance evaluation : modelling techniques and tools : 9th International Conference, St. Malo, France, June 3-6, 1997 : proceedings / Raymond Marie ... [et al.] (eds.)
: pbk. - Berlin ; New York : Springer , c1997. - (Lecture notes in computer science ; 1245)
Computer performance evaluation : modelling techniques and tools : 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998 : proceedings / Ramon Puigjaner, Nunzio N. Savino, Bartomeu Serra (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1469)
Quantitative evaluation of computing and communication systems : 8th International Conference on Modelling Techniques and Tools for Computer Performance and Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modelling, and : Evaluating Computing, and Communication Systems, MMB '95, Heidelberg, Germany, September 1995 : proceedings / Heinz Beilner, Falko Bause, (eds.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 977)
Computer performance evaluation : modelling techniques and tools : 7th International Conference, Vienna, Austria, May 3-6, 1994 : proceedings / Günter Haring, Gabriele Kotsis, (eds.)
Berlin : Springer-Verlag , c1994. - Tokyo. - (Lecture notes in computer science ; 794)
Modeling techniques and tools for computer performance evaluation / edited by Ramon Puigjaner and Dominique Potier
New York : Plenum Press , c1989
Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings / E. Allen Emerson, A. Prasad Sistla (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1855)
Computer aided verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings / Rajeev Alur, Thomas A. Henzinger, (eds.)
Berlin : Springer-Verlag , c1996. - New York. - (Lecture notes in computer science ; 1102)
Computer aided verification : 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings / Alan J. Hu, Moshe Y. Vardi (ed.)
Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1427)
Computer aided verification : 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997 : proceedings / Orna Grumberg (ed.)
Berlin : Springer-Verlag , c1997. - Tokyo. - (Lecture notes in computer science ; 1254)
Computer aided verification : 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 : proceedings / Nicolas Halbwachs, Doron Peled (eds.)
Berlin : Springer-Verlag , c1999. - Tokyo. - (Lecture notes in computer science ; 1633)
Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings / K.G. Larsen, A. Skou (eds.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 575)
Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings / Pierre Wolper (ed.)
Berlin : Springer-Verlag , c1995. - New York. - (Lecture notes in computer science ; 939)
Computer aided verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994 : proceedings / David L. Dill (ed.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 818)
Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings / Costas Courcoubetis (ed.)
Berlin : Springer-Verlag , c1993. - Tokyo. - (Lecture notes in computer science ; 697)
Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings / G.v. Bochmann, D.K. Probst (eds.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 663)