ISS Library

Year: 2003

Number of items: 29.

Article

Вінник В.Ю. (2003) УЗАГАЛЬНЕНА КОМПОЗИЦІЙНА МОДЕЛЬ СИМВОЛЬНОЇ ОБРОБКИ. Проблеми програмування (1). pp. 31-36. ISSN 1727-4907

Григорян Р.Д. (2003) КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ФИЗИОЛОГИЧЕСКИХ ПРОЦЕССОВ ОБЕСПЕЧЕНИЯ ДЕЯТЕЛЬНОСТИ ЧЕЛОВЕКА: КОНЦЕПЦИЯ И ПЕРСПЕКТИВЫ. Проблеми програмування (1). pp. 57-67. ISSN 1727-4907

Максимей И.В. and Левчук В.Д. and Попова Е.О. and Поташенко А.М. (2003) ПРОГРАММНО-ТЕХНОЛОГИЧЕСКИЙ КОМПЛЕКС ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ ВЕРОЯТНОСТНЫХ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ. Проблеми програмування (1). pp. 49-56. ISSN 1727-4907

Редько И.В. (2003) ПРОЦЕСОЛОГІЧНІ СЕРЕДОВИЩА МОДЕЛЮВАННЯ. Проблеми програмування (1). pp. 37-48. ISSN 1727-4907

Goerigk Wolfgang and Langmaack Hans (2003) REALISTIC CORRECT SYSTEMS IMPLEMENTATION. Проблеми програмування (1). pp. 3-30. ISSN 1727-4907

Грищенко В.М. (2003) ФОРМАЛЬНЫЕ МОДЕЛИ КОМПОНЕНТНОГО ПРОГРАММИРОВАНИЯ. Проблеми програмування (2). pp. 42-57. ISSN 1727-4907

Задорожна Н.Т. and Валь К.Л. (2003) КОНЦЕПЦІЯ КЕРОВАНОГО ПРОЕКТУВАННЯ ІНФОРМАЦІЙНИХ СИСТЕМ УПРАВЛІНСЬКОЇ ДІЯЛЬНОСТІ. Проблеми програмування (2). pp. 65-75. ISSN 1727-4907

Нікітченко М.С. and Шкільняк С.С. (2003) ЛОГІКИ ЛОКАЛЬНО-ЕКВІТОННИХ ПРЕДИКАТІВ: СЕМАНТИЧНІ ВЛАСТИВОСТІ ТА СЕКВЕНЦІЙНІ ЧИСЛЕННЯ. Проблеми програмування (2). pp. 28-41. ISSN 1727-4907

Чеботарев А.Н. (2003) СИНТЕЗ АВТОМАТА, СПЕЦИФИЦИРОВАННОГО МНОЖЕСТВОМ ДИЗЪЮНКТОВ. Проблеми програмування (2). pp. 58-64. ISSN 1727-4907

Goerigk Wolfgang and Langmaack Hans (2003) WILL INFORMATICS BE ABLE TO JUSTIFY THE CONSTRUCTION OF LARGE COMPUTER BASED SYSTEMS? PART II. TRUSTED COMPILER IMPLEMENTATION. Проблеми програмування (2). pp. 3-27. ISSN 1727-4907

Dimov I. and Farago I. and Zlatev Zahari (2003) PARALLEL COMPUTATIONS WITH LARGE-SCALE AIR POLLUTION MODELS. Проблеми програмування (3). pp. 44-52. ISSN 1727-4907

Ігнатенко П.П. and Бистров В.М. and Ігнатенко О.П. and Ткаченко В.М. (2003) ЗАДАЧІ ТА ЗАСОБИ МОДЕЛЮВАННЯ Й ОЦІНЮВАННЯ ЖИТТЄЗДАТНИХ ПРОГРАМНИХ СИСТЕМ. Проблеми програмування (3). pp. 59-70. ISSN 1727-4907

Алексеєв В.А. and Ільїн С.А and Мягкова Л.А. and Терещенко В.С. (2003) ОРГАНІЗАЦІЯ СХЕМ ВЗАЄМОДІЇ ВІДОМЧИХ ІНФОРМАЦІЙНИХ СИСТЕМ В ІНТЕГРОВАНІЙ МІЖВІДОМЧІЙ ІНФОРМАЦІЙНІЙ СИСТЕМІ. Проблеми програмування (3). pp. 71-83. ISSN 1727-4907

Дорошенко А.Е. and Цейтлин Г.Е. (2003) АЛГЕБРОАВТОМАТНЫЕ СПЕЦИФИКАЦИИ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ НАД ОБЩЕЙ И РАСПРЕДЕЛЕННОЙ ПАМЯТЬЮ. Проблеми програмування (3). pp. 5-21. ISSN 1727-4907

