Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 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, Jose Meseguer, Grigore Ro?u

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5140

書誌ID:

NB02219422

ISBN:

9783540799801 [354079980X]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings Hutchison, David, Steffen, Bernhard, Weikum, Gerhard, Tygar, Doug, Pandu Rangan, C., Nierstrasz, Oscar, Terzopoulos, … Springer-Verlag	7 電子ブック 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
2 電子ブック Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings Hutchison, David, Tygar, Doug, Toyama, Masafumi, Naor, Moni, Kittler, Josef, Vardi, Moshe Y., Ito, Masami, Kanade, … Springer-Verlag	8 電子ブック 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
3 電子ブック Coding Theory and Applications : Second International Castle Meeting, ICMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008. … Hutchison, David, Kanade, Takeo, Steffen, Bernhard, Kleinberg, Jon M., Nierstrasz, Oscar, Mitchell, John C., Naor, Moni, … Springer-Verlag	9 電子ブック Developments in Language Theory : 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Steffen, Bernhard, Kleinberg, Jon M., Tygar, Doug, Kanade, Takeo, Weikum, … Springer Berlin Heidelberg
4 電子ブック 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	10 電子ブック Algebraic Biology : Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings Hutchison, David, Naor, Moni, Regensburger, Georg, Kanade, Takeo, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, … Springer-Verlag
5 電子ブック Fast Software Encryption : 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers Hutchison, David, Naor, Moni, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg	11 電子ブック Pairing-Based Cryptography ?EPairing 2008 : Second International Conference, Egham, UK, September 1-3, 2008. Proceedings Hutchison, David, Kittler, Josef, Nierstrasz, Oscar, Kanade, Takeo, Kleinberg, Jon M., Mitchell, John C., Terzopoulos, … Springer-Verlag
6 電子ブック 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	12 電子ブック Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings Hutchison, David, Sudan, Madhu, Vardi, Moshe Y., Yenigun, Husnu, Kanade, Takeo, Weikum, Gerhard, Kittler, Josef, Tygar, … Springer-Verlag