Вы здесь

Pottosin I. V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Program Optimization: State of the Art and Future Development 1990 Pottosin I. V. Informatics 89 14.02.1991
СТ Selected bibliography of Ershov s papers 1991 Pottosin I. V. Images of Programming: Dedicated to the Memory of A.P. Ershov 06.02.1992
СТ Analysis of program optimization possibilities and futher development 1991 Pottosin I. V. Images of Programming: Dedicated to the Memory of A.P. Ershov 07.02.1992
СТ Andrej Petrovich Ershov 1991 Pottosin I. V. Images of Programming: Dedicated to the Memory of A.P. Ershov 07.02.1992
СТ Application of the machine-oriented language EPSILON to the software development 1974 Pottosin I. V. Machine-oriented Higher Level Languages 26.03.1993
СТ Program Optimization: State of the Art and Future Development 1990 Pottosin I. V. INFORMATICS 89: Proc./Soviet-French Symp., vol.II, Tallinn, 1990 30.03.1993
СТ On Program Construction in a Programmer s Working Site 1988 Pottosin I. V. Informatika 88: Methods of Compilation and Program Construction: Proc./Act. Franco-soviet seminar 30.03.1993
СТ Application of Optimization Techniques to Correctness Problems 1978 Pottosin I. V., Kasyanov V. N. Constructing Quality Software 30.03.1993
СТ Systemprogrammiersprachen 1977 Pottosin I. V. Beitrage Zur Informations verarbeitung 30.03.1993
СТ The Structured Constructing as a Discipline of Safe Programming and Instruments Supporting It 1993 Aniskov M. I., Boltayev T. B., Kochetov D. V., Kuzminov T. V., Pottosin I. V. CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics 02.09.1993
СТ SOKRAT: An Environment for Safe and Efficient Programming 1993 Kasyanov V. N., Kuzminov T. V., Pokrovsky S. B., Pottosin I. V., Sabelfeld V. K., Shelekhov V. I., Stepanov G. G., Zakharov L. I. CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics 03.09.1993
СТ Formal Methods in Programming and Their Applications 1993 Pottosin I. V. SIGACT News 15.02.1994
СТ A.P.Ershov - A Pioneer and a Leader of National Programming 2001 Pottosin I. V. Lecture Notes in Computer Science 06.02.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Formal Methods in Programming and Their Applications: Proc./Intern. Conf. Academgorodok, Novosibirsk, Russia, June-July 1993 1993 Lecture Notes in Computer Science
  1. Bjorner D.
  2. Broy M.
  3. Pottosin I. V.
19.11.1993
СБ Perspectives of System Informatics PSI'96: Proc./Second Intern. Andrei Ershov Memory Conf. Akademgorodok, Novosibirsk, Russia, June 1996 1996 Lecture Notes in Computer Science
  1. Bjorner D.
  2. Broy M.
  3. Pottosin I. V.
14.02.1997
СБ Joint Bulletin of the Novosibirsk Computing Center and the Institute of Informatics Systems 1996
  1. Vasilenko V. A.
  2. Laevsky Yu. M.
  3. Pottosin I. V.
  4. Nepomniaschy V. A.
Russian Academy of Science, Siberian Division 12.02.1998
СБ Joint Bulletin of the Novosibirsk Computer Center and A. P. Ershov Institute of Informatics Systems 2000
  1. Kuzin V. I.
  2. Bandman O. L.
  3. Pottosin I. V.
  4. Nepomniaschy V. A.
Russian Academy of Science, Siberian Division 06.03.2001