<図書>

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.)

(Lecture notes in computer science;1779)

所蔵情報を非表示

1

本郷キャンパス

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

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xv, 496 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *AGTIVE (1999 : Kerkrade, The Netherlands)
Nagl, Manfred, 1944-
Schürr, Andreas
Münch, Manfred, 1971-
件 名 LCSH:Computer science -- Congresses
LCSH:Rewriting systems (Computer science) -- Congresses
分 類 LCC:QA75.5
本文言語 英語
書誌ID 2001204874
ISBN 3540676589
NCID BA4711020X WCLINK

類似資料

  1. 1 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.)
  2. 2 Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, (eds.)
  3. 3 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.)
  4. 4 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.)
  5. 5 STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings / Horst Reichel, Sophie Tison (eds.)
  6. 6 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.)
  7. 7 STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings / Afonso Ferreira, Horst Reichel (eds.)
  8. 8 Theoretical computer science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001 : proceedings / Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.)
  9. 9 STACS 2002 : 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002 : proceedings / Helmut Alt, Afonso Ferreira (eds.)
  10. 10 Fundamentals of computation theory : 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings / Rūsin̦š Freivalds (ed.)

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