1. Eвстигнеев В.А., Касьянов В.Н. Толковый словарь по теории графов в информатике и программировании. – Новосибирск: Наука, 1999. – 288 с.
2. Кузьминов Т.В. Криптографические методы защиты информации. – Новосибирск: Наука, 1999. – 194 с.

1. Ануреев И.С. Метод элиминации структур данных, основанный на системах переписывания формул // Программирование. – 1999. – № 4. – С. 5–15.
2. Вирбицкайте И.Б., Покозий Е.А. Использование техники частичных порядков для верификации временных сетей Петри // Программирование. – 1999. – № 1. – С. 28–41.
3. Вирбицкайте И.Б., Покозий Е.А. Метод параметрической верификации поведения временных сетей Петри // Программирование. – 1999. – № 4. – С. 16–29.
4. Годель Т.–К., Чури К., Замулин А.В. Динамические системы с неявным состоянием // Программирование. – 1999. – № 4. – С. 30–42.
5. Загорулько Ю.А., Кононенко И.С., Попов И.Г. Экспериментальная система понимания метеорологических телеграмм // Тр. междунар. семинара "Диалог'99" по компьютерной лингвистике и ее приложениям. – Таруса, 1999. – Т. 2. – С. 57–66.
6. Загорулько Ю.А., Попов И.Г., Тарасевич В.В. Моделирование потоков в сложных системах с применением интеллектуальных технологий // Тр. междунар. конф. "Проблемы управления и моделирования в сложных системах". – Самара: Самарский научный центр РАН, 1999. – С. 39–44.
7. Замулин А.В. Механизм для формального описания динамических систем // Программирование. – 1999. – № 5. – С. 3–14.
8. Калинина Н.А., Хегай Ж.Э. Информационная образовательная среда на базе систем компьютерной алгебры: опыт разработки // Дистанционное образование. – № 5. – 1999. – С. 18–23.
9. Костов Ю. В. О некоторых недостатках научной идеологии и методологии // Тр. 4-го междунар. семинара по прикладной семиотике, семиотическому и интеллектуальному управлению (ASC/IC'99). – М., 1999. – С. 166–181.
10. Малюх В.Н., Пронько А.Н. Проектирование зданий в САПР bCAD // САПР и графика. – 1999. – № 2. – C. 43-46.
11. Малюх В.Н., Пронько А.Н. Автоматизация проектирования корпусной мебели на базе САПР bCAD // Мебельщик. – 1999. – № 4. – C. 21–24.
12. Малюх В.Н.. bCAD-САПР для инженера // Компьютерра+. – 1999. – № 35. – С. 8–9.
13. Можейко А.А. Об одном подходе к проблеме реинжениринга цифровых схем на примере перепроектирования телекоммуникационной схемы // Автометрия. – 1999.– № 3.– С. 115–118.
14. Непомнящий В.А. Верификация финитной итерации над структурами данных // Кибернетика и системный анализ. – 1999. – № 3. – C. 25–37.
15. Непомнящий В.А., Алексеев А.Г., Быстров А.В., Куртов С.А., Мыльников С.П., Окунишникова Е.В., Чубарев П.А., Чурина Т.Г. Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle // Известия РАН. Сер.: Теория и системы управления. – 1999. – № 5. – C. 105–116.
16. Непомнящий В.А., Шилов Н.В., Бодин Е.В. Спецификация и верификация распределенных систем средствами языка Elementary-REAL // Программирование. – 1999. – № 4. – C. 54–67.
17. Селиванов В.Л. Утончения полиномиальной иерархии // Алгебра и логика. – 1999. – Т. 38, № 4. – С. 456–475.
18. Смердина Г.В. Когнитивная сеть и ее использование для задач динамического адаптивного управления // Тр. междунар. конф. "Проблемы управления и моделирования в сложных системах". – Самара: Самарский научный центр РАН, 1999. – С. 178–183.
19. Смердина Г.В. Когнитивная сеть – активная динамическая среда для задач управления и принятия решений // Тр. 4-го междунар. семинара по прикладной семиотике, семиотическому и интеллектуальному управлению (ASC/IC’99). – М., 1999. – C. 89–102.
20. Ушаков Д.М. О локальной совместности систем линейных ограничений // Вычислительные технологии. – 1999. – Т. 4, № 4. – С. 76–79.
21. Швецов И.Е., Нестеренко Т.В. Проектирование статических и динамических систем средствами программирования в ограничениях // Тр. междунар. конф. "Проблемы управления и моделирования в сложных системах". – Самара, 1999. – С. 262–267.
22. Anureev I.S. Formula Rewriting Systems and Their Application to Automated Program Verification // Joint Bulletin of NCC&IIS. Ser.: Comput. Sci. – 1999. – N 12. – (To appear).
23. Emelianov P.G. Analysis of Equality Relationships: Proofs and Examples // Joint Bulletin of NCC & IIS. Ser.: Comput. Sci. – 1999. – N 11. – P. 15–38.
24. Kasyanov V.N., Evstigneev V.A., Malinina J.V., Birjukova J.V., Markin V.A., Haritonov E.V., Tsikoza S.G. Support Tools for Supercomputing // Joint Bulletin of NCC&IIS. Ser.: Comput. Sci. – 1999. – N 12. – (To appear).
25. Kasyanov V.N., Lisitsyn I.A. On Support Tools for Visual Processing of Hierarchical Graph Models // Ibid. – (To appear).
26. Lipski S., Sidorov V., Telerman V., Ushakov D. Database Processing in Constraint Programming Paradigm Based on Subdefinite Models // Ibid. – (To appear).
27. Pokozy E.A. Behaviour analysis of parametric time Petri nets// Joint Bulletin of NCC&IIS. Ser.: Comput. Sci. – 1999. – N11. – P. 59–76.
28. Pokrovsky S.B., Stepanov G.G. Hypertext Environment for Software and Documents Development // Joint Bulletin of NCC&IIS. Ser.: Comput. Sci. – 1999. – N 12. – (To appear).
29. Shvetsov I.E., Nesterenko T.V., Starovit S.A., Preis S.V. The Development of Distributed Dynamic Systems in the Technology of Active Objects // Ibid. – (To appear).
30. Tarasyuk I.V. τ-equivalences for analysis of concurrent systems modelled by Petri nets with silent transitions // Ibid. – (To appear).
31. Ustimenko A.P. Coloured Cause-Effect Structures // Joint Bulletin of NCC&IIS. Ser.: Comput. Sci. – 1999. – N 11. – P. 77–92.
32. Votintseva A. Investigation of weak equivalence notions for event structures // Ibid. – P. 93–115.
33. Zagorulko Yu.A., Popov I.G. Integration of Constraint Programming Methods with Knowledge Base Technology // Joint Bulletin of NCC&IIS. Ser.: Comput. Sci. – 1999. – N 12. – (To appear).

