Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

>> Amazon.co.jp

このページのQRコード

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

種類:

図書

責任表示:

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)

出版情報:

Berlin : Springer, c2001

著者名:

シリーズ名:

Lecture notes in computer science ; 2090 <BA00009279>

ISBN:

9783540424796 [3540424792]

注記:

"LNCS 2090 : Tutorial" -- on cover
Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

主題:	総記--情報学．情報科学
分類・件名:	NDC9 : 007
TTLL:	eng
言語:	英語
形態:	vi, 429 p. : ill. ; 24 cm
書誌ID:	BA53479204

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures Cassez, Franck, Jard, Claude, Rozoy, Brigitte, Ryan, Mark Dermot Springer	7 図書 Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998 DIKU International Summer School on Partial Evaluation, Hatcliff, John, Mogensen, Torben Æ, Thiemann, P. (Peter), 1964- Springer
2 図書 Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised … Mathematics of Program Construction, Backhouse, Roland C., 1948-, Crole, Roy L, Gibbons, Jeremy Springer	8 図書 Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings Italian Conference on Theoretical Computer Science, Restivo, Antonio, Ronchi Della Rocca, Simona, Roversi, Luca Springer
3 図書 Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August … European Summer School in Logic, Language, and Information, Väänänen, J. (Jouko), 1950- Springer	9 図書 Energy minimization methods in computer vision and pattern recognition : 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003 : … Figueiredo, Mário, 1962-, Zerubia, Josiane, 1957-, Anand Rangarajan Springer
4 図書 Multi-agent-based simulation VI : International Workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers MABS, Sichman, Jaime S. (Jaime Simão), Antunes, Luis Springer	10 図書 Proceedings, 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
5 図書 Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 European Educational Forum School on Embedded Systems, Rozenberg, Grzegorz, Vaandrager, Frits Springer	11 図書 Proceedings, 17th Annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002 Copenhagen, Denmark, held in conjunction with the Third Federated Logic … Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of … IEEE Computer Society
6 図書 Applied semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000, Advanced lectures Barthe, Giles Springer	12 図書 Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings International AMAST Workshop, Katoen, Joost-Pieter Springer