>> 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]  CiNii Books  Calil
注記:
"LNCS 2090 : Tutorial" -- on cover
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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 &hellip;

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 : 34th Annual Symposium on Foundations of Computer Science, November 3-5, 1993, Palo Alto, California

Symposium on Foundations of Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of &hellip;

IEEE Computer Society Press
6 図書 Applied semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000, Advanced lectures

Barthe, Giles

Springer
12 電子ブック Business Intelligence : First European Summer School, eBISS 2011, Paris, France, July 3-8, 2011, Tutorial Lectures

Aufaure, Marie-Aude., Zimányi, Esteban., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer