>> Google Books
所蔵情報QRコード

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday / Hans-Jörg Kreowski ... [et al.] (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2005
形態:
xxvii, 411 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 3393 <BA00009279>
著者名:
Kreowski, H.-J. (Hans-Jörg) <DA05999979>  
ISBN:
9783540249368 [3540249362]
書誌ID:
BA71368271
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

Hutchison, David, Ehrig, Hartmut, Kanade, Takeo, Kreowski, Hans-Jörg

Springer eBooks Computer Science, Springer Berlin / Heidelberg

International Workshop on Theory and Applications of Graph Transformation, Ehrig, Hartmut, Engels, Gregor, Kreowski, …

Springer

Härder, Theo, Wedekind, Hertmut, Lehner, Wolfgang, 1969-

Springer

Ehrig, Hartmut, International Workshop on Graph Grammars and Their Applications to Computer Science, Kreowski, H.-J. …

Springer-Verlag

二木, 厚吉(1948-), Jouannaud, Jean-Pierre, Meseguer, José

Springer

Brauer, Wilfried, 1937-, Rozenberg, Grzegorz, Ehrig, Hartmut, Karhumäki, J, Salomaa, Arto, 1934-

Springer

Karhumäki, Juhani, Maurer, Hermann, Păun, Gheorghe, Rozenberg, Grzegorz

Springer

Marshak, Robert Eugene, 1916-1992, Blaker, J. Warren

Interscience

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12