Search


 
Issue Title
 
No 2 (2017) Use of ontological knowledge by intelligent agents Abstract  PDF (Українська)
J.V. Rogushina
 
No 2-3 (2016) Correctness Property Proof for the Banking System for Money Transfer Payments Abstract  PDF (Українська)
Yu.A. Ostapovska, T.V. Panchenko, N.V. Polishchuk, M.O. Kartavov
 
No 1 (2026) Constructive-synthesizing production of sorting programs adapted by genetic algorithm Abstract  PDF (Українська)
V.I. Shynkarenko, O.V. Makarov
 
No 1 (2020) Algebraic patterns of binary code vulnerabilities Abstract  PDF (Українська)
V.M. Yakovlev
 
No 2 (2017) Optimization of auto-tuning of programs using neural networks Abstract  PDF (Українська)
А.Yu. Doroshenko, P.A. Ivanenko, O.S. Novak
 
No 2 (2022) Master’s thesis in software engineering – object, subject, contents of research Abstract  PDF (Українська)
M.O. Sydorov
 
No 2-3 (2016) Peterson’s algorithm Total correctness proof in IPCL Abstract  PDF
A.A. Zhygallo
 
No 4 (2025) Implementation of the reconstruction process for constructive-synthesizing models of fractal time series Abstract  PDF (Українська)
V.I. Shynkarenko, A.A. Zhadan
 
No 3 (2023) Module-based scientific physics engine architecture Abstract  PDF
A.A. Bernatovych, I.V. Stetsenko
 
No 1 (2021) Analytical review of approaches to integration of software systems Abstract  PDF (Українська)
Y.A. Dyvak
 
No 1 (2016) Automated program design for solution of weather forecasting problem Abstract  PDF (Українська)
A.Yu. Doroshenko, P.A. Ivanenko, O.M. Ovdiy, O.A. Yatsenko
 
No 3 (2025) Constructive-synthesizing modeling of the genetic algorithm chromosomes with encoded sorting algorithms Abstract  PDF (Українська)
V.I. Shinkarenko, O.V. Makarov
 
No 3-4 (2022) Creation and test of applied software of network of wireless sensors for agriculture Abstract  PDF
V.O. Romanov, H.V. Antonova, I.B. Galelyuka, V.M. Hrusha, A.V. Kedych, O.V. Voronenko
 
51 - 63 of 63 Items << < 1 2 3 

Search tips:

  • Search terms are case-insensitive
  • Common words are ignored
  • By default only articles containing all terms in the query are returned (i.e., AND is implied)
  • Combine multiple words with OR to find articles containing either term; e.g., education OR research
  • Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
  • Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
  • Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
  • Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"