edited by Miroslaw Kutylowski, Witold Charatonik, Maciej Gebala
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
電子ブック| No. | 刷年 | 所在 | 請求記号 | 資料ID | 貸出区分 | 状況 | 予約人数 |
|---|---|---|---|---|---|---|---|
|
1 |
|
電子ブック |
|
|
|
|
|
2009
機械可読データファイル -- リモートファイル (wr)
: v.: digital
英語 (eng)
英語 (eng)
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
9783642034091 (: electronic bk)
