Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised 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, Carlos Martin-Vide, Friedrich Otto, Henning Fernau

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5196

書誌ID:

NB02219572

ISBN:

9783540882824 [3540882820]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Computation by Abstract Devices; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematics of Computing; Symbolic and Algebraic Manipulation; Theory of Computation
分類・件名:	LCSH : Computer science FREE : Symbolic and Algebraic Manipulation FREE : Mathematics of Computing LCSH : Algebra -- Data processing FREE : Theory of Computation LCSH : Information theory LCSH : Logic design FREE : Computer Science FREE : Computation by Abstract Devices FREE : Mathematical Logic and Formal Languages FREE : Logics and Meanings of Programs
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Language and Automata Theory and Applications : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings Hutchison, David, Kleinberg, Jon M., Pandu Rangan, C., Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg	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 電子ブック Automata, Languages and Programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I Hutchison, David, Kleinberg, Jon M., Sudan, Madhu, Albers, Susanne, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, … Springer Berlin Heidelberg	8 電子ブック 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
3 電子ブック Automata, Languages and Programming : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II Hutchison, David, Terzopoulos, Demetri, Marchetti-Spaccamela, Alberto, Weikum, Gerhard, Vardi, Moshe Y., Tygar, Doug, … Springer Berlin Heidelberg	9 電子ブック 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
4 電子ブック 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	10 電子ブック SOFSEM 2009: Theory and Practice of Computer Science : 35th Conference on Current Trends in Theory and Practice of Computer Science, ?pindler?v Mlyn, Czech … Hutchison, David, Pandu Rangan, C., Terzopoulos, Demetri, Naor, Moni, Mattern, Friedemann, Steffen, Bernhard, Sudan, … Springer Berlin Heidelberg
5 電子ブック Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings Hutchison, David, Weikum, Gerhard, Tygar, Doug, Lai, Xuejia, Chen, Kefei, Baek, Joonsang, Vardi, Moshe Y., Naor, Moni, … Springer	11 電子ブック Logic and Its Applications : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings Hutchison, David, Wahlster, Wolfgang, Kanade, Takeo, Weikum, Gerhard, Vardi, Moshe Y., Pandu Rangan, C., Ramanujam, R., … Springer Berlin Heidelberg
6 電子ブック High Performance Computing for Computational Science - VECPAR 2008 : 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers Hutchison, David, Nierstrasz, Oscar, Tygar, Doug, Terzopoulos, Demetri, Mattern, Friedemann, Naor, Moni, Palma, Jose M. … Springer	12 電子ブック Quantum Interaction : Third International Symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009. Proceedings Hutchison, David, Kanade, Takeo, Rijsbergen, Keith, Weikum, Gerhard, Wahlster, Wolfgang, Vardi, Moshe Y., Tygar, Doug, … Springer Berlin Heidelberg