ID:DA04725901
International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1
Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, IFIP TC 6/WG 6.1 International
IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols
FORTE '89 (1989 : Vancouver, B.C.)
International Conference on Formal Description Techniques
Formal Techniques for Networked and Distributed Systems
同姓同名の著者を検索
John Hatcliff, Elena Zucca (eds.)
Springer c2010 Lecture notes in computer science 6117
所蔵館1館
John Derrick, Jüri Vain (eds.)
Springer c2007 Lecture notes in computer science 4574
所蔵館4館
Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.)
Springer c2006 Lecture notes in computer science 4229
所蔵館7館
Farn Wang (ed.)
Springer c2005 Lecture notes in computer science 3731
Manuel Núñez ... [et al.] (eds.)
Springer c2004 Lecture notes in computer science 3236
所蔵館13館
David de Frutos-Escrig, Manuel Núñes (eds.)
Springer c2004 Lecture notes in computer science 3235
所蔵館15館
Hartmut König, Monika Heiner, Adam Wolisz (eds.)
Springer c2003 Lecture notes in computer science 2767
所蔵館20館
Doron A. Peled, Moshe Y. Vardi (eds.)
Springer c2002 Lecture notes in computer science 2529
所蔵館26館
6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 / edited by Reinhard Gotzhein and Jan Bredereke
published by Chapman & Hall on behalf of the International Federation for Information Processing 1996
edited by Gregor v. Bochmann, Rachida Dssouli and Omar Rafiq
Chapman & Hall on behalf of the International Federationfor Information Processing (IFIP) 1996
所蔵館2館
edited by Dieter Hogrefe and Stefan Leue
Chapman & Hall on behalf of the International Federation for Information Processing 1995
edited by Michel Diaz, Roland Groz
North-Holland 1993 IFIP transactions C . Communication systems ; 10
edited by K.R. Parker, G.A. Rose
North-Holland 1992 IFIP transactions C . Communications systems ; 2
所蔵館11館
edited by Juan Quemada, Jose Mañas, Enrique Vázquez
North-Holland , Distributors for the US and Canada, Elsevier Science Pub. Co. 1991
所蔵館10館
edited by Son T. Vuong
North-Holland 1990
所蔵館12館