публикации


Никитченко Николай Степанович

  1. Никитченко Н.С. Композиционная семантика языков программирования // Программирование.– 1982.– N.6. – С. 9–18.
  2. Никитченко Н.С. Композиции программ, индуцирующих монотонные функции специального вида // Программирование.– 1987.– N.1. – С. 3–17.
  3. Nikitchenko N. Towards foundations of the general theory of transport domains.-UNU/IIST Report No. 88. – Macau, 1996. – 37 p.
  4. Nikitchenko N. A Composition Nominative Approach to Program Semantics.- Technical Report IT-TR: 1998-020.- Technical University of Denmark.- 1998.- 103 p.
  5. Никитченко Н.С. Композиционно-номинативный подход к уточнению понятия программы // Проблемы программирования.– 1999.– N.1.– С. 16–31.
  6. Никитченко Н.С. Предикатные композиционно-номинативные системы // Проблемы программирования.– 1999.– N 2.– С. 3–19.
  7. Никитченко Н.С. Пропозициональные композиции частичных предикатов // Кибернетика и системный анализ.– 2000.– N.2.– С. 3–19.
  8. Нікітченко М.С., Шкільняк С.С. Композиційно-номінативні логіки еквітонних предикатів // Вісник Київського університету. Серія: фіз.-мат. науки. Вип 2.– Київ, 2000.– С. 300–314.
  9. Никитченко Н.С. Вычислимость недетерминированных программ над номинативными данными // Проблемы программирования.– 2000.– N. 1.– С. 49–62.
  10. Никитченко Н.С. Вычислимость недетерминированных программ над номинативными данными // Проблемы программирования.– 2000.– N. 2.– С. 47–61.
  11. Никитченко Н.С., Шкильняк С.С. Неоклассические логики предикатов // Проблемы программирования.– 2000.– № 3–4.– С. 3–17.
  12. Никитченко Н.С., Шкильняк С.С. Неоклассические логики предикатов // Проблемы программирования.– 2000.– № 4.– С. 23–26.
  13. Никитченко Н.С. Аппликативные композиции частичных предикатов // Кибернетика и системный анализ.– 2001.– N.2.– С. 14–33.
  14. Басараб И.А., Никитченко Н.С., Редько В.Н. Композитционные базы данных.– Киев: Либiдь.– 1992.– 191 с.
  15. Basarab I.A., Gubsky B.V., Nikitchenko N.S. Composition approach to systematic development of database systems // Proc. Second Int. Workshop on Advances in Databases and Information Systems, Moscow, 1995 – London: Springer– 1995 – P.12–23.
  16. Kalinichenko L.A., Nikitchenko N.S., Zadorozhny V.I. Application of composition development method for definition of SYNTHESIS information resource query language semantics // Proc. First Int. Symp. of Formal Methods Europe, Odense, Denmark, 1993.– Berlin: Springer-Verlag.– 1993.– P. 428–441.
  17. М.С. Нікітченко, С.С. Шкільняк. Математична логіка. – ВПЦ Київський ун-т, 2003. – 120 с.
  18. N.S. Nikitchenko. Abstract Computability of Non-deterministic Programs over Various Data Structures // Perspectives of System Informatics (Proc. of Andrei Ershov Fourth Int. Conf., 2-6, July, 2001, Novosibirsk).– Lecture Notes in Computer Science, vol. 2244.– Berlin: Springer, 2001.– P. 471-484.
  19. Никитченко Н.С. Алгебры эквитонных предикатов и их применение // Кибернетика и системный анализ.– 2003.– N.1.– С. 115–133.

Редько Владимир Никифорович

  1. Редько В.Н., Сергиенко И.В., Стукало А.С. Прикладные программные системы. – Киев: Наукова думка, 1992 – 317 с.
  2. Басараб И.А., Никитченко Н.С., Редько В.Н. Композиционные базы данных. – Київ: Либідь, 1992. – 191 с.
  3. Редько В.Н., Басараб И.А. Базы данных и информационные системы. – М.: Знание, 1987. – 32 с.
  4. Редько В.Н., Лисовик Л.П. Алгоритмы и формальные системы. – Киев: КГУ, 1981. – 111 с.
  5. Редько В.Н., Жежерун А.П., Зубенко В.В. Введение в операционные системы. – Киев: КГУ, 1990. – 112 с.
  6. V.N. Redko Grundlagen der Programmierung. – Lepzig: Universitat-Verlag, 1994. – 207 p.