1. Andreeva M.V., Bozhenkova E.N., Virbitskaite I.B. Analysis of Timed Concurrent Models Based on Testing Equivalence // Proc. CSP'99, Warsaw, Poland. – 1999. – P. 7–23.
2. Bodin E.V., Kozura V.E., Shilov N.V. Experiments with Model Checking for Mu-Calculus in specification and verification project REAL // Proc. of the 5-th New Zealand Formal Program Development Colloquium (NZFPDC'99). – 1999. – P. 1–18.
3. Cheblakov G.B., Dinenberg F.G., Levin D.Ya., Popov I.G., Zagorulko Yu.A. Approach to development of a system for speech interaction with an intelligent robot // Proc. of the 3^rd Intern. Andrei Ershov Memorial Conf. " Perspectives of System Informatics ", Novosibirsk, 1999. – Berlin a.o.: Springer, 2000. – P. 512–524. – (Lect. Notes Comput. Sci.; 1755).
4. Dinenberg F., Zagorulko Yu., Levin D., Zhigalov M., Popov I. Development of speech control system for intelligent robot // Proc. of the 4th Intern. Conf. on Applications of Natural Languages to Information Systems (NLDB'99). – Klagenfurt, Austria, June 1999.
5. Emelianov P.G., Lukito A. On the maximal length of snake in hypercubes of small dimension // Discrete Mathematics. – 2000. – N 211 (1-3) – P. 181–191.
6. Gaudel M.–C., Khoury C., Zamulin A.V. Dynamic systems with implicit state // Proc. of the 2-nd Intern. Conf. on Fundamental Approaches to Software Engineering (FASE/ETAPS'99), Amsterdam. – Berlin a.o.: Springer, 1999. – P. 114–128. – (Lect. Notes Comput. Sci.; 1577).
7. Gaudel M.–C., Zamulin A.V. Algebraic Imperative Specifications // Proc. of the 3^rd Intern. Andrei Ershov Memorial Conf. " Perspectives of System Informatics ", Novosibirsk, 1999. – Berlin a.o.: Springer, 2000. – P. 17–39. – (Lect. Notes Comput. Sci.; 1755).
8. Kasyanov V.N., Evstigneev V.A., Malinina J.V., Birjukova J.V., Markin V.A., Haritonov E.V., Tsikoza S.G. Support tools for supercomputing and networking // Lect. Notes Comput. Sci. – 1999. – Vol. 1593. – P. 127–135.
9. Kasyanov V.N., Lisitsyn I.A. Support tools for hierarchical information visualization // Human-Computer Iteraction: Communication, Cooperation and Application Design. – London: Lawrence Erlbaum Associates Publ., 1999. – Vol 2. – P. 117–121.
10. Kasyanov V.N., Lisitsyn I.A. HIGRES – visualization system for clustered graphs and graph algorithms // Proc. of Graph Drawing'99, Prague, 1999.
11. Kasyanov V.N., Lisitsyn I.A. On visualization in computer-aided teaching of mathematics // Proc. of the IX Congress for learning and teaching of Mathematics (IX JAEM). – Galicia, Ludo, 1999. – P. 58–67.
12. Katkov S.I., Ruban Е.Y. Parallel Programming System Based on SuperPascal Language // Lect. Notes Comput. Sci. – 1999. – Vol. 1662. – P. 481–482.
13. Kononenko I.S., Popov I.G., Zagorulko Yu.A. Approach to understanding weather forecast telegrams with agent-based technique // Proc. of the 3^rd Intern. Andrei Ershov Memorial Conf. " Perspectives of System Informatics ", Novosibirsk, 1999. – Berlin a.o.: Springer, 2000. – P. 506–511. – (Lect. Notes Comput. Sci.; 1755).
14. Korovina M.V., Kudinov O.V. Characteristic properties of majorant-computability // Lect. Notes Comput. Sci. – 1999. – Vol. 1584. – P. 188–204.
15. Korovina M., Kudinov O. Some properties of majorant computability // de Gruyter Series in Logic and Its Application 2, Walter de Gruyter. – 1999. – P. 97–115.
16. Korovina. M.V., Kudinov O.V. A logical approach to specifications of hybrid systems // Proc. of the 3^rd Intern. Andrei Ershov Memorial Conf. " Perspectives of System Informatics ", Novosibirsk, 1999. – Berlin a.o.: Springer, 2000. – P. 7–11. – (Lect. Notes Comput. Sci.; 1755).
17. Lellahi K., Zamulin A.V. Dynamic Systems Based On Update Sets. / Tech. Report N99-03, LIPN, Univ. Paris 13, France. – 1999. – 21 p.
18. van der Meyden R., Shilov N.V. Model Checking of Knowledge and Time in Systems with Perfect Recall // Proc. of the19th Intern. Conf. on Foundations of Software Technology and Theoretical Computer Science (FST&TCS9), Chennai, India, 1999. – Berlin a.o.: Springer, 1999. – P. 432–445. – (Lect. Notes Comput. Sci.; 1738).
19. Nepomniaschy V.A. Symbolic verification method for definite iteration over data structures // Information Processing Letters. – Vol. 69, № 4. – 1999. – P. 207–213.
20. Nepomniaschy V.A. Verification of definite iteration over hierarchical data structures // Proc. of the 2-nd Intern. Conf. on Fundamental Approaches to Software Engineering (FASE/ETAPS'99), Amsterdam. – Berlin a.o.: Springer, 1999. – P. 176–187. – (Lect. Notes Comput. Sci.; 1577).
21. Popov I., Shvetsov I., Zagorulko Yu. Strategic Knowledge in Integrated Knowledge Representation Model // Proc. of the 2nd Intern. Workshop on Strategic Knowledge and Concept Formation (SKW'99). – Iwate, Japan, October. – 1999. – P. 73–84.
22. Sidorov V., Telerman V., Ushakov D. Constraint Programming Techniques for Solving Problems on Graph // Proc. of the 3^rd Intern. Andrei Ershov Memorial Conf. " Perspectives of System Informatics ", Novosibirsk, 1999. – Berlin a.o.: Springer, 2000. – P. 420–429. – (Lect. Notes Comput. Sci.; 1755).
23. Shelekhov V.I., Kuksenko S.V. Data Flow Analysis of Java Programs in the Presence of Exceptions // Ibid. – P. 385–391.
24. Shelekhov V.I., Kuksenko S.V. On the Practical Static Checker of Semantic Run-time Errors // Proc. of the 6th Asia Pacific Software Engineering Conf. APSEC'99, Takamatsu, Japan, 1999. – IEEE Computer Society Press, 1999.
25. Shvetsov I., Nesterenko T., Starovit S., Preis S. Constraint-Based Multi-Agent Technology and Its Application to the Social-Economic Modeling// Proc. of the 1st Intern. Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS-99), St.–Petersburg, Russia, 1999. – P. 224–232.
26. Smerdina G.V. Cognitive Network – a New Metaphor for Multi-Agent Programming // Ibid. – P. 249–255.
27. Tarasevich V.V., Zagorulko G.B. Computation of Flow Distribution in a Pipe Network With the Help of NeMo+ System// Water Industry Systems: modeling and optimization applications / Ed. by D.Savic, G.Walters: Research Studies Press Ltd., Baldock, Hertfordshire, England. – 1999. – Vol. 2. – P. 53–64.
28. Tarasyuk I.V. Equivalences for concurrent and distributed systems. A review of dissertation // Berichte aus dem Fachbereich Informatik Carl von Ossietzky Universitaet, Oldenburg, Germany. – 1999. – N 9/99. – 77 pp.
29. Ustimenko A.P. Hierarchical cause-effect structures // Proc. of the 3^rd Intern. Andrei Ershov Memorial Conf. " Perspectives of System Informatics ", Novosibirsk, 1999. – Berlin a.o.: Springer, 2000. – P. 136–142. – (Lect. Notes Comput. Sci.; 1755).
30. Virbitskaite I.B. An event structure model for dataflow computing // Computers and Artificial Intelligence. – 1999. – Vol. 18. – № 1. – P. 73–93.
31. Virbitskaite I.B., Bystrov A.V. Implementing model checking and equivalence checking for time Petri nets by the RT-MEC tool // Lect. Notes Comput. Sci. – 1999. – Vol. 1662. – P. 194–199.
32. Virbitskaite I.B., Pokozy E.A. A partial order method for the verification of time Petri nets // Lect. Notes Comput. Sci. – 1999. – Vol. 1684. – P. 547–558.
33. Virbitskaite I.B., Pokozy E.A. Parametric behaviour analysis for Time Petri nets // Lect. Notes Comput. Sci. – 1999. – Vol. 1662. – P. 134–140.
34. Yakhno T., Petrov E. New facilities of constraint logic programming // Proc. of the 8th Turkish Symposium on Artificial Intelligence and Neural Networks (TAINN'99), Istanbul, Bogazici Universitesi, Turkey, 1999. – P. 267–274.
35. Yakhno T., Petrov E. Extensional set library for ECLiPSe // Proc. of the 3^rd Intern. Andrei Ershov Memorial Conf. " Perspectives of System Informatics ", Novosibirsk, 1999. – Berlin a.o.: Springer, 2000. – P. 430–440. – (Lect. Notes Comput. Sci.; 1755).
36. Zagorulko Yu.A., Popov I.G., Karakozova O.B. An Approach to the Development of a Knowledge Representation and Processing System with the Use of Agent-Based Technique // Proc. of the 1st Intern. Workshop of Central and Eastern Europe on Multi-Agent Systems (CEEMAS-99). – St.–Petersburg, Russia, 1999. – P. 313–320.

