close
1.

図書
図書
1. Formal description techniques, VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
edited by Dieter Hogrefe and Stefan Leue
出版情報: London ; Tokyo : Chapman & Hall on behalf of the International Federation for Information Processing, 1995  x, 520 p. ; 25 cm
所蔵情報: loading…
2.

図書
図書
2. Open distributed processing, II : proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processsing, Berlin, Germany, 13-16 September, 1993
edited by Jan de Meer, Bernd Mahr, Silke Storp
出版情報: Amsterdam ; New York : North-Holland, 1994  xviii, 411 p. ; 23 cm
シリーズ名: IFIP transactions ; C . Communication systems ; 20
所蔵情報: loading…
3.

図書
図書
3. Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, proceedings
Hartmut König, Monika Heiner, Adam Wolisz (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 429 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2767
所蔵情報: loading…
4.

図書
図書
4. Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid, Spain, September 27-30, 2004 : proceedings
David de Frutos-Escrig, Manuel Núñes (eds.)
出版情報: Berlin : Springer, c2004  x, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3235
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