Буй Дмитрий Борисович

  1. Буй Д.Б., Редько В.Н. Программологические аспекты метода неподвижной точки // Кибернетика и системный анализ. – 1994. – №5. – С. 158?167.
  2. Буй Д.Б., Редько В.Н. Неподвижные точки и операторы замыкания: программологические аспекты // Киберне­тика и системный анализ. – 1995. – №1. – С. 113?121.
  3. Редько В.Н., Буй Д.Б. К основаниям теории реляционных баз данных // Кибернетика и системный анализ. – 1996. – №4. – С. 3?13.
  4. Редько В.Н., Брона Ю.И., Буй Д.Б. Взаимная непроиз­водность и выразительная сила операций реляционных алгебр // Доповіді НАН України. Математика. Приро­дознавство. Технічні науки. – 1996. – №11. – С. 84?88.
  5. Буй Д.Б. Непрерывность в индуктивных множествах. Часть 1: суперпозиция. Часть 2: рекурсия // Проблемы программирования. – 1998. – Вып. 3,4. – С. 3?19.
  6. Буй Д.Б., Поляков С.А. Композиційна семантика SQL-подібних мов: табличні структури даних, композиції, приклади // Вісник Київського університету. Сер. фіз.-мат. науки. – 1999. – Вип. 1,2. – С. 130?140, С. 183?194.
  7. Буй Д.Б. Системи рівнянь в індуктивних множинах // Вісник Київського університету. Сер. фіз.-мат. науки. – 1999. – Вип. 3. – С. 147?171.
  8. Брона Ю.Й., Буй Д.Б., Поляков С.А. Композиційна семантика SQL-подібних мов: операції з’єднання // Вісник Київського університету. Сер. фіз.-мат. науки. – 1999. – Вип. 4. – С.100-104.
  9. Брона Ю.Й., Буй Д.Б., Загорський С.П., Поляков С.А. Композиційна семантика SQL-подібних мов: агрегатні функції // Вісник Київського університету. Сер. фіз.-мат. науки. – 2000. – Вип. 1. – С. 178?192.
  10. Брона Ю.Й., Буй Д.Б., Загорський С.П., Поляков С.А. Композиційна семантика SQL-подібних мов: групування, маніпулювання даними, приклади // Вісник Київського університету. Сер. фіз.-мат. науки. – 2000. – Вип. 2. – С. 177?185.
  11. Брона Ю.Й., Буй Д.Б., Загорський С.А., Поляков С.А. Композиційна семантика агрегатних функцій SQL-подібних мов // Проблемы программирования. – 2000. – №1?2. – С. 554?565.
  12. Буй Д.Б. Cистеми рівнянь в індуктивних множинах: метод Гаусса, інваріантні перетворення, взаємозв‘язок між рекурсією та суперпозицією, похідність багатомісної рекурсії // Проблемы программирования. – 2000. – №1?2. – С. 63?74.
  13. Редько В.Н., Брона Ю.Й., Буй Д.Б., Поляков С.А. Реляційні бази даних: табличні алгебри та SQL-подібні мови. – Київ: Видавничий дім “Академперіодика”, 2001. – 198 с.
  14. Буй Д.Б. Композиційна семантика маніпуляційних дій: збереження денотатів, характеристики, обчислюваність, необхідні умови повноти // Вісник Київського університету. Сер. фіз.-мат. науки. – 2002. – Вип. 1. – С. 169?189.
  15. Буй Д.Б. Теория програмних алгебр композиційного типу та її застосування: Дис. докт. фіз.-мат. наук: 01.05.03. – Київ, 2002. – 365 с.

