[Главная] [ 2026 ] [ 2025 ] [ 2024 ] [ 2023 ] [ 2022 ] [ 2021 ] [ 2020 ] [ 2019 ] [ 2018 ] [ 2017 ] [ 2016 ] [ 2015 ] [ 2014 ] [ 2013 ] [ 2012 ] [ 2011 ] [ 2010 ] [ 2009 ] [ 2008 ] [ 2007 ] [ 2006 ] [ 2005 ] [ 2004 ] [ 2003 ] [ 2002 ] [ 2001 ] [ 2000 ] [ 1999 ] [ 1998 ] [ 1997 ] [ 1996 ] [ 1995 ] [ 1994 ] [ 1993 ] [ 1991 ] [ 1989 ] [ 1988 ] [ 1987 ] [ 1985 ] [ 1984 ] [ 1983 ] [ 1982 ]

Публикации 2000 года

[5-00] S. M. Abramov, R. Gluck. 2000. From Standard to Non-Standard Semantics by Semantics Modifiers, International Journal of Foundations of Computer Science 12 #2, pp. 171-211.

[4-00] [79] S. M. Abramov, R. Gluck. 2000. Combining semantics with non-standard interpreter hierarchies, Lecture Notes in Computer Science 1974, pp. 201-213.

[3-00] [78] S. M. Abramov, R. Gluck. 2000. The universal resolving algorithm: inverse computation in a functional language, Lecture Notes in Computer Science 1837, pp. 187-212.

[2-00] [54] Г. В. . Гузилова. 2000. Информационный сайт как средство поддержки учебного курса, Труды конференции "Информационные технологии в образовании. 15 лет курса информатики", 18-19 апреля 2000 года, Ярославль

[1-00] [18] С. М. Абрамов, В. А. Васенин, Е. Е. Мамчиц, В. А. Роганов, А. Ф. Слепухин. 2000. Динамическое распараллеливание программ на базе параллельной редукции графов. Архитектура программного обеспечения новой версии Т-системы, Труды конференции, Proc.Всероссийская научная конференция "Высокопроизводительные вычисления и их приложения", 30 октября-2 ноября 2000 г., г. Черноголовка, Изд-во МГУ, М., pp. 261-264.