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

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5608

書誌ID:

NB02220561

ISBN:

9783642022739 [3642022731]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-02273-9

所蔵情報

タイトルが類似している資料

詳細

主題:	Computer Science; Computing Methodologies; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mathematics of Computing; Symbolic and Algebraic Manipulation
分類・件名:	FREE : Computer Science LCSH : Computer science LCSH : Logic design LCSH : Electronic data processing FREE : Logics and Meanings of Programs LCSH : Algebra -- Data processing FREE : Mathematical Logic and Formal Languages LCSH : Logic, Symbolic and mathematical FREE : Mathematical Logic and Foundations FREE : Computing Methodologies FREE : Symbolic and Algebraic Manipulation FREE : Mathematics of Computing
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Rewriting Techniques and Applications : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 Proceedings Hutchison, David, Mitchell, John C., Kittler, Josef, Weikum, Gerhard, Treinen, Ralf, Terzopoulos, Demetri, Vardi, Moshe … Springer Berlin Heidelberg	7 電子ブック Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings Hutchison, David, Kleinberg, Jon M., Pandu Rangan, C., Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg
2 電子ブック Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings Hutchison, David, Naor, Moni, Sudan, Madhu, Weikum, Gerhard, Vardi, Moshe Y., Mattern, Friedemann, Terzopoulos, Demetri, … Springer Berlin Heidelberg	8 電子ブック Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth Hutchison, David, Steffen, Bernhard, Kanade, Takeo, Kittler, Josef, Nierstrasz, Oscar, Kleinberg, Jon M., Geiselmann, … Springer
3 電子ブック Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Steffen, Bernhard, Kleinberg, Jon M., Tygar, Doug, Kanade, Takeo, Weikum, … Springer Berlin Heidelberg	9 電子ブック Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers Hutchison, David, Kleinberg, Jon M., Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, … Springer-Verlag
4 電子ブック Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings Hutchison, David, Wahlster, Wolfgang, Kanade, Takeo, Weikum, Gerhard, Vardi, Moshe Y., Pandu Rangan, C., Ramanujam, R., … Springer Berlin Heidelberg	10 電子ブック Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Ong, Luke, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg
5 電子ブック Quantum Interaction : Third International Symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009. Proceedings Hutchison, David, Kanade, Takeo, Rijsbergen, Keith, Weikum, Gerhard, Wahlster, Wolfgang, Vardi, Moshe Y., Tygar, Doug, … Springer Berlin Heidelberg	11 電子ブック Advances in Grid and Pervasive Computing : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Pandu Rangan, C., Petcu, Dana, Abdennadher, Nabil, Weikum, Gerhard, Tygar, Doug, … Springer Berlin Heidelberg
6 電子ブック Rough Sets and Knowledge Technology : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings Hutchison, David, Kittler, Josef, Pandu Rangan, C., Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg	12 電子ブック Fast Software Encryption : 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers Hutchison, David, Naor, Moni, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg