Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

>> Google Books

Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

フォーマット:

電子ブック

責任表示:

edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 4800

書誌ID:

NB02219337

ISBN:

9783540781271 [3540781277]

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

子書誌情報

オンライン

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

所蔵情報

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

詳細

主題:	Algorithm Analysis and Problem Complexity; Algorithms; Computer Science; Computing Methodologies; Mathematical Logic and Formal Languages; Mathematics of Computing; Theory of Computation
分類・件名:	FREE : Computer Science LCSH : Information theory LCSH : Computer science LCSH : Computer software LCSH : Electronic data processing FREE : Algorithm Analysis and Problem Complexity FREE : Algorithms FREE : Computing Methodologies FREE : Mathematical Logic and Formal Languages FREE : Mathematics of Computing FREE : Theory of Computation LCSH : Algorithms
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday Abrial, Jean-Raymond, Glasser, Uwe, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	7 電子ブック Computer Science -- Theory and Applications : First International Symposium on Computer Science in Russia CSR 2006 St. Petersburg Russia June 8-122006 … Grigoriev Dima, Harrison John, Hirsch Edward A., SpringerLink (Online service) Springer-Verlag GmbH.
2 電子ブック Algebra Meaning and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday Futatsugi Kokichi, Jouannaud Jean-Pierre, Meseguer Jos-, SpringerLink (Online service) Springer-Verlag GmbH.	8 電子ブック Computer Science ?ETheory and Applications : Second International Symposium on Computer Science in Russia CSR 2007 Ekaterinburg Russia September 3-7 2007. … Diekert Volker, Voronkov Andrei, Volkov Mikhail V., SpringerLink (Online service) Springer-Verlag
3 電子ブック Logic Language Information and Computation : 14th International Workshop WoLLIC 2007 Rio de Janeiro Brazil July 2-5 2007. Proceedings Leivant Daniel, Queiroz Ruy, SpringerLink (Online service) Springer-Verlag	9 電子ブック Logic and Theory of Algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings Beckmann, Arnold, Lowe, Benedikt, Dimitracopoulos, Costas, SpringerLink (Online service) Springer-Verlag
4 電子ブック Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Blass, Andreas, Dershowitz, Nachum, Reisig, Wolfgang, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	10 電子ブック Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings Ambos-Spies, Klaus, Lowe, Benedikt, Merkle, Wolfgang, SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Computer Science ?ETheory and Applications : Third International Computer Science Symposium in Russia, CSR 2008 Moscow, Russia, June 7-12, 2008 Proceedings Hirsch, Edward A., Razborov, Alexander A., Slissenko, Anatol, Semenov, Alexei, SpringerLink (Online service) Springer-Verlag	11 電子ブック New Computational Paradigms : First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings Cooper, Barry S., Lowe, Benedikt, SpringerLink (Online service) Springer-Verlag GmbH.
6 電子ブック Graph Theory, Computational Intelligence and Thought : Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday Lipshteyn, Marina, McConnell, Ross M., Levit, Vadim E., SpringerLink (Online service) Springer Berlin Heidelberg	12 電子ブック Logical Approaches to Computational Barriers : Second Conference on Computability in Europe CiE 2006 Swansea UK June 30-July 52006 Proceedings Beckmann Arnold, Berger Ulrich, Tucker John V., L-we Benedikt, SpringerLink (Online service) Springer-Verlag GmbH.