Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /

類似資料

• Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
  著者:: Dines Bjøner, Manfred Broy, Alexandre V. Zamulin
  出版事項: (2000, c2000)
• Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /
  著者:: Manfred Broy, Alexandre V. Zamulin
  出版事項: (2003, c2003)
• Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers /
  著者:: Irina Virbitskaite, Andrei Voronkov
  出版事項: (2007, c2007)
• Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /
  著者:: Amir Pnueli, Irina Virbitskaite, Andrei Voronkov
  出版事項: (2010, c2010)
• Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers /
  著者:: Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
  出版事項: (2012, c2012)