Computer Science Logic

>> Google Books

Computer Science Logic

フォーマット:

電子ブック

責任表示:

Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan ; Baaz, Matthias ; Makowsky, Johann A.

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2003

著者名:

ISBN:

9783540408017 [3540408010]

9783540452201 [3540452206]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

その他の標題:	17TH INTERNATIONAL WORKSHOP, CSL 2003, 12TH ANNUAL CONFERENCE OF THE EACSL, AND 8TH KURT GÖDEL COLLOQUIUM, KGC 2003 VIENNA, AUSTRIA, AUGUST 25-30, 2003, PROCEEDINGS
Affiliation:	European Association for Computer Science Logic.
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000212167
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Foundations of Software Technology and Theoretical Computer Science Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Arvind, V., Ramanujam, R. Springer Berlin Heidelberg	7 電子ブック Electronic Government Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg
2 電子ブック Gesture-Based Communication in Human-Computer Interaction Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Camurri, Antonio, Volpe, Gualtiero Springer Berlin / Heidelberg	8 電子ブック Knowledge-Based Intelligent Information and Engineering Systems Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg
3 電子ブック Computational Science — ICCS 2002 Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan; Hoekstra, A.G. Springer Berlin Heidelberg	9 電子ブック FME 2003: Formal Methods Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg
4 電子ブック Multiple Approaches to Intelligent Systems Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg	10 電子ブック Computer Vision — ECCV 2002 Goos, Gerhard, Hartmanis, Juris Springer Berlin Heidelberg
5 電子ブック Discrete and Computational Geometry Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg	11 電子ブック Formal Methods for Software Architectures Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Bernardo, Marco, Inverardi, Paola Springer Berlin Heidelberg
6 電子ブック E-Commerce and Web Technologies Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan Springer Berlin Heidelberg	12 電子ブック Communication in Multiagent Systems Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Huget, Marc-Philippe Springer Berlin Heidelberg