4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009 | 東京工業大学附属図書館資料名データベース

Blank Cover Image

4th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2009) : Montreal, Canada, 2 August 2009

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

巻号一覧

Loading volume number list

詳細

TDL書誌ID:	ZA00058461
シリーズＩＤ:	PA00000044
会議名:	International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : LFMTP
回次:	4th
会議開催地:	Montreal, QC, Canada
会議開催年:	2009.08.02

類似資料:

1 国際会議録 7th International Workshop on Satisfiability Modulo Thoeries 2009 (SMT 09) : Montreal, Canada, 2-3, August, 2009 ACM Press	7 国際会議録 Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '00), Montréal, Canada, September … Association for Computing Machinery
2 国際会議録 4th Domain-Specific Aspect Language Workshop 2009 (DSAL 09) : held at AOSD 2009 : Charlottesville, Virginia, USA 2-6 March 2009 Association for Computing Machinery	8 国際会議録 TLDI '09 : proceedings of the 2009 ACM SIGPLAN workshop on types in language design and implementation : Savannah, Georgia, USA : January 24, 2009. : 4th ACM … Association for Computing Machinery
3 国際会議録 1st Workshop on Modules and Libraries for Proof Assistants 2009 (MLPA-2009) : Montreal, Canada, 3 August 2009 ACM Press	9 国際会議録 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security 2009 (PLAS 09) : Dublin, Ireland, 15 June 2009 ACM Press
4 国際会議録 ASME 2010 Design Engineering Technical Conferences & Computers and Information in Engineering Conference (DETC2010) : August 15-18, 2010, Montreal, Quebec, … American Society of Mechanical Engineers	10 国際会議録 4th International Workshop on Underwater Networks 2009 (WUWNet 2009) : Berkeley, California, USA, 3 Novemebr 2009 Association for Computing Machinery
5 国際会議録 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	11 国際会議録 4th Workshop on Implementation, Compilation, Optimization of Object - Oriented Languages and Programming Systems 2009 (ICOOOLPS 2009) : held at ECOOP 2009 : … Association for Computing Machinery
6 国際会議録 Thermomechanical processing in theory, modelling and practice [TMP][2] : proceedings of an International Conference Organised in Celebration of the 75th … ASM International	12 国際会議録 2nd Workshop on Best Practices in Applying Aspect-Oriented Software Development, BPAOSD '07 : held at the 6th International Conference on Aspect-Oriented … Association for Computing Machinery

1

2

3

4

5

6

7

8

9

10

11

12