Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited 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, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5348

書誌ID:

NB02220435

ISBN:

9783642004315 [3642004318]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering
分類・件名:	FREE : Programming Techniques FREE : Mathematical Logic and Formal Languages FREE : Software Engineering FREE : Logics and Meanings of Programs FREE : Artificial Intelligence (incl. Robotics) LCSH : Computer science LCSH : Logic design LCSH : Software engineering FREE : Computer Science LCSH : Artificial intelligence
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Verbal and Nonverbal Features of Human-Human and Human-Machine Interaction : COST Action 2102 International Conference, Patras, Greece, October 29-31, 2007. … Hutchison, David, Goebel, Randy, Tygar, Doug, Bourbakis, Nikolaos G., Vardi, Moshe Y., Steffen, Bernhard, Kleinberg, Jon … Springer	7 電子ブック Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions : COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 … Hutchison, David, Sudan, Madhu, Wahlster, Wolfgang, Vich, Robert, Vardi, Moshe Y., Terzopoulos, Demetri, Steffen, … Springer Berlin Heidelberg
2 電子ブック Trust in Agent Societies : 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008. Revised Selected and Invited Papers Hutchison, David, Weikum, Gerhard, Nierstrasz, Oscar, Pandu Rangan, C., Siekmann, Jorg, Sudan, Madhu, Barber, Suzanne … Springer	8 電子ブック Sanskrit Computational Linguistics : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 … Hutchison, David, Kittler, Josef, Kanade, Takeo, Goebel, Randy, Pandu Rangan, C., Wahlster, Wolfgang, Vardi, Moshe Y., … Springer Berlin Heidelberg
3 電子ブック Programming Multi-Agent Systems : 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers Hutchison, David, Vardi, Moshe Y., Siekmann, Jorg, Steffen, Bernhard, Sudan, Madhu, Kleinberg, Jon M., Terzopoulos, … Springer Berlin Heidelberg	9 電子ブック Multimodal Signals: Cognitive and Algorithmic Issues : COST Action 2102 and euCognition International School Vietri sul Mare, Italy, April 21-26, 2008 Revised … Hutchison, David, Esposito, Anna, Hussain, Amir, Kanade, Takeo, Kittler, Josef, Goebel, Randy, Kleinberg, Jon M., … Springer Berlin Heidelberg
4 電子ブック Argumentation in Multi-Agent Systems : Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers Hutchison, David, Terzopoulos, Demetri, Pandu Rangan, C., Weikum, Gerhard, Wahlster, Wolfgang, Tygar, Doug, Sudan, … Springer Berlin Heidelberg	10 電子ブック RoboCup 2008: Robot Soccer World Cup XII Hutchison, David, Nierstrasz, Oscar, Wahlster, Wolfgang, Siekmann, Jorg, Goebel, Randy, Weikum, Gerhard, Vardi, Moshe … Springer Berlin Heidelberg
5 電子ブック Organized Adaption in Multi-Agent Systems : First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers Hutchison, David, Pitt, Jeremy, Goebel, Randy, Mitchell, John C., Siekmann, Jorg, Wahlster, Wolfgang, Vouros, George, … Springer Berlin Heidelberg	11 電子ブック Coordination, Organizations, Institutions and Norms in Agent Systems IV : COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. … Hutchison, David, Nierstrasz, Oscar, Weikum, Gerhard, Wahlster, Wolfgang, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg
6 電子ブック Attention in Cognitive Systems : 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008 Revised Selected … Hutchison, David, Kanade, Takeo, Kittler, Josef, Goebel, Randy, Weikum, Gerhard, Wahlster, Wolfgang, Mitchell, John C., … Springer Berlin Heidelberg	12 電子ブック Epistemological Aspects of Computer Simulation in the Social Sciences : Second International Workshop, EPOS 2006, Brescia, Italy, October 5-6, 2006, Revised … Hutchison, David, Kanade, Takeo, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, … Springer Berlin Heidelberg