Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday

>> Google Books

Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday

フォーマット:

電子ブック

責任表示:

edited by Simon Siegler, Nathan Wasser

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 6463

書誌ID:

NB02223997

ISBN:

9783642171727 [3642171729]

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

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-17172-7

所蔵情報

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

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Communication Networks; Computer Science; Information Systems Applications (incl.Internet); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Computer Communication Networks LCSH : Software engineering LCSH : Logic design LCSH : Information systems LCSH : Artificial intelligence FREE : Computer Science FREE : Software Engineering FREE : Computer Communication Networks FREE : Logics and Meanings of Programs FREE : Artificial Intelligence (incl. Robotics) FREE : Mathematical Logic and Formal Languages FREE : Information Systems Applications (incl.Internet)
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック 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	7 電子ブック 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
2 電子ブック 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	8 電子ブック 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
3 電子ブック From Active Data Management to Event-Based Systems and More : Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday Sachs, Kai, Petrov, Ilia, Guerrero, Pablo, SpringerLink (Online service) Springer Berlin Heidelberg	9 電子ブック Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings Touili, Tayssir, Cook, Byron, Jackson, Paul, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
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 電子ブック 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.
5 電子ブック Computational Logic in Multi-Agent Systems : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers Dix, Jürgen, Fisher, Michael, Novák, Peter, SpringerLink (Online service) Springer Berlin Heidelberg	11 電子ブック Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday de Vrijer, Roel, van Raamsdonk, Femke, Middeldorp, Aart, van Oostrom, Vincent, SpringerLink (Online service) Springer-Verlag GmbH.
6 電子ブック 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	12 電子ブック Mechanizing Mathematical Reasoning : Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday Hutter, Dieter, Stephan, Werner, SpringerLink (Online service) Springer-Verlag GmbH.