Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 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, John S. Fitzgerald, Anne E. Haxthausen, Husnu Yenigun

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 5160

書誌ID:

NB02219484

ISBN:

9783540857624 [3540857621]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Computer Science; Mathematical Logic and Formal Languages; Software Engineering; Symbolic and Algebraic Manipulation; Theory of Computation
分類・件名:	LCSH : Software engineering FREE : Theory of Computation FREE : Computer Science LCSH : Computer science LCSH : Computer software FREE : Software Engineering LCSH : Information theory FREE : Mathematical Logic and Formal Languages FREE : Symbolic and Algebraic Manipulation LCSH : Algebra -- Data processing FREE : Algorithm Analysis and Problem Complexity FREE : Computation by Abstract Devices
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	7 電子ブック 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
2 電子ブック Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers Hutchison, David, Kleinberg, Jon M., Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, … Springer-Verlag	8 電子ブック Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings Hutchison, David, Terzopoulos, Demetri, Steffen, Bernhard, Vardi, Moshe Y., Nierstrasz, Oscar, Mitchell, John C., … Springer-Verlag
3 電子ブック 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	9 電子ブック 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
4 電子ブック 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	10 電子ブック CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings Hutchison, David, Weikum, Gerhard, Kanade, Takeo, Naor, Moni, Mitchell, John C., Mattern, Friedemann, Kleinberg, Jon M., … Springer-Verlag
5 電子ブック 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	11 電子ブック Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings Hutchison, David, Tygar, Doug, Pandu Rangan, C., Jard, Claude, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., … Springer-Verlag
6 電子ブック 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	12 電子ブック Theory of Quantum Computation, Communication, and Cryptography : Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers Hutchison, David, Terzopoulos, Demetri, Sudan, Madhu, Vardi, Moshe Y., Kawano, Yasuhito, Tygar, Doug, Nierstrasz, Oscar, … Springer