1.
電子ブック |
International Conference on Formal Methods for Open Object-Based Distributed Systems, Takeo Kanade, Martin Steffen, Gianluigi Zavattaro, IFIP Working Group 6.1.
|
|||||
2.
電子ブック |
Gilles Barthe, Frank S. Boer, Frank S. de Boer, Takeo Kanade, IFIP Working Group 6.1.
|
|||||
3.
電子ブック |
Elie Najm, Vaeronique Donzeau-Gouge, V?ronique Vigui? Donzeau-Gouge, Takeo Kanade, Jean-Franecois Pradat-Peyre, Jean-Fran?ois Pradat-Peyre, IFIP Working Group 6.1.
|
|||||
4.
電子ブック |
Marcello M. Bonsangue, David Hutchison, Einar Broch Johnsen, Takeo Kanade, IFIP Working Group 6.1.
|
|||||
5.
電子ブック |
John Derrick, Takeo Kanade, J?ri Vain, IFIP Working Group 6.1.
|
|||||
6.
電子ブック |
International Conference on Formal Methods for Open Object-Based Distributed Systems, Takeo Kanade, Martin Steffen, Gianluigi Zavattaro, IFIP Working Group 6.1., Josef Kittler
|
|||||
7.
電子ブック |
Gilles Barthe, Frank S. Boer, Frank S. de Boer, Takeo Kanade, IFIP Working Group 6.1., Josef Kittler
|
|||||
8.
電子ブック |
Marcello M. Bonsangue, David Hutchison, Einar Broch Johnsen, Takeo Kanade, IFIP Working Group 6.1.
|
|||||
9.
電子ブック |
Elie Najm, Vaeronique Donzeau-Gouge, Véronique Viguié Donzeau-Gouge, Takeo Kanade, Jean-Franecois Pradat-Peyre, Jean-François Pradat-Peyre, IFIP Working Group 6.1.
|
|||||
10.
電子ブック |
John Derrick, Takeo Kanade, Jüri Vain, IFIP Working Group 6.1.
|
文献の複写および貸借の依頼を行う
文献複写・貸借依頼
文献複写・貸借依頼