7th International Workshop on Satisfiability Modulo Thoeries 2009 (SMT 09) : Montreal, Canada, 2-3, August, 2009 | 東京工業大学附属図書館資料名データベース

Blank Cover Image

7th International Workshop on Satisfiability Modulo Thoeries 2009 (SMT 09) : Montreal, Canada, 2-3, August, 2009

シリーズ名:: ACM Conference Proceedings
シリーズ巻号:: SMT 2009
出版情報:: New York, N.Y.: ACM Press, 2009
ISBN:: 9781617380433 [1617380431]
請求記号:: A04400/200991
資料種別:: 国際会議録

巻号一覧

Loading volume number list

詳細

TDL書誌ID:	ZA00058515
シリーズＩＤ:	PA00000044
会議名:	International Workshop on Satisfiability Modulo Thoeries : SMT
回次:	7th
会議開催地:	Montreal, QC, Canada
会議開催年:	2009.08.02-2009.08.03

類似資料:

1 国際会議録 4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009 ACM Press	7 国際会議録 3rd ACM International Workshop on Data and Text Mining in Bioinformatics 2009 (DTMBIO 09) : held at CIKM 2009 : Hong Kong, China 2-6 November 2009 Association for Computing Machinery
2 国際会議録 1st Workshop on Modules and Libraries for Proof Assistants 2009 (MLPA-2009) : Montreal, Canada, 3 August 2009 ACM Press	8 国際会議録 12th ACM international workshop on data warehousing and OLAP (DOLAP 09), Hong Kong, China, 2-6 November 2009 Association for Computing Machinery
3 国際会議録 2nd International Workshop on Social Software Engineering and Aplications 2009 (SoSEA 09) : Amsterdam, The Netherlands, 24 August 2009 Association for Computing Machinery	9 国際会議録 4th International Workshop on Use of P2P, Grid and Agents for the Development of Content Networks 2009 (UPGRADE-CN 09) : held at HPDC 2009 : Munich, Germany, … ACM Press
4 国際会議録 6th International Workshop on Data Management for Sensor Networks 2009 (DMSN 09) : Lyon, France, 24 August 2009 ACM Press	10 国際会議録 19th international workshop on network and operating systems support for digital audio and video 2009 : (NOSSDAV 09) : Williamsburg, Virginia, USA : 3-5 June … Association for Computing Machinery
5 国際会議録 7th International Workshop on Challenges of Large Applications in Distributed Environments 2009 (CLADE 09) : held at HPDC 2009 : Munich, Germany, 10 June 2009 ACM Press	11 国際会議録 NPAR 2009 : proceedings : 7th International Symposium on Non-Photorealistic Animation and Rendering : New Orleans, Louisiana : August 1-2, 2009 Association for Computing Machinery
6 国際会議録 ASME 2009 Design Engineering Technical Conferences & Computers and Information in Engineering Conference (DETC2009) : August 30- September 2, 2009, San Diego, … American Society of Mechanical Engineers	12 国際会議録 Proceedings of the ASME 2010 3rd Joint US-European Fluids Engineering Summer Meeting and 8th International Conference on Nanochannels, Microchannels, and … American Society of Mechanical Engineers

1

2

3

4

5

6

7

8

9

10

11

12