Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

>> Google Books

Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

フォーマット:

電子ブック

責任表示:

edited by Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 6300

書誌ID:

NB02220943

ISBN:

9783642150258 [364215025X]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-15025-8

所蔵情報

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

詳細

主題:	Algorithm Analysis and Problem Complexity; Computer Communication Networks; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Computer Communication Networks LCSH : Software engineering LCSH : Computer software LCSH : Logic design FREE : Computer Science FREE : Logics and Meanings of Programs FREE : Software Engineering FREE : Mathematical Logic and Formal Languages FREE : Algorithm Analysis and Problem Complexity FREE : Computer Communication Networks FREE : Programming Languages, Compilers, Interpreters
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Formal Modeling: Actors, Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday Agha, Gul, Danvy, Olivier, Meseguer, José, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	7 電子ブック Rewriting Computation and Proof : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday Comon-Lundh Hubert, Kirchner Helene, Kirchner Claude, SpringerLink (Online service) Springer-Verlag
2 電子ブック Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday Engels, Gregor, Lewerentz, Claus, Schäfer, Wilhelm, Schürr, Andy, Westfechtel, Bernhard, SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings Leite, João, Torroni, Paolo, Ågotnes, Thomas, Boella, Guido, Torre, Leon, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg
3 電子ブック Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Kreowski, Hans-Jorg, Orejas, Fernando, Montanari, Ugo, Rozenberg, Grzegorz, Taentzer, Gabriele, SpringerLink (Online … Springer-Verlag GmbH.	9 電子ブック Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings Dix, Jurgen, Leite, Joao, Governatori, Guido, Jamroga, Wojtek, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
4 電子ブック Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday Degano, Pierpaolo, Meseguer, Jose, Nicola, Rocco, SpringerLink (Online service) Springer-Verlag	10 電子ブック Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday Palsberg, Jens, SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Avron, Arnon, Dershowitz, Nachum, Rabinovich, Alexander, SpringerLink (Online service) Springer-Verlag	11 電子ブック Program Analysis and Compilation Theory and Practice : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday Reps Thomas, Bauer Jorg, Sagiv Mooly, SpringerLink (Online service) Springer-Verlag
6 電子ブック Algebraic Foundations in Computer Science : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement Kuich, Werner, Rahonis, George, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	12 電子ブック Data Management in a Connected World : Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday Harder, Theo, Lehner, Wolfgang, SpringerLink (Online service) Springer-Verlag GmbH.