Ershov Memorial Conference (PSI)
8. Ershov Memorial Conference 2011: Novosibirsk, Russia
Edmund M. Clarke, 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.
Lecture Notes in Computer Science 7162 Springer 2012, ISBN 978-3-642-29708-3
Contents 
7. Ershov Memorial Conference 2009: Novosibirsk, Russia
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.
Lecture Notes in Computer Science 5947 Springer 2010, ISBN 978-3-642-11485-4
Contents
- PSI 2009 Home Page
6. Ershov Memorial Conference 2006: Novosibirsk, Russia
Irina Virbitskaite, Andrei Voronkov (Eds.):
Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers.
Lecture Notes in Computer Science 4378 Springer 2007, ISBN 978-3-540-70880-3
Contents
5. Ershov Memorial Conference 2003: Novosibirsk, Russia
Manfred Broy, Alexandre V. Zamulin (Eds.):
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers.
Lecture Notes in Computer Science 2890 Springer 2003, ISBN 3-540-20813-5
Contents
4. Ershov Memorial Conference 2001: Novosibirsk, Russia
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.):
Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers.
Lecture Notes in Computer Science 2244 Springer 2001, ISBN 3-540-43075-X
Contents
3. Ershov Memorial Conference 1999: Novosibirsk, Russia
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.):
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings.
Lecture Notes in Computer Science 1755 Springer 2000, ISBN 3-540-67102-1
Contents
2. Ershov Memorial Conference 1996: Novosibirsk, Russia
Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.):
Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings.
Lecture Notes in Computer Science 1181 Springer 1996, ISBN 3-540-62064-8
Contents
Logic at Botik 1989: Pereslav-Zalessky, USSR
Albert R. Meyer, Michael A. Taitslin (Eds.):
Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings.
Lecture Notes in Computer Science 363 Springer 1989, ISBN 3-540-51237-3
Contents
Formal Methods in Programming and Their Applications 1993: Novosibirsk, Russia
Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.):
Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings.
Lecture Notes in Computer Science 735 Springer 1993, ISBN 3-540-57316-X
Contents
Algorithms in Modern Mathematics and Computer Science 1979: Urgench, Uzbek SSR
Andrei P. Ershov, Donald E. Knuth (Eds.):
Algorithms in Modern Mathematics and Computer Science, Proceedings, Urgench, Uzbek SSR, September 16-22, 1979.
Lecture Notes in Computer Science 122 Springer 1981, ISBN 3-540-11157-3
Contents
Methods of Algorithmic Language Implementation 1975: Novosibirsk, Russia
Andrei P. Ershov, Cornelis H. A. Koster (Eds.):
Methods of Algorithmic Language Implementation [Symposium, September 10-13, 1975, Novosibirsk, Russia, Proceedings].
Lecture Notes in Computer Science 47 Springer 1977, ISBN 3-540-08065-1
Contents
Theoretical Programming 1972: Novosibirsk, Russia
Andrei P. Ershov, V. A. Nepomniaschy (Eds.):
International Sympoisum on Theoretical Programming, Novosibirsk, Russia, August 7-11, 1972, Proceedings.
Lecture Notes in Computer Science 5 Springer 1974, ISBN 3-540-06720-5
Contents
Last update Wed May 22 03:36:34 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
