Theoretical Aspects of Computer Software | 金沢大学附属図書館 OPAC plus

>> Google Books

Theoretical Aspects of Computer Software

フォーマット:

電子ブック

責任表示:

TACS 2001 ; Kobayashi, Naoki ; Pierce, Benjamin C.

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2001

著者名:

ISBN:

9783540427360 [3540427368]

9783540455004 [3540455000]

子書誌情報

オンライン

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

所蔵情報

Loading availability information

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

詳細

その他の標題:	4TH INTERNATIONAL SYMPOSIUM, TACS 2001, SENDAI, JAPAN, OCTOBER 29-31, 2001. PROCEEDINGS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000211612
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Theoretical Aspects of Computer Software International Symposium TACS, Hagiya, Masami, Mitchell, John C. Springer Berlin Heidelberg	7 電子ブック FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science Conference on Foundations of Software Technology and Theoretical Computer Science, Hariharan, Ramesh, Mukund, Madhavan, … Springer Berlin Heidelberg
2 電子ブック Theoretical Aspects of Computer Software Ito Springer Berlin Heidelberg	8 電子ブック Theoretical Aspects of Computer Science Gholamreza B. Khosrovshahi, Khosrovshahi, Gholamreza B., Shokoufandeh, Ali, Shokrollahi, Amin Springer Berlin Heidelberg
3 電子ブック Theoretical Aspects of Computer Software Martín Abadi Springer Berlin Heidelberg	9 電子ブック Aspects and Prospects of Theoretical Computer Science International Meeting of Young Computer Scientists, Dassow, Jürgen, Kelemen, Jozef Springer Berlin Heidelberg
4 電子ブック Foundations of Software Technology and Theoretical Computer Science Conference on Foundations of Software Technology and Theoretical Computer Science, Pandu Rangan, C., Raman, Venkatesh, … Springer Berlin Heidelberg	10 電子ブック Foundation of Software Technology and Theoretical Computer Science Thiagarajan, Thiagarajan, P. S. Springer Berlin Heidelberg
5 図書 Types and programming languages Pierce, Benjamin C. MIT Press	11 電子ブック Foundations of Software Technology and Theoretical Computer Science S. Ramesh, Ramesh, S., Sivakumar, G. Springer Berlin Heidelberg
6 図書 Advanced topics in types and programming languages Pierce, Benjamin C. MIT Press	12 電子ブック Foundations of Software Technology and Theoretical Computer Science Goos, Gerhard; Hartmanis, Juris; van Leeuwen, Jan, Arvind, V., Ramanujam, R. Springer Berlin Heidelberg