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

Model of information object for digital library and its verification

Збережено в:

Бібліографічні деталі
Дата:	2020
Автори:	O. V. Novytskyi, V. A. Reznichenko
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2020
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0001163039
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

Model of information object for digital library and its verification
за авторством: Novitsky, A.V., та інші
Опубліковано: (2020)

The task of digital transformation of the scientific information environment
за авторством: Kopanieva, V.O., та інші
Опубліковано: (2023)

A device for calibrating and metrological verification of digital seismic recorders
за авторством: S. V. Shcherbina
Опубліковано: (2014)

A device for calibrating and metrological verification of digital seismic recorders
за авторством: Shcherbina, S. V.
Опубліковано: (2014)

Method of Digital Signature Producing and Verification Based on Recurrent Sequences
за авторством: Iaremchuk, Iu. Е.
Опубліковано: (2013)

Models of Integrated Services Digital Network in Information and Library Environment: Compliance to Contemporary Demands
за авторством: I. Hakh
Опубліковано: (2015)

Extension the UML specification for modeling semantic objects
за авторством: O. V. Novytskyi
Опубліковано: (2016)

Semantic Space for the Verification of Economic Mathematical Models
за авторством: V. L. Petryk
Опубліковано: (2013)

Library of digital science
за авторством: V. O. Kopanieva
Опубліковано: (2018)

Digital project of research library: technological solutions and organization of access to information
за авторством: I. V. Lobuzin
Опубліковано: (2017)

Forming of the approach to verification of power system dynamic model
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2015)

Using of numerical modeling for verification of the functional hypothesis
за авторством: Sokolovsky, A.I., та інші
Опубліковано: (2007)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Information Revolution and Its Impact on the Evolution of Libraries
за авторством: V. Petrov
Опубліковано: (2001)

Verification of adequacy of mathematical model of process of crystallization of EBCHM ingot
за авторством: V. A. Berezos
Опубліковано: (2010)

Study of Party Mass Media of Ukraine as an Object of Library Informational Activity
за авторством: A. Potikha
Опубліковано: (2016)

The Digitalization of the Library Fund of the National Agricultural Scientific Library of the NAAS of Ukraine – the Priority Area of its Storage and Representation
за авторством: V. Verhunov
Опубліковано: (2020)

Choosing an Unmanned Aircraft for Implementation the Method of Combined Control of Its Movement with the Purpose to Create Digital Models of Infrastructure Objects
за авторством: S. O. Bondar, та інші
Опубліковано: (2023)

Modeling and verification methods for application design in heterogeneous architectures
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2020)

Digital Projects of Public Libraries of Ukraine as a Component of the National Information Space
за авторством: S. Denbnovetskyi
Опубліковано: (2022)

An approach to constructing a mathematical model of the signature to determine the monitoring objects using the informativity of its monitoring features
за авторством: O. A. Iliashov, та інші
Опубліковано: (2020)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
за авторством: F. I. Andon, та інші
Опубліковано: (2017)

Theoretical dimension of information-digital economy: Information-digital processes and their attributes
за авторством: V. M. Tarasevych
Опубліковано: (2021)

Methodological Basis for Study Political Parties Media as an Object of Library-Informational Activity
за авторством: A. Potikha
Опубліковано: (2018)

Functionality and Statistics of the use of the scientific digital library of periodical publications of the NAS of Ukraine
за авторством: Andon, P.I., та інші
Опубліковано: (2018)

Codification of Library Study as an Object of Library Science
за авторством: O. Klymenko, та інші
Опубліковано: (2020)

British Library Digital Collection
за авторством: S. Liashenko
Опубліковано: (2001)

The Development of Digital Information Resources of Manuscript and Book Heritage in Vernadsky National Library of Ukraine
за авторством: L. Dubrovina, та інші
Опубліковано: (2016)

Geographic information intelligent systems based on modern information technologies for digital terrain modelling
за авторством: Vdovychenko, V.V., та інші
Опубліковано: (2025)

Optimal Digital System for Research Library
за авторством: Lobuzin, I. V.
Опубліковано: (2014)

Information space model in tasks of distributed mobile objects managing
за авторством: V. O. Filatov, та інші
Опубліковано: (2019)

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

Content strategy of the libraries the digital environment
за авторством: O. Marina
Опубліковано: (2016)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

Library information culture as a reflection of its level of activity
за авторством: Yu. Palekha
Опубліковано: (2019)

Information Technology of Digital Medicine
за авторством: A. S. Kovalenko, та інші
Опубліковано: (2017)

Usage Modeling of Divided Libraries Informational Resources
за авторством: N. Samokhina
Опубліковано: (2006)

Verification and validation: process VS procedure
за авторством: V. L. Demekhin, та інші
Опубліковано: (2013)