<図書>

Foundations of Software Technology and Theoretical Computer Science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings / V. Arvind, R. Ramanujam (eds.)

(Lecture notes in computer science;1530)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1530 2012757908

保存書庫
3

駒場Ⅰキャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
数理科学・保存
RO:Foundations 8010223538


書誌詳細を非表示

出版者 Berlin : Springer-Verlag
出版年 c1998
大きさ xii, 366 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *Conference on Foundations of Software Technology and Theoretical Computer Science (18th : 1998 : Chennai, India)
Arvind, V
Ramanujam, R
件 名 LCSH:Computer software -- Congresses
分 類 LCC:QA76.751
本文言語 英語
書誌ID 2000795385
ISBN 3540653848
NCID BA39070369 WCLINK

類似資料

  1. 1 Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings / Naoki Kobayashi, Benjamin C. Pierce (eds.)
  2. 2 SOFSEM '99 : theory and practice of informatics : 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27-December 4, 1999 : proceedings / Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
  3. 3 Foundations of software science and computation structures : third International Conference, FOSSACS 2000, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Jerzy Tiuryn (ed.)
  4. 4 Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Furio Honsell, Marino Miculan (eds.)
  5. 5 Foundations of software technology and theoretical computer science : 14th conference, Madras, India, December 15-17, 1994 : proceedings / P.S. Thiagarajan (ed.)
  6. 6 SOFSEM '96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings / Keith G. Jeffery, Jaroslav Král, Miroslav Bartošek (eds.)
  7. 7 Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings / Masami Hagiya, John C. Mitchell, eds
  8. 8 Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings / Martín Abadi, Takayasu Ito (eds.)
  9. 9 Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 13-15, 1999 : proceedings / C. Pandu Rangan, V. Raman, R. Ramanujam (eds.)
  10. 10 FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings / Sanjiv Kapoor, Sanjiva Prasad (eds.)

検索結果一覧に戻る ページトップ