Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed
| データ種別 | 図書 |
|---|---|
| 出版者 | Berlin ; New York : Springer-Verlag |
| 出版年 | c1990 |
| 本文言語 | 英語 |
| 大きさ | viii, 544 p. : ill. ; 25 cm |
所蔵情報を非表示
1
秋田公立美術大学
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 予約 | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| 閉架書庫 |
|
410 || Ma72 | 0131554 |
|
3540529535 | 1990 |
|
|
書誌詳細を非表示
| 一般注記 | Papers selected for presentation at the 15th Symposium on Mathematical Foundations of Computer Science, held in Banská Bystrica, Czechoslovakia, Aug. 27-31, 1990 "MFCS '90" |
|---|---|
| 著者標目 | Rovan, Branislav, 1947- Symposium on Mathematical Foundations of Computer Science (15th : 1990 : Banská Bystrica, Czechoslovakia) |
| 件 名 | LCSH:Computer science -- Mathematics -- Congresses |
| 分 類 | LCC:QA76.9.M35 DC20:004/.01/51 |
| 書誌ID | 2000035430 |
| ISBN | 3540529535 |
| NCID | BA10756368 |
類似資料
-
1
Selected topics in discrete mathematics : proceedings of the Moscow Discrete Mathematics Seminar, 1972-1990 / A.K. Kelmans, editor
-
2
Discrete mathematics / Richard Johnsonbaugh
-
3
Discrete mathematics for new technology / Rowan Garnier, John Taylor : hbk,: pbk
-
4
An introduction to discrete mathematics, formal system specification, and Z / D.C. Ince : hbk.,: pbk.
-
5
Graph-theoretic concepts in computer science : 17th International Workshop, WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings / G. Schmidt, R. Berghammer (eds.) : gw,: us
-
6
Sequences II : methods in communication, security and computer science / Renato Capocelli, Alfredo De Santis, Ugo Vaccaro, editors : us,: gw
-
7
Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992 / edited by José Cuena
-
8
Cognitive aspects of visual languages and visual interfaces / edited by Michael J. Tauber, Dirk E. Mahling, Farah Arefi
-
9
Knowledge-based computer-aided architectural design / edited by Gianfranco Carrara, Yehuda E. Kalay
-
10
Numerical methods for CAD / Yvon Gardan