Дорошенко Анатолий Ефимович

  1. A. Doroshenko, G. Tseitlin, Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs, Fundamenta Informaticae, vol.60,
    №1-4,2004, pp. 99-111.
  2. A. Doroshenko, V. Romanenko, Object-Relational Mapping Techniques for .Net Framework, Proc.3-rd Int. Conf. ISTA’2003, July 15-17, 2004, Salt Lake City, USA (A. Doroshenko, T. Halpin, S. Liddle, H. Mayr, eds.)// Lecture Notes in Informatics.- 2004.- Vol.P-48.-P. 81-92.
  3. А.Е. Дорошенко, К.А. Рухлис, Параллельное программ­мирование задач визуализации научных данных // Проблемы программирования, 2004, №2-3, с. 285-294.
  4. В.А. Прусов, А.Е. Дорошенко, С.В. Приходько, Ю.М. Тырчак, Р.И. Черныш, Методы эффективного решения задач моделирования и прогнозирования региональных атмосферных процессов // Проблемы программирования, 2004, №2-3, с. 556-559.
  5. А.Е. Дорошенко, Г.Е. Цейтлин, Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью // Проблемы программирования, 2003, №3.- C. 24-33.
  6. Doroshenko A.E., Ragozin D.V. Retargetable and tuneable code generation for high performance DSP// «Parallel Computing Technologies», Proc. 7th Int. Conf. PaCT’2003, LNCS, 2003, vol.2763, pp.452-466.
  7. Дорошенко А.Е., Рагозин Д.В., Применение графовых моделей в перенацеливаемых оптимизирующих компи­ляторах для микропроцессоров с VLIW-архитектурой // «Кибернетика и системный анализ».-2003.-№2.-C.37.
  8. Курс лекцій «Паралельні обчислювальні системи», Видавничий дім КМА, 2003, 42 стор.
  9. Shevchenko R., Doroshenko A. Managing Business Logic with Symbolic Computation / in «Information Systems Technology and Applications»:Proc.2nd Int. Conf.ISTA’2003, June 19-21,2003, Kharkiv, Ukraine (M.Godlevsky, S.Liddle, H.Mayr, eds.)// Lecture Notes in Informatics.- 2003.- Vol. P-30.- P.143-152.
  10. Mishchenko N., Doroshenko A. Tools for Generation of Natural Inflected Language Processors / in «Information Systems Technology and Applications»: Proc.2-nd Int. Conf. ISTA’2003, June 19-21, 2003, Kharkiv, Ukraine (M. Godlevsky, S. Liddle, H. Mayr, eds.)// Lecture Notes in Informatics.- 2003.- Vol. P-30.- P.177-187.
  11. R. Shevchenko, A. Doroshenko. A time cost model for distributed objects parallel computation. Future Generation Computer Systems, 2002, vol.18,pp.807-812;
  12. А.Ю. Дорошенко, Д.В. Куйвашев. Інтелектуалізація перенацілюваної оптимізуючої компіляції для мікропроцесорів цифрової обробки сигналів. Проблемы программироапния, 2002, № 1-2, с.477-488;
  13. А.Е.Дорошенко, Математические модели и методы организации высокопроизводительных параллельных вычислений. Алгебродинамический подход.- Киев: Наукова думка, 2000.- 177 с. ISBN 966-00-0594-6
  14. A. Doroshenko, A.B. Godlevsky, L. Hluchy, Models and Parallel Programming Abstractions for Synchronization and Communication // Computers and Artificial Intelligence .- 1999.- Vol. 18, N 4.- P. 361-381.
  15. А.Е. Дорошенко, Структура и средства современных моделей параллельных вычислений// Проблемы программирования, 1999, N 1, c. 38-52.

Бойко Борис Иванович

  1. Бойко Б.І., Кузенко В.Ф. та ін. Автоматизована система для інформаційного забезпечення прийняття рішень щодо лісних екосистем Чорнобильської Зони відчуження .-Вісник Київського університету. Серія «Фізико-математичні науки», вип. 2, 2000.-с. 171-176
  2. Бойко Б.І. Кузенко В.Ф. Про нарощення функціональних можливостей автоматизованих інформаційних системи. -Вісник Київського університету. Серія «Фізико-математичні науки»,
    вип. 3, 2002.-с. 167-172
  3. Бойко Б.І., Кузенко В.Ф. та ін. The automated system of radio-ecological monitoring and fire warning for contaminated forests in Exclusion Zone Conference of the International Chornobyl Center «International Cooperation for Chornobyl. Scientists and Engineers for Safe Nuclear Industry». Abstracts from Presentations.- p. 143-144
  4. Бойко Б.І. Структура іменувань в програмуванні.-Наукові записки НаУКМА. Т. 19-20. – Комп’ютерні науки.-2002. – С. 17-20.
  5. Бойко Б.І. Структурний системний аналіз та його реалізація у навчальних середовищах.-Наукові записки НаУКМА. Т. 21.-Комп’ютерні науки.-2003.-С. 65-70.

