<図書>

Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)

(Lecture notes in computer science;1755)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xii, 540 p. : ill. ; 24 cm
一般注記 Includes bibliogarphical references and index
著者標目 *International Andrei Ershov Memorial Conference (3rd : 1999 : Novosibirsk, Russia)
Bjørner, D. (Dines), 1937-
Broy, M., 1949-
Zamulin, Alexandre V.
件 名 LCSH:Computer systems -- Congresses
LCSH:Computer science -- Congresses
分 類 LCC:QA76
LCC:QA75.5
本文言語 英語
書誌ID 2000998217
ISBN 3540671021
NCID BA45241036 WCLINK

類似資料

  1. 1 Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
  2. 2 Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003 : revised papers / Manfred Broy, Alexandre V. Zamulin (eds.)
  3. 3 Randomization and approximation techniques in computer science : International Workshop RANDOM '97, Bologna, Italy, July 11-12, 1997 : proceedings / José Rolim (ed.)
  4. 4 Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings / Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
  5. 5 Applications of graph transformations with industrial relevance : second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003 : revised selected and invited papers / John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.)
  6. 6 Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
  7. 7 STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings / Horst Reichel, Sophie Tison (eds.)
  8. 8 Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings / Jan van Leeuwen ... [et al.] (eds.)
  9. 9 STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings / Afonso Ferreira, Horst Reichel (eds.)
  10. 10 Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings / Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.)

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