1.
電子ブック |
Wolfgang Grieskamp, Takeo Kanade, Carsten Weise
|
|||||||
2.
電子ブック |
Alexandre Petrenko, Wolfgang Grieskamp, Takeo Kanade, Jan Tretmans, Margus Veanes, International Federation for Information Processing.
|
|||||||
3.
図書 |
Wolfgang Grieskamp, Carsten Weise (eds.)
|
|||||||
4.
電子ブック |
Wolfgang Grieskamp, Takeo Kanade, Carsten Weise, Josef Kittler
|
|||||||
5.
電子ブック |
Alexandre Petrenko, Wolfgang Grieskamp, Takeo Kanade, Jan Tretmans, Margus Veanes, International Federation for Information Processing.
|
|||||||
6.
電子ブック |
International Conference on Integrated Formal Methods, Wolfgang Grieskamp, Juris Hartmanis, Thomas Santen, Bill Stoddart
|
文献の複写および貸借の依頼を行う
文献複写・貸借依頼
文献複写・貸借依頼