Jump to main content

yr 〜
yr

Search results 5

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
Paper図書
George J. Milne, Laurence Pierre (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author Heading (ID)DA00351242 https://ci.nii......ac.jp/author/DA00351242#entity https:/......urceID/NII%7CDA00351242 DA07389527 https://ci.nii.ac....

The fusion of hardware design and verification : proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4-6 July 1988

The fusion of hardware design and verification : proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4-6 July 1988
Paper図書
edited by George J. MilneNorth-Holland1988
Other Libraries in Japan
  • Author Heading (ID)...7CDA03311969 DA00351242 https://ci.nii......ac.jp/author/DA00351242#entity https:/......urceID/NII%7CDA00351242

Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K.

Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K.
Paper図書
editors, George J. Milne and P.A. SubramanyamNorth Holland1986
Other Libraries in Japan
  • Author Heading (ID)...7CDA00351151 DA00351242 https://ci.nii......ac.jp/author/DA00351242#entity https:/......urceID/NII%7CDA00351242 DA00351253 https://ci.nii.ac....

CIRCAL : a calculus for circuit description

CIRCAL : a calculus for circuit description
Paper図書
by George J. MilneUniversity of Edinburgh, Department of Computer Science1982
Other Libraries in Japan
  • Author Heading (ID)DA00351242 https://ci.nii......ac.jp/author/DA00351242#entity https:/......urceID/NII%7CDA00351242

セキセイインコ巣引法

セキセイインコ巣引法
PaperMicroformDigital図書障害者向け資料あり
田伊良久志 著, 趣味の副業研究会 編纂青山書店昭和2<特227-559>
Available onlineNational Diet LibraryOther Libraries in Japan
  • Author Heading (ID)00263446 00351242

Reached to the end of result.

RSS