Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
- フォーマット:
- 電子ブック
- 責任表示:
- edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pierre-Louis Curien
- 言語:
- 英語
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
- 形態:
- v.: digital
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 5608
- 書誌ID:
- NB02220561
- ISBN:
- 9783642022739 [3642022731]
- 学内からのみアクセスすることができます。
類似資料:
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg | |
Springer Berlin Heidelberg | |
Springer Berlin Heidelberg |
Springer-Verlag GmbH Berlin Heidelberg |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |