Perspectives of System Informatics : Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /

Documenti analoghi

• Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers /
  di: Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
  Pubblicazione: (2001, c2001)
• Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers /
  di: Manfred Broy, Alexandre V. Zamulin
  Pubblicazione: (2003, c2003)
• Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers /
  di: Irina Virbitskaite, Andrei Voronkov
  Pubblicazione: (2007, c2007)
• Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /
  di: Amir Pnueli, Irina Virbitskaite, Andrei Voronkov
  Pubblicazione: (2010, c2010)
• Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers /
  di: Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
  Pubblicazione: (2012, c2012)