Местные издания

1. Боженкова Е.Н. Исследование разрешимости временной тестовой эквивалентности. – Препринт ИСИ СО РАН. № 63. Новосибирск, 1999. – 32 cтр.
2. Бояршинов В. А. Распознавание интервального порядка на базе локальных вычислений // Проблемы систем информатики и программирования. – Новосибирск, 1999. – С. 130–145.
3. Дылыков Ж.Л.–Д., Мурзин Ф.А., Разумов В.И., Сизиков В.П. Аксиоматика и численная интерпретация качественных моделей // Там же. – С. 183–187.
4. Евстигнеев В.А. Основы параллельной обработки. Векторизация программ. – Новосибирск: НГУ, 1999. – 116 стр.
5. Евстигнеев В. А. Хордальные графы и их свойства // Проблемы систем информатики и программирования. – Новосибирск, 1999. – С. 33–63.
6. Евстигнеев В. А., Бояршинов В. А. Распознавание хордальных графов в рамках распределенной модели вычислений // Там же. – С. 107–129.
7. Евстигнеев В.А., Мирзуитова И.Л. Анализ циклов: выбор кандидатов на распараллеливание. Препринт ИСИ СО РАН. № 58. Новосибирск, 1999. – 48 cтр.
8. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях. – Новосибирск: НГУ, 1999. – Ч. 1. – 160 стр.
9. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях.– Новосибирск: НГУ, 1999. – Ч. 2. – 170 стр.
10. Касьянов В. Н. Иерархические графы и графовые модели: вопросы визуальной обработки // Проблемы систем информатики и программирования. – Новосибирск, 1999. – С. 7-32.
11. Касьянов В.Н., Несговорова Г.П. Вопросы информационной поддержки гуманитарных исследований в области культуры // Там же. – С. 188–201.
12. Касьянов В.Н., Несговорова Г.П. Информационная поддержка изучения некоторых аспектов культуры как элемент гуманизации специализированного образования // Проблемы специализированного образования. – Новосибирск. – 1999. – С. 35–42.
13. Лисицын И. А. Применение системы HIGRES для визуальной обработки иерархических графовых моделей // Проблемы систем информатики и программирования. – Новосибирск, 1999. – С. 64–77.
14. Лобив И.В., Мурзин Ф.А. О распараллеливании PIC – метода // Там же. – С. 146–155.
15. Малинина Ю. В. ИС ТРАНСФОРМ: прототип интерфейса для визуального исследования БД // Там же. – С. 78. – 106.
16. Маркин В. А. Промежуточное представление программ в распараллеливающих компиляторах // Там же. – С. 163–182.
17. Мурзин Ф.А. Конструкция Париса–Кирби и проблемы сложности алгоритмов // Там же. – С. 156 –162.
18. Чурина Т.Г. Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри Препринт ИСИ СО РАН. № 71. Новосибирск, 1999. – 36 cтр.
19. Окунишникова Е.В. Представление временных конструкций Estelle в различных моделях временных сетей Петри. Препринт ИСИ СО РАН. № 70. Новосибирск, 1999. – 33 cтр.
20. Покозий Е.А. Метод верификации свойств параллелизма временных сетей Петри. – Препринт ИСИ СО РАН. № 61. Новосибирск, 1999. – 28 cтр.
21. Поттосин И.В. Андрей Петрович Ершов, жизнь и творчество // Наука. Академгородок. Университет / Воспоминания. Очерки. Интервью. – Новосибирск: НГУ, 1999. – Вып. 1. – С. 268–273.
22. Соседкина Н.В. Сборник заданий по информатике для учеников начальных классов. – Препринт ИСИ СО РАН. № 57. Новосибирск, 1999. – 28 cтр.
23. Nepomniaschy V.A., Shilov N.V., Bodin E.V. A new language Basic-REAL for specification and verification of distributed system models. Preprint IIS SB RAS. № 65. – Novosibirsk, 1999. – 39 pp.
24. Selivanov V.L. A logical approach to decidability of hierarchies of regular star-free languages. Preprint IIS SB RAS. № 68. – Novosibirsk, 1999. – 20 pp.
25. Zamulin A.V. Adding genericity to object-oriented ASMs. Preprint IIs SB RAS. № 60. – Novosibirsk, 1999. – 28 pp.
26. Zamulin A.V. Algebraic specification language Ruslan 99. Preprint IIS SB RAS. № 66. – Novosibirsk, 1999. – 34 pp.

