年 〜
年

検索結果 7 件

Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings

Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings
紙図書
Dominique Borrione, Wolfgang Paul (eds.)Springerc2005
全国の図書館
  • 著者標目Advanced Research Working Conference on Correct Hardware Design Methodologies Borrione, Dominique Paul, Wol...

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
紙図書
Daniel Geist, Enrico Tronci (Eds.)Springerc2003
全国の図書館
  • 著者標目Advanced Research Working Conference on Correct Hardware Design Methodologies Geist, Daniel Tronci, Enrico

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
紙図書
Tiziana Margaria, Tom Melham (eds.)Springerc2001
全国の図書館
  • 著者標目Advanced Research Working Conference on Correct Hardware Design Methodologies Margaria, Tiziana Melham, T. ...

Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
紙図書
Laurence Pierre, Thomas Kropf (eds.)Springerc1999
全国の図書館
  • 著者標目Advanced Research Working Conference on Correct Hardware Design Methodologies Pierre, Laurence Kropf, Thoma...

Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).

Correct hardware design and verification methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings / George J. Milne, Laurence Pierre (eds.).
紙図書
Springer-Verlagc1993.<M15-A8815>
国立国会図書館
  • 一般注記...sented at the 'Advanced Research Working Conference on Correct HARdware Design MEthodologies' held in Arles (France) on 24...
  • 著者標目IFIP WG 10.2 Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 : Arles, France) Milne,...

Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings

Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings
紙図書
Paolo E. Camurati, Hans Eveking (eds.)Springerc1995
全国の図書館
  • 著者標目Advanced Research Working Conference on Correct Hardware Design Methodologies Camurati, Paolo Eveking, Hans

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings : gw : us

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings : gw : us
紙図書
George J. Milne, Laurence Pierre (eds.)Springer-Verlagc1993
全国の図書館
  • 著者標目...erre, Laurence Advanced Research Working Conference on Correct Hardware Design Methodologies

検索結果は以上です。