Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

フォーマット:

電子ブック

責任表示:

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, Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5497

書誌ID:

NB02220577

ISBN:

9783642024443 [3642024440]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation
分類・件名:	FREE : Logics and Meanings of Programs FREE : Artificial Intelligence (incl. Robotics) FREE : Symbolic and Algebraic Manipulation FREE : Mathematical Logic and Formal Languages FREE : Computer Science LCSH : Artificial intelligence LCSH : Algebra -- Data processing LCSH : Logic design LCSH : Computer science FREE : Programming Languages, Compilers, Interpreters
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings Hutchison, David, Steffen, Bernhard, Weikum, Gerhard, Tygar, Doug, Pandu Rangan, C., Nierstrasz, Oscar, Terzopoulos, … Springer-Verlag	7 電子ブック Object-Oriented Technology. ECOOP 2008 Workshop Reader : ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports Hutchison, David, Naor, Moni, Vardi, Moshe Y., Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Tygar, Doug, Weikum, … Springer Berlin Heidelberg
2 電子ブック 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	8 電子ブック Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings Hutchison, David, Sudan, Madhu, Kittler, Josef, Alpuente, Maria, Kleinberg, Jon M., Kanade, Takeo, Mattern, Friedemann, … Springer-Verlag
3 電子ブック Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings Hutchison, David, Sudan, Madhu, Kanade, Takeo, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, … Springer Berlin Heidelberg	9 電子ブック ECOOP 2008 ?EObject-Oriented Programming : 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings Hutchison, David, Vitek, Jan, Kittler, Josef, Weikum, Gerhard, Kleinberg, Jon M., Mattern, Friedemann, Naor, Moni, Pandu … Springer-Verlag
4 電子ブック Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings Hutchison, David, Tygar, Doug, Toyama, Masafumi, Naor, Moni, Kittler, Josef, Vardi, Moshe Y., Ito, Masami, Kanade, … Springer-Verlag	10 電子ブック Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers Hutchison, David, Mitchell, John C., Nierstrasz, Oscar, Kittler, Josef, Kleinberg, Jon M., Tygar, Doug, Mattern, … Springer
5 電子ブック Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings Hutchison, David, Terzopoulos, Demetri, Steffen, Bernhard, Vardi, Moshe Y., Nierstrasz, Oscar, Mitchell, John C., … Springer-Verlag	11 電子ブック Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings Hutchison, David, Kanade, Takeo, Vardi, Moshe Y., Tygar, Doug, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, … Springer
6 電子ブック Coding Theory and Applications : Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. … Hutchison, David, Kanade, Takeo, Steffen, Bernhard, Kleinberg, Jon M., Nierstrasz, Oscar, Mitchell, John C., Naor, Moni, … Springer-Verlag	12 電子ブック Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings Hutchison, David, Tygar, Doug, Pandu Rangan, C., Jard, Claude, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., … Springer-Verlag