1. Андреева Т.А. Разработка и применение информационных баз данных в процессе повышения квалификации педагогических кадров в АКИПКРО // Материалы Х Междунар. конф. "Применение новых технологий в образовании", Троицк, 30 июня–3 июля 1999. – Троицк, 1999. – С. 32–33.
2. Андреева Т.А., Городняя Л.В. Автоматизация процесса подготовки и проведения электронных олимпиад // Материалы II Всерос. научно-методич. конф. "Интернет и современное общество". – СПб., 1999. – С. 46–47.
3. Андреева Е.В., Дылыков Ж.Л.–Д., Еркаева О.Н., Занаева Н.Б., Марчук А.Г., Мурзин Ф.А. Исследование методики ТРИЗ // Материалы III Междунар. конф. памяти академика А. П. Ершова "Перспективы систем информатики". – Новосибирск, 1999. – С. 48–49.
4. Берс А.А. Информатика и образование // Материалы III Междунар. конф. памяти академика А. П. Ершова "Перспективы систем информатики". – Новосибирск, 1999. – С. 17–24.
5. Берс А.А. К анализу оснований информатики // Материалы Второго Российского философского конгресса "ХХI век: будущее России в философском измерении", 7–11 июня 1999. – Т.1: Онтология, гносеология и методология науки, логика. 4.1. – Екатеринбург: Урал. ун-т, 1999. – С. 205–207.
6. Берс А.А., Городняя Л.В., Поляков В.Г., Чурина Т.Г. Организация творческой работы учащихся в контексте общеобразовательной информатики // Тез. междунар. конф. "Информационные технологии в университетском образовании". – Новосибирск: HГУ, Институт дискретной математики и информатики, 1999. – С. 86–87.
7. Боженкова Е.Н. Разрешимость тестовой эквивалентности для распределенных систем реального времени // Тез. докл. II междунар. конф. "Tools for Mathematical Modelling". – СПб., 1999. – С. 158–159.
8. Болтаев Т.Б., Ходиев Ш.И. Автоматизация обучения и процессы тестирования на основе WEB-технологии // Тез. докл. Республиканской научно-практич. конф. "Система рейтингов и методы ее оптимизации". – Бухара, Узбекистан, 1999. – С. 139–140.
9. Бурдонов И.В., Мурзин Ф.А. О распараллеливании метода "МЕДУЗА" // Материалы Междунар. конф. "Математические модели и методы их исследования (задачи механики сплошной среды, экологии, технологических процессов, экономики)". – Красноярск, 1999. – С. 53–54.
10. Водопьянова Н.С., Городняя Л.В., Соседкина Н.В. Детство и творчество (конкурсы по информатике) // Материалы Междунар. научно-практич. конф. "Новые информационные технологии в образовании". – Новосибирск, 1999. – С. 115.
11. Гибадуллин А.З., Казанцев В.Е. WEB-версия толкового словаря по теории графов // Материалы XXXVII Междунар. научной студенческой конф. "Студент и научно-технический прогресс". Cекция "Информатика". – Новосибирск: НГУ, 1999. – С. 89–90.
12. Городняя Л.В. О квалификационной поддержке учителя информатики // Материалы Х Междунар. конф. "Применение новых технологий в образовании", Троицк, 30 июня – 3 июля 1999. – Троицк, 1999. – С. 204.
13. Городняя Л.В. Школьная информатика и квалификация учителей // Материалы С-П. конф. "Интернет и современное общество". – СПб., 1999. – С. 40.
14. Городняя Л.В., Калинина Н.А. О формировании информационных систем области информатики и программирования // Тез. докл. конф. Сибирского Энергетического Института. – Иркутск, 1999. – С. 9.
15. Городняя Л.В., Калинина Н.А. О преподавании функционального программирования и компьютерной алгебры в университете // Новые информационные технологии в университетском образовании. – Новосибирск: ИДМИ, 1999. – С. 87.
16. Городняя Л.В., Калинина Н.А. Функциональное программирование и компьютерная алгебра// Материалы III Междунар. конф. памяти академика А. П. Ершова "Перспективы систем информатики". – Новосибирск, 1999. – С. 45–47.
17. Диненберг Ф.Г., Левин Д.Я., Чеблаков Г.Б., Шишкин Д.В. "Lingua-Voice" : программная оболочка для построения процессоров понимания речевых сообщений // Материалы конф. "АРСО-99 (Теория и практика речевых исследований)". – М., 1999. – С. 15–16.
18. Загорулько Ю.А., Тарасевич В.В. Использование интегрированных систем представления знаний для повышения качества усвоения естественнонаучных дисциплин // Материалы междунар. научно-практич. конф. "Новые информационные технологии в университетском образовании". – Новосибирск: ИДМИ, 1999. – С. 39–40.
19. Емельянов П.Г., Казаков В.Г., Лебедев И.А., Панина Н.Л. Учебно-исследовательская гипермедиа система по истории книги // Материалы научно-практич. конф. "Новые информационные технологии в университетском образовании". – Новосибирск: ИДМИ, 1999. – С. 70–72.
20. Калинина Н.А. Системы компьютерной алгебры в образовании// Тр. междунар. конф. "Информационные технологии в науке, образовании, телекоммуникации, бизнесе и охране природных ресурсов". – 1999. – С. 157–158.
21. Калинина Н.А. Современные тенденции использования систем компьютерной алгебры // Тез. докл. конф. Сибирского Энергетического Института. – Иркутск, 1999. – 10 с.
22. Касьянов В.Н. О базовом университетском образовании математиков по информатике и программированию// Материалы Междунар. конф. "Выпускник НГУ и научно-технический прогресс" – Новосибирск: НГУ, 1999. – Ч. 1. – С. 107–108.
23. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях // Материалы X Междунар. конф. "Применение новых технологий в образовании". – Троицк: Фонд новых технологий в образовании "Байтик", 1999. – С. 249–251.
24. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях // Материалы V Междунар. научно-методич. конф. "Новые информационные технологии в университетском образовании". – Новосибирск: ИДМИ, 1999. – С. 96–97.
25. Касьянов В.Н., Евстигнеев В.А., Несговорова Г.П., Цикоза С.Г. СИМИКС – информационная система по истории информатики // Материалы X Междунар. конф. "Применение новых технологий в образовании". – Троицк: Фонд новых технологий в образовании "Байтик", 1999. – С. 251–252.
26. Касьянов В.Н., Евстигнеев В.А., Казанцев В.Е., Гибадуллин А.З. Толковый словарь по теории графов и его Web-версия // Материалы V Междунар. научно-методической конф. "Новые информационные технологии в университетском образовании". – Новосибирск: ИДМИ, 1999. – С. 41–43.
27. Ким Н.А., Городняя Л.В. Измерители знаний по информатике // Там же. – С. 97.
28. Кобилов С.С., Ходиев Ш.И. Интеграция языковых средств и программных систем в рамках среды обучения информатике // Материалы III Междунар. конф. памяти академика А. П. Ершова "Перспективы систем информатики". – Новосибирск, 1999. – C. 33–34.
29. Кобилов С.С., Ходиев Ш.И. Инструментальная программная система на базе гипертекста // Материалы Междунар. конф. "Выпускник НГУ и Научно-технический прогресс". – Новосибирск, 1999. – Ч. 1. – С. 99–100.
30. Кобилов С.С., Ходиев Ш.И. Разработка системы построения систем программирования // Там же. – С. 98–99.
31. Ланг А.Г. Решение задач размещения геометрических объектов на плоскости средствами аппарата недоопределенных вычислений // Материалы XXXVII Междунар. научной студенч. конф. "Студент и научно-технический прогресс". – Новосибирск. 1999. – С. 86–87.
32. Малышкин Н.В. Разработка системы автоматического аннотирования текстов // Там же. – С. 87–88.
33. Марчук А. Г. Информационные системы и безопасность сетей // Тез. докл. семинара-совещания "Электронные библиотеки: перспективные методы и технологии, электронные коллекции". – М., 1999. – С. 2.
34. Марчук А.Г. Использование современных технологий INTERNET/INTRANET для построения информационных систем // Тез. Дальневосточной мат. школы-семинара имени академика Е.В. Золотова, Владивосток, 26 августа–2 сентября 1999. – Владивосток, 1999. – С. 54–56.
35. Марчук А.Г. Систематический подход к идентификации объектов и документов в пространстве INTERNET // Там же. – С. 56–58.
36. Марчук А.Г. Ситуационный анализ на основе теории решения изобретательских задач (ТРИЗ) и его применения // Там же. – С. 58–59.
37. Марчук А.Г., ОсиповА.Е. К вопросу об идентификации электронных документов и коллекций // Доклад на Первой Всерос. научной конф. "Электронные библиотеки: перспективные методы и технологии, электронные коллекции". – Санкт-Петербург, 19–21 октября 1999, – СПб., 1999. – С. 26.
38. Мердишева Т.С., Мердишева Е.С. VEGRAS: система визуализации и редактирования графов// Материалы XXXVII Междунар. научной студенч. конф. "Студент и научно-технический прогресс". – Новосибирск: НГУ, 1999.– С. 100–101.
39. Поттосин И.В. Эволюция понятия "программа" // ХХI век . Будущее России в философском измерении. – Екатеринбург: Изд-во Уральского университета, 1999. – Т. 1.– С. 229–230.
40. Поттосин И.В., Калинина Н.А., Городняя Л.В. Информационная среда изучения и исследования информатики и программирования // Материалы V Междунар. научно-методической конф. "Новые информационные технологии в университетском образовании". – Новосибирск: ИДМИ, 1999. – С. 101–102.
41. Россеева О.И. Решение задачи составления расписаний средствами аппарата недоопределенных моделей // Материалы XXXVII Междунар. научной студенч. конф. "Студент и научно-технический прогресс". – Новосибирск, 1999. – С. 88–90.
42. Сергеев И.П. Средства организации объектно-ориентированного интерфейса в системе представления знаний // Там же. – С. 91–92.
43. Соседкина Н.В., Руденко А.А. Компьютер, ребенок и здоровье // Материалы III Междунар. конф. памяти академика А. П. Ершова "Перспективы систем информатики". – Новосибирск, 1999. – С. 50.
44. Соседкина Н.В. Изучаем информатику методом микрооткрытий // Материалы III Междунар. конф. памяти академика А. П. Ершова "Перспективы систем информатики". – Новосибирск, 1999. – С. 41.
45. Тихонова Т.И. "Суперпрограммирование для малышей" // Материалы Х Междунар. конф. "Применение новых технологий в образовании". Троицк, 30 июня – 3 июля 1999. – Троицк, 1999. – С. 202.
46. Тихонова Т.И. Применение исполнителей для обучения параллельному программированию // Материалы III Междунар. конф. памяти академика А. П. Ершова "Перспективы систем информатики". – Новосибирск, 1999. – С. 43–44.
47. Сычев Н.А., Алсынбаева Л.Г., Городняя Л.В., Чурина Т.Г. Методика усиленной подготовки студентов для участия в конкурсах по информатике // Тез. докл. междунар. конф. "Информационные технологии в университетском образовании". – Новосибирск: HГУ, ИДМИ, 1999. – С. 105.
48. Чурина Т.Г., Городняя Л.В. Методика подготовки к престижным олимпиадам по информатике // Материалы III Междунар. конф. памяти академика А. П. Ершова "Перспективы систем информатики". – Новосибирск, 1999. – С. 37–38.
49. Сычев Р.В., Боровиков С.А. Система моделирования взаимодействия объектов // Материалы XXXVII Междунар. научной студенч. конф. "Студент и научно-технический прогресс". – Новосибирск, 1999. – С. 92–93.
50. Ходиев Ш.И. Оптимизирующий процессор как инструмент конструирования в системе окружения программирования // Материалы Междунар. конф. "Выпускник НГУ и научно-технический прогресс". – Новосибирск: НГУ, 1999. – С. 100.

