Logical Foundations of Computer Science : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. 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, Sergei Artemov, Anil Nerode

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Lecture Notes in Computer Science ; 5407

書誌ID:

NB02220408

ISBN:

9783540926870 [3540926879]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Arithmetic and Logic Structures; Computer Science; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Symbolic and Algebraic Manipulation; Theory of Computation
分類・件名:	LCSH : Computer science FREE : Symbolic and Algebraic Manipulation FREE : Mathematical Logic and Foundations FREE : Mathematical Logic and Formal Languages FREE : Arithmetic and Logic Structures FREE : Computer Science LCSH : Information theory LCSH : Algebra -- Data processing FREE : Theory of Computation LCSH : Logic, Symbolic and mathematical
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Languages: From Formal to Natural : Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday Hutchison, David, Mattern, Friedemann, Kanade, Takeo, Kittler, Josef, Nierstrasz, Oscar, Naor, Moni, Pandu Rangan, C., … Springer Berlin Heidelberg	7 電子ブック 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
2 電子ブック Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers Hutchison, David, Naor, Moni, Mitchell, John C., Luther, Wolfram, Kittler, Josef, Nierstrasz, Oscar, Hoffmann, Christoph … Springer-Verlag	8 電子ブック Formal Theories of Information : From Shannon to Semantic Information Theory and General Concepts of Information Hutchison, David, Kleinberg, Jon M., Pandu Rangan, C., Kittler, Josef, Mattern, Friedemann, Mitchell, John C., Naor, … Springer Berlin Heidelberg
3 電子ブック 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	9 電子ブック Computer Performance Evaluation and Benchmarking : SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings Hutchison, David, Terzopoulos, Demetri, Nierstrasz, Oscar, Kleinberg, Jon M., Mitchell, John C., Sudan, Madhu, Kittler, … Springer Berlin Heidelberg
4 電子ブック 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	10 電子ブック 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
5 電子ブック 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	11 電子ブック 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
6 電子ブック Rough Sets and Knowledge Technology : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings Hutchison, David, Kittler, Josef, Pandu Rangan, C., Vardi, Moshe Y., Tygar, Doug, Terzopoulos, Demetri, Sudan, Madhu, … Springer Berlin Heidelberg	12 電子ブック 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