8th International Workshop on ACL2 Theorem Prover and its Applications 2009 : Boston, Massachusetts, USA, 11-12, May, 2009 | 東京工業大学附属図書館資料名データベース

Blank Cover Image

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
資料種別:: 国際会議録

巻号一覧

Loading volume number list

詳細

TDL書誌ID:	ZA00058522
シリーズＩＤ:	PA00000044
会議名:	International Workshop on ACL2 Theorem Prover and its Applications
回次:	8th
会議開催地:	Boston, MA, USA
会議開催年:	2009.05.11-2009.05.12

類似資料:

1 国際会議録 2nd International Workshop on Location and the Web 2009 (LOCWEB 09) : Boston, Massachusetts, USA 4 April 2009 ACM Press	7 国際会議録 27th annual CHI conference on human factors in computing systems 2009 (CHI 2009) : extended abstracts : Boston, Massachusetts, USA : 4-9 April 2009. : CHI 2009 … 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	8 国際会議録 8th Workshop on Aspects, Components, and Patterns for Infrastructure Software 2009 (ACP4IS 2009) : Charlottesville, Virginia, USA 2-6 March 2009 Association for Computing Machinery
3 国際会議録 Proceedings of the 12th IASTED International Conference on Intelligent Systems and Control, November 2-4, 2009, Cambridge, Massachusetts, USA IASTED	9 国際会議録 5th International Computing Education Research Workshop (ICER 2009) : Berkeley, California, USA, 10-11 August 2009 ACM Press
4 国際会議録 Proceedings of the 14th IASTED International Conference on Robotics and Applications, November 2-4, 2009, Cambridge, Massachusetts, USA IASTED	10 国際会議録 13th International Workshop on Aspect-Oriented Modeling 2009 (AOM 2009) held at AOSD 2009 : Charlottesville, Virginia, USA 2-6 March 2009 Association for Computing Machinery
5 国際会議録 Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, November 2-4, 2009, Cambridge, Massachusetts, USA IASTED	11 国際会議録 8th ACM international workshop on data engineering for wireless and mobile access 2009 : (MobiDE 2009) : Providence, Rhode Island, USA : 29 June 2009 Association for Computing Machinery
6 国際会議録 6th International Workshop on Challenges of Large Applications in Distributed Environments (CLADE 2008) : Boston, Massachusetts, USA, 23 June 2008 ACM Press	12 国際会議録 International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multimodal Interfaces 2009 : ICMI-MLMI 09 : Cambridge, Massachusetts, USA … ACM Press

1

2

3

4

5

6

7

8

9

10

11

12