Constraint Handling Rules : Current Research Topics

フォーマット:

電子ブック

責任表示:

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, Tom Schrijvers, Thom Fruhwirth

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5388

書誌ID:

NB02217594

ISBN:

9783540922438 [3540922431]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-92243-8

所蔵情報

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

詳細

主題:	Algorithm Analysis and Problem Complexity; Artificial Intelligence (incl. Robotics); Computer Science; Database Management; Mathematical Logic and Formal Languages; Programming Techniques
分類・件名:	FREE : Programming Techniques FREE : Mathematical Logic and Formal Languages FREE : Database Management FREE : Artificial Intelligence (incl. Robotics) FREE : Algorithm Analysis and Problem Complexity FREE : Computer Science LCSH : Database management LCSH : Computer software LCSH : Artificial intelligence LCSH : Computer science
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings Hutchison, David, Mattern, Friedemann, Kleinberg, Jon M., Kanade, Takeo, Vardi, Moshe Y., Kittler, Josef, Nierstrasz, … Springer-Verlag	7 電子ブック Digital Mammography : 9th International Workshop, IWDM 2008 Tucson, AZ, USA, July 20-23, 2008 Proceedings Hutchison, David, Weikum, Gerhard, Mattern, Friedemann, Mitchell, John C., Kanade, Takeo, Nierstrasz, Oscar, Vardi, … Springer-Verlag
2 電子ブック Web Reasoning and Rule Systems : Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings Hutchison, David, Pandu Rangan, C., Kanade, Takeo, Weikum, Gerhard, Calvanese, Diego, Vardi, Moshe Y., Tygar, Doug, … Springer	8 電子ブック Detection of Intrusions and Malware, and Vulnerability Assessment : 5th International Conference, DIMVA 2008, Paris, France, July 10-11, 2008. Proceedings Hutchison, David, Mitchell, John C., Tygar, Doug, Steffen, Bernhard, Pandu Rangan, C., Naor, Moni, Mattern, Friedemann, … Springer-Verlag
3 電子ブック Complexity of Constraints : An Overview of Current Research Themes Hutchison, David, Creignou, Nadia, Sudan, Madhu, Naor, Moni, Mattern, Friedemann, Mitchell, John C., Kanade, Takeo, … Springer	9 電子ブック Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings Hutchison, David, Malik, Sharad, Pandu Rangan, C., Steffen, Bernhard, Kanade, Takeo, Nierstrasz, Oscar, Mattern, … Springer-Verlag
4 電子ブック High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings Hutchison, David, Naor, Moni, Steffen, Bernhard, Kanade, Takeo, Nierstrasz, Oscar, Mei, Hong, Mitchell, John C., … Springer-Verlag	10 電子ブック Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support : Results of the IMPROVE Project Hutchison, David, Kittler, Josef, Kanade, Takeo, Marquardt, Wolfgang, Steffen, Bernhard, Kleinberg, Jon M., Vardi, Moshe … Springer-Verlag
5 電子ブック 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	11 電子ブック Data and Applications Security XXII : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings Hutchison, David, Kleinberg, Jon M., Kittler, Josef, Kanade, Takeo, Terzopoulos, Demetri, Vardi, Moshe Y., Sudan, Madhu, … Springer-Verlag
6 電子ブック Scientific and Statistical Database Management : 20th International Conference, SSDBM 2008, Hong Kong, China, July 9-11, 2008 Proceedings Hutchison, David, Mitchell, John C., Terzopoulos, Demetri, Ludascher, Bertram, Pandu Rangan, C., Steffen, Bernhard, … Springer-Verlag	12 電子ブック Resilient Networks and Services : Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, … Hutchison, David, Naor, Moni, Terzopoulos, Demetri, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, … Springer-Verlag