Mendeley出力
＜図書＞
Mathematical foundations of computer science 1999 : 24th International Symposium, MFCS '99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings
| 責任表示 | Mirosław Kutyłowski, Leszek Pacholski, Tomasz Wierzbicki (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 1672 |
| データ種別 | 図書 |
| 出版情報 | Berlin : Springer , c1999 |
| 本文言語 | 英語 |
| 大きさ | xii, 453 p. : ill. ; 24 cm |
| 概要 | This book constitutes the refereed proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science, MFCS'99, held in Szklarska Poreba, Poland, in September 1999. The 37...revised full papers presented together with four invited contributions were carefully selected from 68 submissions. The papers are organized in sections on computing over reals, compression techniques, foundations of programming, complexity & algorithms, model checking, distributed computing, functional programming, automata, security, logic, counting problems, processes & bisimulation, graph algorithms, & type theory. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7005625 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 1999 |
|
061232004020978 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Symposium on Mathematical Foundations of Computer Science (24th : 1999 : Szklarska Poręba, Poland) Kutyłowski, Mirosław Pacholski, Leszek Wierzbicki, Tomasz |
| 件 名 | LCSH:Computer science -- Mathematics -- Congresses 全ての件名で検索 |
| 分 類 | LCC:QA76.9.M35 DC20:004/.01/51 |
| 書誌ID | 1000932524 |
| ISBN | 3540664084 |
| NCID | BA42872642 |
| 巻冊次 | ISBN:3540664084 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |