Ershov Memorial Conference
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
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 BibTeX
Copyright © Sat May 16 23:10:35 2009
by Michael Ley (ley@uni-trier.de)
