Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 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, Michael Hanus

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5438

書誌ID:

NB02220444

ISBN:

9783642005152 [3642005152]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Approximation and Online Algorithms : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008. Revised Papers Hutchison, David, Terzopoulos, Demetri, Nierstrasz, Oscar, Naor, Moni, Mattern, Friedemann, Kittler, Josef, Kanade, … Springer Berlin Heidelberg	7 電子ブック Arithmetic of Finite Fields : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings Hutchison, David, Terzopoulos, Demetri, Naor, Moni, Mitchell, John C., Koc, Cetin Kaya, Kanade, Takeo, Tygar, Doug, … Springer-Verlag
2 電子ブック 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	8 電子ブック Algorithms and Computation : 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings Hutchison, David, Steffen, Bernhard, Hong, Seok-Hee, Terzopoulos, Demetri, Tygar, Doug, Kittler, Josef, Vardi, Moshe Y., … Springer
3 電子ブック Applied Algebra, Algebraic Algorithms and Error-Correcting Codes : 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings Hutchison, David, Kanade, Takeo, Pandu Rangan, C., Nierstrasz, Oscar, Naor, Moni, Mitchell, John C., Mattern, … Springer Berlin Heidelberg	9 電子ブック Combinatorial Optimization and Applications : Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings Hutchison, David, Kanade, Takeo, Nierstrasz, Oscar, Naor, Moni, Mitchell, John C., Mattern, Friedemann, Kleinberg, Jon … Springer-Verlag
4 電子ブック Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings Hutchison, David, Kleinberg, Jon M., Kittler, Josef, Tyszkiewicz, Jerzy, Tygar, Doug, Terzopoulos, Demetri, Sudan, … Springer-Verlag	10 電子ブック Graph-Theoretic Concepts in Computer Science : 34th International Workshop, WG 2008, Durham, UK, June 30 ?EJuly 2, 2008. Revised Papers Hutchison, David, Tygar, Doug, Vardi, Moshe Y., Kanade, Takeo, Mattern, Friedemann, Steffen, Bernhard, Terzopoulos, … Springer
5 電子ブック Computing and Combinatorics : 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings Hutchison, David, Naor, Moni, Kanade, Takeo, Pandu Rangan, C., Nierstrasz, Oscar, Ngo, Hung Q., Mattern, Friedemann, … Springer Berlin Heidelberg	11 電子ブック Wireless Systems and Mobility in Next Generation Internet : 4th International Workshop of the EuroNGI/EuroFGI Network of Excellence Barcelona, Spain, January … Hutchison, David, Cerda-Alabern, Llorenc, Mitchell, John C., Mattern, Friedemann, Kleinberg, Jon M., Naor, Moni, … Springer
6 電子ブック Experimental Algorithms : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings Hutchison, David, Pandu Rangan, C., Mitchell, John C., Mattern, Friedemann, Kleinberg, Jon M., Kittler, Josef, Weikum, … Springer Berlin Heidelberg	12 電子ブック Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected … Hutchison, David, Kittler, Josef, Steffen, Bernhard, Mattern, Friedemann, Sudan, Madhu, Terzopoulos, Demetri, Tygar, … Springer