<図書>

Theory of computing and systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 : proceedings / D. Dolev, Z. Galil, M. Rodeh (eds.)

(Lecture notes in computer science;601)

所蔵情報を非表示

1

本郷キャンパス

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

6229/保存書庫

書誌詳細を非表示

出版者 New York : Springer-Verlag
出版年 c1992
大きさ viii, 220 p. : ill. ; 25 cm
一般注記 "ISTCS'92--The Israel Symposium on the Theory of Computing and Systems"--Foreword
Includes bibliographical references
著者標目 Dolev, D. (Danny)
Israel Symposium on the Theory of Computing and Systems (1992 : Haifa, Israel)
Galil, Zvi
Rodeh, M. (Michael)
件 名 LCSH:Electronic data processing -- Congresses
LCSH:Electronic digital computers -- Congresses
分 類 LCC:QA75.5
DC20:004
本文言語 英語
書誌ID 2000254103
ISBN 0387555536
NCID BA1428786X WCLINK

類似資料

  1. 1 Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu. V. Matiyasevich (eds.)
  2. 2 Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode, M. Taitslin (eds.)
  3. 3 Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
  4. 4 Fundamentals of computation theory : International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 : proceedings / J. Csirik, J. Demetrovics, F. Gécseg (eds.)
  5. 5 Fundamentals of computation theory : 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings / Zoltán Ésik, (ed.)
  6. 6 Exploring technology : today and tomorrow : proceedings : 1987 Fall Joint Computer Conference, October 25-29, 1987, INFORMART, Dallas, Texas / co-sponsored by the Association for Computing Machinery and the Computer Society of the IEEE and hosted by INFOMART
  7. 7 STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989 : proceedings / B. Monien, R. Cori (eds.)
  8. 8 1986 proceedings Fall Joint Computer Conference, November 2-6, 1986, INFOMART, Dallas, Texas / sponsored by ACM and Computer Society of the IEEE ; Harold S. Stone, proceedings editor and program chairman ; Stanley Winkler, conference chairman
  9. 9 STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings / R. Cori, M. Wirsing (eds.)
  10. 10 Technological leverage, a competitive necessity : digest of papers / Compcon 85, February 25-28, spring, Thirtieth IEEE Computer Society International Conference, Cathedral Hill Hotel, San Francisco, California ; sponsored by the IEEE Computer Society

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