Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, 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, Andy King

言語:

英語

出版情報:

Berlin, Heidelberg : Springer, 2008

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 4915

書誌ID:

NB02219373

ISBN:

9783540787693 [3540787690]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers Hutchison, David, Nierstrasz, Oscar, Vardi, Moshe Y., Weikum, Gerhard, Sudan, Madhu, Hanus, Michael, Kanade, Takeo, … Springer Berlin Heidelberg	7 電子ブック Innovations for Requirement Analysis. From Stakeholders?ENeeds to Formal Designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. … Hutchison, David, Vardi, Moshe Y., Steffen, Bernhard, Weikum, Gerhard, Tygar, Doug, Sudan, Madhu, Pandu Rangan, C., … Springer
2 電子ブック Applications of Graph Transformations with Industrial Relevance : Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised … Hutchison, David, Mitchell, John C., Naor, Moni, Kittler, Josef, Kanade, Takeo, Pandu Rangan, C., Schurr, Andy, Vardi, … Springer	8 電子ブック Computer Music Modeling and Retrieval. Sense of Sounds : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers Hutchison, David, Kleinberg, Jon M., Mattern, Friedemann, Kanade, Takeo, Steffen, Bernhard, Kronland-Martinet, Richard, … Springer-Verlag
3 電子ブック Service-Oriented Computing - ICSOC 2007 Workshops : ICSOC 2007, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers Hutchison, David, Kanade, Takeo, Kittler, Josef, Nitto, Elisabetta, Vardi, Moshe Y., Mitchell, John C., Mattern, … Springer Berlin Heidelberg	9 電子ブック Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers Hutchison, David, Vardi, Moshe Y., Sudan, Madhu, Steffen, Bernhard, Tygar, Doug, Kleinberg, Jon M., Weikum, Gerhard, … Springer
4 電子ブック Theory and Practice of Model Transformations : Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings Hutchison, David, Pandu Rangan, C., Paige, Richard F., Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, … Springer Berlin Heidelberg	10 電子ブック 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
5 電子ブック Practical Aspects of Declarative Languages : 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings Hutchison, David, Swift, Terrance, Steffen, Bernhard, Pandu Rangan, C., Vardi, Moshe Y., Nierstrasz, Oscar, Naor, Moni, … Springer Berlin Heidelberg	11 電子ブック 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
6 電子ブック Advances in Software Engineering : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures Hutchison, David, Kanade, Takeo, Borger, Egon, Cisternino, Antonio, Sudan, Madhu, Steffen, Bernhard, Pandu Rangan, C., … Springer	12 電子ブック 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