8th International Workshop on ACL2 Theorem Prover and its Applications 2009 : Boston, Massachusetts, USA, 11-12, May, 2009
- シリーズ名:
- ACM Conference Proceedings
- 出版情報:
- New York, N.Y.: ACM Press, 2009
- ISBN:
- 9781617380457 [1617380458]
- 請求記号:
- A04400/200998
- 資料種別:
- 国際会議録
類似資料:
Association for Computing Machinery | |
2
国際会議録
19th ACM Great Lakes Symposium on VLSI 2009 : GLSVLSI 09, Boston, Massachusetts, USA, 10-12 May 2009
Association for Computing Machinery |
Association for Computing Machinery |
Association for Computing Machinery | |
11
国際会議録
Wavelet applications in industrial processing V : 11-12 September 2007, Boston, Massachusetts, USA
Society of Photo-optical Instrumentation Engineers | |
Association for Computing Machinery |