Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings | 三重大学附属図書館 OPAC

>> Google Books

タイトル、所在を表示します

Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings

フォーマット:

図書

責任表示:

Martín Abadi, Takayasu Ito (eds.)

言語:

英語

出版情報:

Berlin : Springer, c1997

形態:

xi, 638 p. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 1281 <BA00009279>

書誌ID:

BA32154697

ISBN:

9783540633884 [354063388X]

子書誌情報

所蔵情報

Loading availability information

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

詳細

資料形態(詳細):	Text
主題:	Computer software--Congresses
LCCN:	97033253
注記:	Includes bibliographical references and index
登録日:	1997-12-03
著者のヨミ:	イトウ, タカヤス
分類・件名:	LCC : QA76.751 DDC : 005.1/01/5113 LCSH : Computer software -- Congresses

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings TACS, 伊藤, 貴康(1940-), Meyer, Albert R. Springer-Verlag	7 図書 Foundations of Software Technology and Theoretical Computer Science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Arvind, V, Ramanujam, R Springer-Verlag
2 図書 Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings TACS, 萩谷, 昌己(1957-), Mitchell, John C. Springer-Verlag	8 図書 Foundations of software technology and theoretical computer science : 16th conference, Hyderabad, India, December 18-20, 1996 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Chandru, Vijay, Vinay, V. Springer-Verlag
3 図書 Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings TACS, Pierce, Benjamin C., Kobayashi, Naoki Springer	9 図書 Foundations of software technology and theoretical computer science : 15th conference, Bangalore, India, December 18-20, 1995 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Thiagarajan, P. S. Springer-Verlag
4 図書 Theory and practice of parallel programming : International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings International Workshop on Theory and Practice of Parallel Programming, 伊藤, 貴康(1940-), 米沢, 明憲(1947-) Springer-Verlag	10 図書 Foundations of software technology and theoretical computer science : 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Ramesh, S, Sivakumar, G Springer-Verlag
5 図書 Parallel lisp : languages and systems : US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, proceedings US/Japan Workshop on Parallel Lisp, 伊藤, 貴康(1940-), Halstead, Robert H., 1953- Springer-Verlag	11 図書 Foundations of software technology and theoretical computer science : 13th Conference, Bombay, India, December 15-17, 1993 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Shyamasundar, Rudrapatna, 1950- Springer-Verlag
6 図書 Concurrency : theory, language, and architecture : UK/Japan Workshop, Oxford, UK, September 25-27, 1989 : proceedings 米沢, 明憲(1947-), 伊藤, 貴康(1940-), UK/Japan Workshop on Concurrency Springer-Verlag	12 図書 Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings Conference on Foundations of Software Technology and Theoretical Computer Science, Thiagarajan, P. S. Springer-Verlag