Зубенко Виталий Владимирович

  1. Zubenko V.V. Applied Program Algebras and their Applications// Christian-Albrehts-Universitat.-Kiel..- 1985, p.50.
  2. Редько В.Н., Жежерун А.П., Зубенко В.В. Введение в операционные системы// К.:КГУ.- 1990 , 112 с.
  3. Зубенко В.В., Протасов А.В. Язык программирования Фоли (Форт+Лисп). Описание и реализация.// В Сб.: Прикладная информтаика.- Новосибирск.- Вып. 2.- 1993, с. 183–215.
  4. U. Hoffman, A. Protasov, V. Zubenko. Stack Based Dynamic Languages for Intelligent Systems// УСиМ, №3.-К.-1999.- с.59-65.
  5. Зубенко В.В. Про деякі загальні питання інформатики.// Наукові записки НаУКМА, Т.16 , Комп’ютерні науки, К.-1999.-с.17-22 .
  6. Зубенко В.В. Алгебраїчні засоби специфікації інформаційних моделей І, ІІ.// Наукові записки НаУКМА, Т.19-20 , Т. 21 Комп’ютерні науки.- К.-2002, 2003.

Кияшко Григорий Антонович

  1. Іванов В.В., Кияшко Г.А. Про оптимальні алгоритми мінімізації в класі унімодальних функцій // Доповіді АН УРСР, серія А. – 1972. – №9. -С. 313-316.
  2. Кияшко Г.А. Об оптимальных по точности алгоритмах минимизации дифференцируемых функций // Вычислите­льная и прикладная математика. – 1974. – вып. 24.- С.25-29.
    Роботи присвячені оптимальним за точністю алгоритмам мінімізації різних класів функцій. Ці питання були (та і в наш час залишаються) вельми актуальними, оскільки задачі мінімізації функцій часто використовувались в різноманітних предметних галузях. Навіть зростання потужності комп’ютерів не завжди можуть дати вирішення тих чи інших задач за прийнятний час.
  3. Кияшко Г.А., Ржецкий Н.Н. Об организации активной проработки учебного материала студентами // Проблемы высшей школы. – 1980.- вып. 39. – С. 67-73.
  4. Редько В.Н., Кияшко Г.А. Композиционный подход к построению курса «Программирование и вычислительные системы» // Проблемы высшей школы. – 1992. – вып.73.-С. 62-67.
  5. Редько В.Н., Кияшко Г.А. Програмування в діалогах // Наука і суспільство (серія 9 публікацій у 1988-89 роках).
  6. Редько В.Н., Кияшко Г.А. Методические указания и учебные задания к курсу «Программирование и вычислительные системы». – К: ВПЦ «Київський університет» (серія з 11 публікацій) 1989-1997.
    Роботи присвячені соціальним та професійним питанням інформатики, їхня актуальність полягає, перш за все, в тому, що майбутнє галузі буде тим чи іншим в залежності від рівня підготовки сучасних фахівців, зокрема, вищою школою. Ілюстрація проблем та способи їх вирішення демонструвались на прикладі курсу програмування – одного з найважливіших курсів для формування майбутніх фахівців галузі.
  7. Трофимчук О.М., Кияшко Г.А., Яценко О.В. Підвищення ефективності інформаційно-аналітичного та консультативно-дорадчого забезпечення національної безпеки в ресурсно-екологічній сфері: актуальні проблеми та шляхи їх подолання // Екологія і ресурси. -№2, 2001.-с. 27-38.
  8. Кияшко Г.А., Березовенко О.І. Ефективний пошук в Інтернет-просторі інформації з енергозбереження // Екологія і ресурси. – №5, 2003. – с. 182-187.Роботи присвячені прикладним аспектам інформатики в галузі національної безпеки. За своєю суттю інформатизація будь-якої галузі має підвищити ефективність виконання певних задач, які там виникають. Найважливіша задача – це задача управління, яке полягає в обміні інформацією між суб’єктом та об’єктом управління. Найважливіша складова життєдіяльності країни – це її захист, безпека. Отже автоматизація (інформатизація) управління національною безпекою була і залишається чи не найважливішою проблемою.
  9. Кияшко Г.А. // Країна знань. – серія статей в рубриках «Нові терміни в науці», «Педагогіка», «Кібернетика». – 2002-2004.
    Серія статей присвячена висвітленню важливих термінів сучасної науки (в основному, це стосується педагогіки, інформатики, соціології тощо). Аудиторія – старшокласники, а також студенти ВУЗів. Проблема спілкування поки що залишається невирішеною (принаймні, практичних успіхів замало). Тож вирішення цих проблем на простих журнальних прикладах допомагає читачам самостійно їх вирішувати в потоці свого життя.

