Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2010
1. Verfasser:	Bjorner, D.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Schlagworte:	Системный анализ
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/45247
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner // Кибернетика и системный анализ. — 2010. — № 4. — С. 100-116. — Бібліогр.: 27 назв. — англ.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Domain science and engineering from computer science to the sciences of informatics. Part II: Science
von: D. Bjorner
Veröffentlicht: (2011)

Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
von: D. Bjшrner
Veröffentlicht: (2010)

AN ANTHOLOGY OF OUTSTANDING ACHIEVEMENTS IN SCIENCE AND TECHNOLOGY. PART 14: INVENTION OF ENGINES
von: Baranov, M. I.
Veröffentlicht: (2013)

Conceptual Grounds of Information Science for Economic and Engineering Specialties of the Non-Computer Profile
von: O. V. Olifirov, et al.
Veröffentlicht: (2013)

Problems of materials science and surface engineering of metals
von: A. T. Pichuhin
Veröffentlicht: (2010)

Manmeasuring of Science and Engineering in a Technological Society
von: L. Ryzhak
Veröffentlicht: (2008)

Problems of materials science and surface engineering of metals
von: O. H. Lukianenko
Veröffentlicht: (2018)

Problems of materials science and surface engineering of metals
von: O. H. Lukianenko
Veröffentlicht: (2017)

Problems of materials science and surface engineering of metals
von: O. H. Lukianenko
Veröffentlicht: (2016)

Problems of materials science and surface engineering of metals
von: A. T. Pichuhin
Veröffentlicht: (2011)

An anthology of outstanding achievements in science and technology. Part 18: Rocket engineering and near-space exploration.
von: Baranov, M. I.
Veröffentlicht: (2014)

The first Ukrainian dictionary on bibliography science and social informatics
von: L. Hlazunova
Veröffentlicht: (1999)

Engineering-geological investigations in the system of Earth sciences of NAS of Ukraine
von: M. H. Demchyshyn, et al.
Veröffentlicht: (2018)

Theoretical and experimantal investrigations in technologies of modern materials science and engineering
von: O. Z. Student
Veröffentlicht: (2013)

The problem of integration of knowledge in the fields of science, engineering, economic activity
von: O. V. Zhulenkov
Veröffentlicht: (2014)

Intelligent personal supercomputer with hybrid architecture for the problems of science and engineering
von: O. M. Khimich
Veröffentlicht: (2016)

Theoretical and experimental investigations in modern materials science and engineering technologies
von: H. M. Nykyforchyn
Veröffentlicht: (2011)

Cybernetics, Informatics and Software Engineering: Aspects of Development
von: Lavrischeva, K.M.
Veröffentlicht: (2025)

ENGINEERING-GEOLOGICAL INVESTIGATIONS IN THE SYSTEM OF EARTH SCIENCES OF NAS OF UKRAINE
von: Demchyshyn, M.G., et al.
Veröffentlicht: (2018)

Journals of NAS of Ukraine in physical, engineering and mathematical sciences: monopolization level
von: A. I. Radchenko, et al.
Veröffentlicht: (2020)

Nanoelectronics and Optoelectronics: Science, Nanotechnology, Engineering and Application. Lectures 5 and 6
von: V. O. Kochelap
Veröffentlicht: (2019)

Nanoelectronics and Optoelectronics: Science, Nanotechnology, Engineering and Application. Lectures 7 and 8
von: V. O. Kochelap
Veröffentlicht: (2019)

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

Robust physiological mappings: from non-invasive to invasive
von: Syed, M.N., et al.
Veröffentlicht: (2015)

Introduction to nanoelectronics and optoelectronics: Science, Nanotechnology, Engineering and application (lectures 3 and 4)
von: V. O. Kochelap
Veröffentlicht: (2019)

Introduction to nanoelectronics and optoelectronics: Science, Nanotechnology, Engineering, and Application (lectures 3 and 4)
von: Kochelap, V.O.
Veröffentlicht: (2019)

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

Устойчивость в импульсных системах с марковскими возмущениями в схеме усреднений. I. Принцип усреднения для импульсных марковских систем
von: Царьков, Е.Ф., et al.
Veröffentlicht: (2010)

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

Об одном методе эффективного вычисления оптимальных оценок в задачах экстраполяции решений нелинейных эволюционных дифференциальных уравнений в гильбертовом пространстве. I
von: Фомин-Шаташвили, А.А., et al.
Veröffentlicht: (2008)

Report on the activities of the Section of Physical, Engineering and Mathematical Sciences of NAS of Ukraine in 2015–2019
von: A. H. Naumovets
Veröffentlicht: (2020)

B.Ye. Paton: Engineer, Scientist and Organizer of Science (the 100th Anniversary of the Birthday
von: O. M. Korniienko, et al.
Veröffentlicht: (2018)

B.Ye. Paton: Engineer, Scientist and Organizer of Science (the 100th Anniversary of the Birthday
von: I. P. Makarenko, et al.
Veröffentlicht: (2016)

Lecture 2 from the cycle. “Introduction to nanoelectronics: Science, Nanotechnology, Engineering, and Application” by Prof. Vyacheslav O. Kochelap
von: Kochelap, V.O.
Veröffentlicht: (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
von: Baranov, M. I.
Veröffentlicht: (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
von: Baranov, M. I.
Veröffentlicht: (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
von: Baranov, M. I.
Veröffentlicht: (2016)

The jubilee of B. Verkin Institute for Low Temperature Physics and Engineering of the National Academy of Sciences of Ukraine
von: Gnatchenko, S.L.
Veröffentlicht: (2010)

Scientific seminar &quot;Problems of materials science and metal surface engineering&quot;
von: A. T. Pichuhin
Veröffentlicht: (2013)

Scientific seminar &quot;Problems of materials science and metal surface engineering&quot;
von: O. H. Lukianenko
Veröffentlicht: (2015)