Home Advanced Search

Advanced Search - Page 1

Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2007
  • Author: Andrei Voronkov, Irina Virbitskaite
Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Andrei Voronkov, Irina Virbitskaite (eds.)
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
  • PDF
  • English
  • Year: 2010
  • Author: Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
  • PDF
  • English
  • Year: 2010
  • Author: Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
  • PDF
  • English
  • Year: 2010
  • Author: Samson Abramsky (auth.), Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Eike Best, Philippe Darondeau (auth.), Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Elvira Albert, Puri Arenas, Samir Genaim (auth.), Nikolaj Bjørner, Andrei Voronkov (eds.)
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers
  • PDF
  • English
  • Year: 2007
  • Author: Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf (auth.), Irina Virbitskaite, Andrei Voronkov (eds.)
search