Кузенко Владимир Федорович

  1. Бойко Б.І., Кузенко В.Ф. та ін. Автоматизована система для інформаційного забезпечення прийняття рішень щодо лісних екосистем Чорнобильської Зони відчуження. – Вісник Київського університету. Серія «Фізико-математичні науки», вип. 2, 2000.-с. 171-176
  2. Бойко Б.І., Кузенко В.Ф. Про нарощення функціональних можливостей автоматизованих інформаційних систем. – Вісник Київського університету. Серія «Фізико-математичні науки», вип. 3, 2002.-с. 167-172
  3. Бойко Б.І. Кузенко В.Ф. Застосування структурного системного аналізу при розробці інформаційних систем – Наукові записки НаУКМА, Комп’ютерні науки, том 16, 1999.
  4. Бойко Б.І., Кузенко В.Ф. та ін. The automated system of radio-ecological monitoring and fire warning for contaminated forests in Exclusion Zone Conference of the International Chornobyl Center «International Cooperation for Chornobyl. Scientists and Engineers for Safe Nuclear Industry». Abstracts from Presentations.- p. 143-144
  5. Кузенко В.Ф. Про імперативні засоби в мовах програмування високого рівня. – Вісник Київського університету. Серія «Фізико-математичні науки», вип. 3, 2002.-с. 207-214.

Шкильняк Степан Степанович

  1. С.С. Шкільняк. Математична логіка: приклади і задачі. – ВПЦ Київський ун-т. Київ, 2002. – 56 с.
  2. С.С. Шкільняк. Tеорія алгоритмів: приклади і задачі. – ВПЦ Київський ун-т. – Київ, 2003. – 93 с.
  3. Л.П. Лісовик, С.С. Шкільняк. Tеорія алгоритмів. – ВПЦ Київський ун-т. – Київ, 2003. – 164 с.
  4. М.С. Нікітченко, С.С. Шкільняк. Математична логіка. – ВПЦ Київський ун-т. Київ, 2003. – 120 с.
  5. М.С. Нікітченко, С.С. Шкільняк. Математична логіка: дoдаткові розділи.– ВПЦ Київський ун-т, К., 2004.–76c.
  6. Н.С. Никитченко, С.С. Шкильняк. Неоклассические логики предикатов. – Проблемы программирования. – 2000, № 3-4. С. 3–17.
  7. С.С. Шкільняк. Нормальні форми в неокласичній логіці. – Проблемы программирования. – 2001, № 3-4. С. 14–22.
  8. М.С. Нікітченко, С.С. Шкільняк. Композиційно-номінативні модальні логіки. – Проблемы программирования. – 2002, № 1-2. С. 27–33.
  9. С.С. Шкільняк. Неокласичні секвенційні числення. – Вісник Київського ун-ту. Серія: фіз.-мат. науки. Вип 4. Київ, 2002. – С. 261–274.
  10. М.С. Нікітченко, С.С. Шкільняк. Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення. – Проблемы программирования. – 2003, № 2. С. 28–41.
  11. М.С. Нікітченко, С.С. Шкільняк. Композиційні логіки номінативних даних // Проблемы программирования. – 2003, № 3. С. 29–40.
  12. С.С. Шкільняк. Функціонально-екваційні неокласичні логіки: числення секвенційного типу. – Вісник Київського ун-ту. Серія: фіз.-мат. науки. Вип.4. Київ, 2003. – С. 302–309.
  13. С.С. Шкільняк. Властивості неокласичних секвенційних числень. – Вісник Київського ун-ту. Серія: фіз.-мат. науки. Вип.1. Київ, 2004. – С. 286–293.
  14. М.С. Нікітченко, С.С. Шкільняк. Композиційнo-номіна-тивнi логіки предикатів над даними з неповною інформацією. – Проблемы программирования. – 2004, № 2-3. С. 74–80.

