Зображення обкладинки

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering

Висловлено побажання, щоб факультети комп’ютерих наук викладали програмування і програмну інженерію на основі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного забезпечення, а також щоб поняття науки і інженерії проблемної області стали неза...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2010
Автор:	Bjorner, D.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Теми:	Системный анализ
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/45247
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner // Кибернетика и системный анализ. — 2010. — № 4. — С. 100-116. — Бібліогр.: 27 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Domain science and engineering from computer science to the sciences of informatics. Part II: Science
за авторством: Bjorner, D.
Опубліковано: (2011)

Domain science and engineering from computer science to the sciences of informatics. Part II: Science
за авторством: D. Bjorner
Опубліковано: (2011)

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
за авторством: D. Bjшrner
Опубліковано: (2010)

AN ANTHOLOGY OF OUTSTANDING ACHIEVEMENTS IN SCIENCE AND TECHNOLOGY. PART 14: INVENTION OF ENGINES
за авторством: Baranov, M. I.
Опубліковано: (2013)

Conceptual Grounds of Information Science for Economic and Engineering Specialties of the Non-Computer Profile
за авторством: O. V. Olifirov, та інші
Опубліковано: (2013)

Problems of materials science and surface engineering of metals
за авторством: A. T. Pichuhin
Опубліковано: (2010)

Manmeasuring of Science and Engineering in a Technological Society
за авторством: L. Ryzhak
Опубліковано: (2008)

Problems of materials science and surface engineering of metals
за авторством: O. H. Lukianenko
Опубліковано: (2018)

Problems of materials science and surface engineering of metals
за авторством: O. H. Lukianenko
Опубліковано: (2017)

Problems of materials science and surface engineering of metals
за авторством: O. H. Lukianenko
Опубліковано: (2016)

Problems of materials science and surface engineering of metals
за авторством: A. T. Pichuhin
Опубліковано: (2011)

An anthology of outstanding achievements in science and technology. Part 18: Rocket engineering and near-space exploration.
за авторством: Baranov, M. I.
Опубліковано: (2014)

Engineering-geological investigations in the system of Earth sciences of NAS of Ukraine
за авторством: M. H. Demchyshyn, та інші
Опубліковано: (2018)

Theoretical and experimantal investrigations in technologies of modern materials science and engineering
за авторством: O. Z. Student
Опубліковано: (2013)

The problem of integration of knowledge in the fields of science, engineering, economic activity
за авторством: O. V. Zhulenkov
Опубліковано: (2014)

Intelligent personal supercomputer with hybrid architecture for the problems of science and engineering
за авторством: O. M. Khimich
Опубліковано: (2016)

Theoretical and experimental investigations in modern materials science and engineering technologies
за авторством: H. M. Nykyforchyn
Опубліковано: (2011)

ENGINEERING-GEOLOGICAL INVESTIGATIONS IN THE SYSTEM OF EARTH SCIENCES OF NAS OF UKRAINE
за авторством: Demchyshyn, M.G., та інші
Опубліковано: (2018)

The first Ukrainian dictionary on bibliography science and social informatics
за авторством: L. Hlazunova
Опубліковано: (1999)

Cybernetics, Informatics and Software Engineering: Aspects of Development
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Journals of NAS of Ukraine in physical, engineering and mathematical sciences: monopolization level
за авторством: A. I. Radchenko, та інші
Опубліковано: (2020)

Nanoelectronics and Optoelectronics: Science, Nanotechnology, Engineering and Application. Lectures 5 and 6
за авторством: V. O. Kochelap
Опубліковано: (2019)

Nanoelectronics and Optoelectronics: Science, Nanotechnology, Engineering and Application. Lectures 7 and 8
за авторством: V. O. Kochelap
Опубліковано: (2019)

Introduction to nanoelectronics and optoelectronics: Science, Nanotechnology, Engineering and application (lectures 3 and 4)
за авторством: V. O. Kochelap
Опубліковано: (2019)

Introduction to nanoelectronics and optoelectronics: Science, Nanotechnology, Engineering, and Application (lectures 3 and 4)
за авторством: Kochelap, V.O.
Опубліковано: (2019)

Robust physiological mappings: from non-invasive to invasive
за авторством: Syed, M.N., та інші
Опубліковано: (2015)

Report on the activities of the Section of Physical, Engineering and Mathematical Sciences of NAS of Ukraine in 2015–2019
за авторством: A. H. Naumovets
Опубліковано: (2020)

B.Ye. Paton: Engineer, Scientist and Organizer of Science (the 100th Anniversary of the Birthday
за авторством: O. M. Korniienko, та інші
Опубліковано: (2018)

B.Ye. Paton: Engineer, Scientist and Organizer of Science (the 100th Anniversary of the Birthday
за авторством: I. P. Makarenko, та інші
Опубліковано: (2016)

Lecture 2 from the cycle. “Introduction to nanoelectronics: Science, Nanotechnology, Engineering, and Application” by Prof. Vyacheslav O. Kochelap
за авторством: Kochelap, V.O.
Опубліковано: (2019)

AN ANTHOLOGY OF THE DISTINGUISHED ACHIEVEMENTS IN SCIENCE AND TECHNIQUE. PART 43: TRADITIONAL POWER ENGINEERING. THERMAL POWER PLANTS: STATE AND PROSPECTS OF THEIR DEVELOPMENT
за авторством: Baranov, M. I.
Опубліковано: (2018)

AN ANTHOLOGY OF THE DISTINGUISHED ACHIEVEMENTS IN SCIENCE AND TECHNIQUE. PART 45: TRADITIONAL POWER ENGINEERING. HYDRAULIC POWER PLANTS: STATE AND PROSPECTS OF THEIR DEVELOPMENT
за авторством: Baranov, M. I.
Опубліковано: (2018)

AN ANTHOLOGY OF THE DISTINGUISHED ACHIEVEMENTS IN SCIENCE AND TECHNIQUE. PART 30: PORTRAIT OF THE KHARKOV MATHEMATICIAN, MECHANICAL ENGINEER AND CYBERNETICIST VLADIMIR LOGVINOVICH RVACHEV
за авторством: Baranov, M. I.
Опубліковано: (2016)

О задачах группового преследования при интегральных ограничениях на управления игроков. I
за авторством: Саматов, Б.Т.
Опубліковано: (2013)

Игровые модели регуляции основных функциональных систем организма и их анализ. I
за авторством: Гальчина, Н.И., та інші
Опубліковано: (2014)

Представления и разложения взвешенных псевдообратных матриц, итерационные методы и регуляризация задач. I. Положительно-определенные веса
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2008)

Устойчивость в импульсных системах с марковскими возмущениями в схеме усреднений. I. Принцип усреднения для импульсных марковских систем
за авторством: Царьков, Е.Ф., та інші
Опубліковано: (2010)

Об эквивалентности вероятностных мер, порожденных решениями нелинейных эволюционных дифференциальных уравнений в гильбертовом пространстве, возмущенных гауссовскими процессами. I
за авторством: Фомин-Шаташвили, А.А., та інші
Опубліковано: (2011)

егрированное моделирование для управления состоянием продовольственной безопасности в Украине. I. Модель для управления экономической доступностью продуктов питания
за авторством: Голодников, А.Н., та інші
Опубліковано: (2013)

The jubilee of B. Verkin Institute for Low Temperature Physics and Engineering of the National Academy of Sciences of Ukraine
за авторством: Gnatchenko, S.L.
Опубліковано: (2010)