ID:DA0739064X
CHARME
Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Conference on Correct Hardware Design Methodologies, Advanced Research Working
IFIP WG 10.2 Advanced Research Working Conference, CHARME
IFIP WG 10.5 Advanced Research Working Conference, CHARME
同姓同名の著者を検索
Dominique Borrione, Wolfgang Paul (eds.)
Springer c2005 Lecture notes in computer science 3725
所蔵館5館
Daniel Geist, Enrico Tronci (Eds.)
Springer c2003 Lecture notes in computer science 2860
所蔵館22館
Tiziana Margaria, Tom Melham (eds.)
Springer c2001 Lecture notes in computer science 2144
所蔵館29館
Laurence Pierre, Thomas Kropf (eds.)
Springer c1999 Lecture notes in computer science 1703
所蔵館33館
Paolo E. Camurati, Hans Eveking (eds.)
Springer c1995 Lecture notes in computer science 987
所蔵館47館
George J. Milne, Laurence Pierre (eds.)
Springer-Verlag c1993 Lecture notes in computer science 683
: gw , : us
所蔵館56館