Панченко Тарас Владимирович

  1. Панченко Т.В. Пропозиційне числення для послідовної тризначної логіки (системи типу МакКарті) // Вісник Київського університету. Серія: фіз.-мат. науки. – 2000., вип.4. – С. 284-292.
  2. Панченко Т.В. Электронная биржа Ощадного банка Украины // журнал «Корпоративные системы». – 2001. – №4. – С. 53-55.
  3. Панченко Т.В. Використання формальних специфікацій для розробки Електронної біржі Ощадного банку // Проблемы программирования.- 2002. – №1-2. – С. 161-167.
  4. Панченко Т.В. Використання формальних специфікацій для розробки програмних систем // Вісник Київського університету. Серія: фіз.-мат. науки. – 2002. – вип. 2. – С. 245-256.
  5. Панченко Т.В. Универсальная система авторизации денежных переводов // журнал «Корпоративные системы». – 2002, №4. – С. 31-37.
  6. Панченко Т.В. Типізація в композиційно-номінативних мовах // Матеріали Міжнародної науково-практичної конференції студентів, аспірантів та молодих вчених «Шевченківська весна. Сучасний стан науки, досягнення, проблеми та перспективи розвитку». Збірник тез. – 2003. – С. 66-68.
  7. Panchenko T.V. Composition Approach to Software Systems Modeling and its Support Tools // International Conference on Dynamical System Modeling and Stability Investigation. Thesis of Conference Reports, May 27-30, 2003. – P. 421.
  8. Панченко Т.В. Автоматизация банков: реалии и перспективы // журнал «Корпоративные системы». – 2003. – ?3. – С. 19-24.
  9. Панченко Т.В. Моделювання структур даних та функцій над ними в композиційно-номінативній мові ACoN // Проблемы программирования. – 2004. – №1-2. – С. 7-15.
  10. Нікітченко М.С., Панченко Т.В. Структури даних в композиційних мовах програмування // Вісник Київського університету. Серія: фіз.-мат. науки. – 2004. – вип. 2. – С. 316-325.
  11. Панченко Т.В. Методологія доведення властивостей програм в композиційних мовах IPCL // Тези доповідей Міжнародної конференції «Теоретичні та прикладні аспекти побудови програмних систем» (TAAPSD’2004). Київ. – 2004. – С. 62-67.
  12. Панченко І.В., Панченко Т.В. Оптимізація роботи Call-центра за допомогою автоматизованої комп’ютерної системи Scheduling ISS v.1 // Тези доповідей Міжнародної конференції «Теоретичні та прикладні аспекти побудови програмних систем» (TAAPSD’2004). Київ. – 2004. – С. 272-274.

Ткачук Игорь Юрьевич

  1. Ткачук І.Ю. Використання мови специфікацій AsmL при розробці програмного забезпечення. – Вісник КНУ, №3. 2004 рік.
  2. Ткачук І.Ю. Комбінований метод поліпшення якості тріангуляції 3-х вимірних об’єктів. – Матеріали конференції TAAPSD’2004, с.288-291.

Антонова Ирина Андреевна

  1. Антонова І.А. Застосування апарату L-систем при побудові комп’ютерних ландшафтів. // Тези доповідей Міжнародної конференції «Теоретичні та прикладні аспекти побудови програмних систем» (TAAPSD’2004). Київ. – 2004. – С. 21-22.

Брона Юлия Иосифовна

  1. Редько В.Н., Брона Ю.И., Буй Д.Б. Взаимная непроизводность и выразительная сила операций реляционных алгебр // Доповіді НАН України. Математика. Природознавство. Технічні науки. – 1996. – №11. – С. 84?88.
  2. Брона Ю.Й., Буй Д.Б., Поляков С.А. Композиційна семантика SQL-подібних мов: операції з’єднання // Вісник Київського університету. Сер. фіз.-мат. науки. – 1999. – Вип. 4. – С.100-104.
  3. Брона Ю.Й., Буй Д.Б., Загорський С.П., Поляков С.А. Композиційна семантика SQL-подібних мов: агрегатні функції // Вісник Київського університету. Сер. фіз.-мат. науки. – 2000. – Вип. 1. – С. 178?192.
  4. Брона Ю.Й., Буй Д.Б., Загорський С.П., Поляков С.А. Композиційна семантика SQL-подібних мов: групування, маніпулювання даними, приклади // Вісник Київського університету. Сер. фіз.-мат. науки. – 2000. – Вип. 2. – С. 177?185.
  5. Брона Ю.Й., Буй Д.Б., Загорський С.А., Поляков С.А. Композиційна семантика агрегатних функцій SQL-подібних мов // Проблемы программирования. – 2000. – №1?2. – С. 554?565.
  6. Редько В.Н., Брона Ю.Й., Буй Д.Б., Поляков С.А. Реляційні бази даних: табличні алгебри та SQL-подібні мови. – Київ: Видавничий дім “Академперіодика”, 2001. – 198 с.

Брона Юлия Иосифовна

Новини
Дошка оголошень
Цікаві факти