Крывый С.Л. and Невмержицкий А.В. (2003) О НЕСОВМЕСТНОСТИ ОДНОГО ВИДА НЕЛИНЕЙНЫХ УРАВНЕНИЙ В МНОЖЕСТВЕ НАТУРАЛЬНЫХ ЧИСЕЛ. Проблеми програмування (3). pp. 41-43. ISSN 1727-4907

Нікітченко М.С. and Шкільняк С.С. (2003) КОМПОЗИЦІЙНІ ЛОГІКИ НОМІНАТИВНИХ ДАНИХ. Проблеми програмування (3). pp. 29-40. ISSN 1727-4907

Парасюк И.М. and Провотар А.И. and Кондратенко В.А. (2003) АКСИОМАТИЧЕСКИЕ МОДЕЛИ И МЕТОДЫ ПРОЕКТИРОВАНИЯ ЯЗЫКОВЫХ ТРАНСЛЯТОРОВ. Проблеми програмування (3). pp. 22-28. ISSN 1727-4907

Редколлегия журнала (2003) 80 лет со дня рождения В.М. Глушкова. Проблеми програмування (3). pp. 3-4. ISSN 1727-4907

Алексеєв В.А. and Терещенко В.С. (2003) РОЗВИТОК СПІРАЛЬНОЇ МОДЕЛІ ЖИТТЄВОГО ЦИКЛУ ПРОГРАМНИХ СИСТЕМ. Проблеми програмування (4). pp. 34-42. ISSN 1727-4907

Антонюк А.А. and Жора Д.В. and Мостовой В.Н. (2003) УГРОЗЫ ИНФОРМАЦИИ И УСЛУГИ БЕЗОПАСНОСТИ. Проблеми програмування (4). pp. 65-71. ISSN 1727-4907

Грищенко В.М. (2003) АЛГЕБРАЇЧНА МОДЕЛЬ РЕФАКТОРІНГУ КОМПОНЕНТІВ. Проблеми програмування (4). pp. 43-53. ISSN 1727-4907

Дорошенко А.Е. and Шевченко Р.С. (2003) СИСТЕМА СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ ДЛЯ ПРОГРАММИРОВАНИЯ ДИНАМИЧЕСКИХ ПРИЛОЖЕНИЙ. Проблеми програмування (4). pp. 23-33. ISSN 1727-4907

Касьянов В.Н. and Несговорова Г.П. and Волянская Т.А. (2003) ВИРТУАЛЬНЫЙ МУЗЕЙ ИСТОРИИ ИНФОРМАТИКИ В СИБИРИ. Проблеми програмування (4). pp. 82-91. ISSN 1727-4907

Кукса А.И. (2003) ИСПОЛЬЗОВАНИЕ ГИС ДЛЯ СИСТЕМНОГО АНАЛИЗА ЭКОБИОМЕДИЦИНСКИХ ДАННЫХ В КОНТЕКСТЕ ОЦЕНИВАНИЯ РИСКОВ.∗ Часть 1: Общая характеристика предметной области и возникающих проблем. Проблеми програмування (4). pp. 72-81. ISSN 1727-4907

Максимей И.В. and Левчук В.Д. and Масалович С.Ф. and Попова Е.О. and Поташенко А.М. and Смородин В. С. and Старченко В.В. and Терещенко Г.А. (2003) ИНСТРУМЕНТАРИЙ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ ДИСКРЕТНЫХ ВЕРОЯТНОСТНЫХ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ ПРОИЗВОДСТВА. Проблеми програмування (4). pp. 92-99. ISSN 1727-4907

Приходько П.П. (2003) О ВОЗМОЖНЫХ ОСНОВАНИЯХ НЕМОНОТОННОГО ДЕДУКТИВНОГО СИНТЕЗА ПРОГРАММ. Проблеми програмування (4). pp. 5-23. ISSN 1727-4907

Рогушина Ю.В. (2003) ИСПОЛЬЗОВАНИЕ ОНТОЛОГИЧЕСКОГО ОПИСАНИЯ ПРЕДМЕТНОЙ ОБЛАСТИ ДЛЯ ПОВЫШЕНИЯ РЕЛЕВАНТНОСТИ ИНФОРМАЦИОННОГО ПОИСКА. Проблеми програмування (4). pp. 54-64. ISSN 1727-4907

Рувинская В.М. and Пригожев А.С. (2003) СРЕДСТВА ПОСТРОЕНИЯ ЗВУКОВОГО ИНТЕРФЕЙСА ДЛЯ НЕЗРЯЧИХ ПОЛЬЗОВАТЕЛЕЙ ПК. Проблеми програмування (4). pp. 100-106. ISSN 1727-4907

Book

Капитонова Ю.В. and Летичевский А.А. (2003) ПАРАДИГМЫ И ИДЕИ АКАДЕМИКА В.М. ГЛУШКОВА. Наукова думка, Киев. ISBN 966-00-0127-4

This list was generated on Sat Jul 26 01:04:45 2014 EEST.