51. Ходиев Ш.И. Инструменты для создания хороших программ // Материалы Междунар. научно-технич. конф. "Современные проблемы технических наук", посвящ. 70-летию ТашГТУ, 27–29 сентября 1999г. – Ташкент, Узбекистан. – 1999. – С. 5.
52. Ходиев Ш.И. Оптимизирующие преобразования для модульных языков// Международная научно-техническая конференция "Современные проблемы технических наук", посвящ. 70-летию ТашГТУ, 27–29 сентября 1999г. – Ташкент, Узбекистан. – 1999. – С.5
53. Kalinina N.A., Khegai J.E. Educational Information environment on the base of computer algebra systems// Proc. Conf. "Information Technologies in Science, Education, Telecommunication, Business and Protection of Nature Resources (IT+SE'99)". – 1999. – P. 159–160.
54. Kasyanov V.N. Support tools for supercomputing // ICIAM-99: The Fourth International Congress on Industrial and Applied Mathematics /Book of Abstracts. – Edinburgh, 1999. – P. 276.
55. Korovina M.V., Kudinov O.V. Computability of functionals of finite types and applications // Proc. Mal'sev conference on Mathematical Logic. – Novosibirsk, 1999. – P. 47.

1. Bratsev S.G., Murzin F.A., Nartov B.K., Puntus A.A. Conflict of complicated systems. Models and control. – GadgetSoft, Ltd, 1999.
   http://www.gadgetsoft.com/articles/pdf/img_rec_book.pdf
