ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Computerscience -- Congresses
図書(5 件)
選択行を:
10件
20件
50件
資料名
所在
1
Computing and combinatorics : First Annual International Conference, COCOON '95, Xi'an, China, August 24-26, 1995 : proceedings / Ding-Zhu Du, Ming Li (eds.). -- Springer-Verlag, c1995. -- (Lecture notes in computer science ; 959).
理数学
007.6:C
2
Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings / Petr Hájek (ed.). -- Springer, c1996. -- (Lecture notes in logic ; 6).
理数学
410.9:G
3
Logic from computer science : proceedings of a workshop held November 13-17, 1989 / Y.N. Moschovakis, editor ; : us, : gw. -- Springer-Verlag, c1992. -- (Mathematical Sciences Research Institute publications ; 21).
理数学
410.9:M
4
The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989 : proceedings / A. Fuhrmann, M. Morreau, (eds.) ; : gw, : us. -- Springer-Verlag, c1991. -- (Lecture notes in computer science ; 465 . Lecture notes in artificial intelligence).
工情報
007.6:F
5
Probabilistic group theory, combinatorics, and computing : lectures from the Fifth de Brún Workshop / Alla Detinko, Dane Flannery, Eamonn O'Brien, editors. -- Springer, c2013. -- (Lecture notes in mathematics ; 2070).
理数学
411.6:D
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성