>> Google Books
所蔵情報QRコード

Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1994
形態:
xi, 885 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 789 <BA00009279>
著者名:
ISBN:
9783540578871 [3540578870] (: gw)
9780387578873 [0387578870] (: us)
書誌ID:
BA22408529
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings

TACS, Pierce, Benjamin C., Kobayashi, Naoki

Springer
7 図書 DNA computing : 8th International Workshop on DNA-Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002 : revised papers

International Workshop on DNA-Based Computers, 萩谷, 昌己(1957-), 大内, 東(1945-)

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

TACS, Abadi, Martín, 伊藤, 貴康(1940-)

Springer
8 電子ブック Theoretical Aspects of Computer Software

International Symposium TACS, Hagiya, Masami, Mitchell, John C.

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
3 図書 Functional and logic programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings

萩谷, 昌己(1957-), Wadler, Philip, FLOPS

Springer
9 図書 DNAコンピュータ

萩谷, 昌己(1957-), 横森, 貴

培風館
4 図書 Theoretical aspects of computer software : International Conference TACS'91, Sendai, Japan, September 24-27, 1991 : proceedings

TACS, 伊藤, 貴康(1940-), Meyer, Albert R.

Springer-Verlag
10 図書 ナチュラルコンピューティング・シリーズ

萩谷, 昌己(1957-), 横森, 貴

近代科学社
5 図書 ソフトウェア考現学 : 基礎概念への最新おもしろガイド

萩谷, 昌己(1957-)

CQ出版
11 図書 DNAロボット : 生命のしかけで創る分子機械

萩谷, 昌己(1957-), 西川, 明男(1963-)

岩波書店
6 図書 分子コンピュータの現状と展望 : 分子プログラミングへの展開

萩谷, 昌己(1957-)

サイエンス社
12 図書 論理と計算

萩谷, 昌己(1957-), 甘利, 俊一(1936-)

岩波書店
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12