2. Murzin F. A., Sluev V.A. A memory organization for parallel computers. – GadgetSoft, Ltd, 1999.
   http://www.gadgetsoft.com/articles/pdf/memory.pdf
3. Murzin F. A. The Paris-Kirby construction and the complexity problems. – GadgetSoft, Ltd, 1999.
   http://www.gadgetsoft.com/articles/pdf/np.pdf
4. Murzin F.A., Razumov V.A., Sizikov V.A. On the qualitative models. – GadgetSoft, Ltd, 1999.
   http://www.gadgetsoft.com/articles/pdf/quality.pdf
5. Bratsev S.G., Murzin F.A., Nartov B.K. Optimum target search and dynamic image processing. – GadgetSoft, Ltd, 1999.
   http://www.gadgetsoft.com/articles/pdf/target.pdf
6. Voyevodin A.F., Murzin F.A., Ponomarev M.Yu. The parallel algorithm of computing the hydraulic systems with elastic pipes. – GadgetSoft, Ltd, 1999.
   http://www.gadgetsoft.com/articles/pdf/hydro.pdf

1. Евстигнеев В.А. Основы параллельной обработки. Векторизация программ. – Новосибирск: НГУ, 1999. – 116 с.
2. Цикоза В.А., Чурина Т.Г. Методическое пособие по курсу "Методы программирования". – Новосибирск: НГУ, 1999. –Ч. 1. – 80 с.
3. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях. – Новосибирск: НГУ, 1999. – Ч. 1. – 160 с.
4. Касьянов В.Н. Вводный курс программирования на Паскале в заданиях и упражнениях. – Новосибирск: НГУ, 1999. – Ч. 2. – 170 с.
5. Замулин А. В. Формальные методы спецификациии программ. – Новосибирск: НГУ, 1999.

Далее