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. Springer 2012 Lecture Notes in Computer Science 7162 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. Springer 2010 Lecture Notes in Computer Science 5947 ISBN 978-3-642-11485-4 [ contents ]
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. Springer 2007 Lecture Notes in Computer Science 4378 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. Springer 2003 Lecture Notes in Computer Science 2890 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. Springer 2001 Lecture Notes in Computer Science 2244 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. Springer 2000 Lecture Notes in Computer Science 1755 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. Springer 1996 Lecture Notes in Computer Science 1181 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. Springer 1989 Lecture Notes in Computer Science 363 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. Springer 1993 Lecture Notes in Computer Science 735 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. Springer 1981 Lecture Notes in Computer Science 122 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]. Springer 1977 Lecture Notes in Computer Science 47 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. Springer 1974 Lecture Notes in Computer Science 5 ISBN 3-540-06720-5 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team