>> Amazon.co.jp
このページのQRコード

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996

種類:
図書
責任表示:
Grzegorz Rozenberg, Frits Vaandrager (eds.)
出版情報:
Berlin ; Tokyo : Springer, c1998
著者名:
シリーズ名:
Lecture notes in computer science ; 1494 <BA00009279>
ISBN:
9783540651932 [3540651934]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 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 : …

EEF/Euro Summer School on Trends in Computer Science, Brinksma, Ed, Hermanns, Holger, Katoen, Joost-Pieter

Springer
7 図書 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
2 図書 Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers

International Workshop on Theory and Applications of Graph Transformation, Ehrig, Hartmut, Engels, Gregor, Kreowski, &hellip;

Springer
8 図書 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
3 図書 Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of …

European Symposium on Programming, Smolka, Gert

Springer
9 図書 Applications and Theory of Petri Nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings

International Conference on Applications and Theory of Petri Nets, Colom, José-Manuel, Koutny, Maciej

Springer
4 図書 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
10 図書 Applied semantics : International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000, Advanced lectures

Barthe, Giles

Springer
5 図書 Languages, compilers, and tools for embedded systems : ACM SIGPLAN Workshop LCTES'98, Montreal, Canada, June 19-20, 1998 : proceedings

ACM SIGPLAN Workshop LCTES '98 (1998 : Montréal, Québec), Mueller, Frank Frederick, 1937-, Bestavros, Azer

Springer
11 図書 Public key infrastructure : first European PKI Workshop : research and applications, EuroPKI 2004, Samos Island, Greece, June 25-26, 2004 : proceedings

EuroPKI, Katsikas, Sokratis K., Gritzalis, Stefanos, Lopez, Javier

Springer
6 図書 Unifying Petri nets : advances in Petri nets

Ehrig, Hartmut, Juhás, Gabriel, Padberg, Julia, Rozenberg, Grzegorz

Springer
12 図書 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