Вы здесь

Kasyanov V. N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ An Open Adaptive Virtual Museum of Informatics History in Siberia 2011 Kasyanov V. N. IFIP AICT Perspectives on Soviet and Russian Computing 25.03.2013
СТ A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition 2007 Kasyanov V. N., Stasenko A. P. Lecture Notes in Computer Science Lecture Notes in Computer Science 20.11.2007
СТ A Support Tool for Annotated Program Manipulation 2001 Kasyanov V. N. Proc. of the Fifth European Conf. on Software Maintenance and Reengineering, Lisbon, Portugal, 14-16 March, 2001 20.07.2001
СТ Hierarchical Graph Models and Visual Processing 2000 Kasyanov V. N., Lisitsyn I. A. 16th World Computer Congress 2000 06.03.2001
М Graph Theory for Programmers: Algorithms for Processing Trees 2000 Kasyanov V. N., Evstigneev V. A. Mathematics and Its Applications 20.10.2000
СТ On Completeness of Mechanism of Annotation-Directives 1995 Kasyanov V. N. Computer Science Bulletin of the Novosibirsk Computing Center 08.04.1997
СТ A Program Manipulation System for Fine-grained Architectures 1995 Evstigneev V. A., Kasyanov V. N. Lecture Notes in Computer Science Parallel Computing Technologies 17.10.1995
СТ Formal Methods in Program Analysis and Transformations 1995 Kasyanov V. N., Sabelfeld V. K. Intern. Conf. AMCA-95: Advanced Mathematics, Computations and Applications. Abstracts A-Kor 04.07.1995
СТ 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
СТ Educational Informatics System and Education in Computer Sciences 1993 Gorodniaya L. V., Kasyanov V. N. CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics 02.09.1993
СТ Basis for program optimization 1983 Kasyanov V. N. Information Processing 83: Proc./IFIP Congress 83 16.04.1993
СТ Loop cleaning 1984 Kasyanov V. N. Information Processing Letters 16.04.1993
СТ A method for constructing quality program versions 1987 Kasyanov V. N. Informatique-85 (Les materiaux du symp. sovieto-francais) 16.04.1993
СТ Tools for program transformation 1988 Kasyanov V. N. Informatika 88. Actes de seminaire Franco-Sovetique, INRIA 16.04.1993
СТ A method for annotated programming 1989 Kasyanov V. N. Informatics 89: Proc./Soviet-French Symp., Tallinn 16.04.1993
СТ Annotated program transformation 1989 Kasyanov V. N. Methods of Theoretical and Experimental Computer Science 16.04.1993
СТ Some properties of fully feducible graphs 1973 Kasyanov V. N. Information Processing Letters 06.04.1993
СТ Program Structure Analysis in a Global Optimization 1977 Kasyanov V. N., Trachtenbrot M. B. Lecture Notes in Computer Science 06.04.1993
СТ Schematology in a Multi-Language Optimizer 1977 Kasyanov V. N., Pokrovsky S. B. Lecture Notes in Computer Science 06.04.1993
СТ Application of Optimization Techniques to Correctness Problems 1978 Pottosin I. V., Kasyanov V. N. Constructing Quality Software 30.03.1993
СТ Annotated Program Transformations 1989 Kasyanov V. N. Methods of Theoretical and Experimental Computer Science 02.12.1992
СТ Educational Software Development 1991 Gorodniaia L. V., Kasyanov V. N. Current Topics in Informatics Systems Research 23.12.1991