Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. 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, Michael Kaminski, Simone Martini

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5213

書誌ID:

NB02219525

ISBN:

9783540875314 [354087531X]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-87531-4

所蔵情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations
分類・件名:	LCSH : Logic, Symbolic and mathematical LCSH : Logic design FREE : Artificial Intelligence (incl. Robotics) FREE : Logics and Meanings of Programs FREE : Computer Science FREE : Mathematical Logic and Foundations LCSH : Computer science LCSH : Artificial intelligence FREE : Mathematical Logic and Formal Languages
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	7 電子ブック CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings Hutchison, David, Weikum, Gerhard, Kanade, Takeo, Naor, Moni, Mitchell, John C., Mattern, Friedemann, Kleinberg, Jon M., … Springer-Verlag
2 電子ブック Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information Hutchison, David, Kleinberg, Jon M., Pandu Rangan, C., Kittler, Josef, Mattern, Friedemann, Mitchell, John C., Naor, … Springer Berlin Heidelberg	8 電子ブック Service-Oriented Computing ? ICSOC 2008 Workshops : ICSOC 2008 International Workshops, Sydney, Australia, December 1st, 2008, Revised Selected Papers Hutchison, David, Naor, Moni, Pandu Rangan, C., Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, … Springer Berlin Heidelberg
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 電子ブック 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
4 電子ブック 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	10 電子ブック On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, … Hutchison, David, Steffen, Bernhard, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Sudan, … Springer
5 電子ブック Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Hutchison, David, Mattern, Friedemann, Kanade, Takeo, Kittler, Josef, Nierstrasz, Oscar, Naor, Moni, Pandu Rangan, C., … Springer Berlin Heidelberg	11 電子ブック On the Move to Meaningful Internet Systems: OTM 2008 : OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, … Hutchison, David, Kanade, Takeo, Kittler, Josef, Mattern, Friedemann, Kleinberg, Jon M., Mitchell, John C., Naor, Moni, … Springer
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 電子ブック 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