著者典拠情報

著者標目形:
Jantke, Klaus P.
属性:
Personal
から見よ参照形:
Jantke, K. P.
注記:
Mathematical methods of specification and synthesis of software systems '85, 1986: t.p. (K. P. Jantke) p. 5 (Klaus P. Jantke, GDR) p. 101 (Humboldt University Berlin, Computing Center) verso of t.p. (Humboldt-Universitat zu Berlin, Sektion Mathematik)
著者典拠ID:
DA0100861X


1.

図書

図書
Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann, (eds.)
出版情報: Berlin ; Tokyo : Springer, c1995
シリーズ名: Lecture notes in computer science ; 997 . Lecture notes in artificial intelligence
所蔵情報: 図書館
2.

図書

図書
Klaus P. Jantke, Steffen Lange (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 961 . Lecture notes in artificial intelligence
所蔵情報: 図書館
3.

図書

図書
J. Dix, K.P. Jantke, P.H. Schmitt, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 543 . Lecture notes in artificial intelligence
所蔵情報: 図書館
4.

図書

図書
K.P. Jantke (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 397 . Lecture notes in artificial intelligence
所蔵情報: 図書館
5.

図書

図書
K.P. Jantke (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 265
所蔵情報: 図書館
6.

図書

図書
edited by W. Bibel and K.P. Jantke
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 215
所蔵情報: 図書館