Zobrazeno 1 - 10
of 213
pro vyhledávání: '"Formal Approach"'
Publikováno v:
Technologies, Vol 12, Iss 8, p 132 (2024)
Although the Linux kernel is widely used, its complexity makes errors common and potentially serious. Traditional formal verification methods often have high overhead and rely heavily on manual coding. They typically verify only specific functionalit
Externí odkaz:
https://doaj.org/article/40c5879d8f0c415ba6a6fe1e42934dc9
Publikováno v:
Buildings, Vol 14, Iss 7, p 1938 (2024)
The facades of buildings stand as one of the most influential aesthetic elements in urban and rural districts, serving as a boundary between exterior and interior while historically expressing various cultural and climatic functions. In Mazandaran Pr
Externí odkaz:
https://doaj.org/article/48cf00bc637847e4bfcd78b13bfce6ec
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Breahnă, Irina
Publikováno v:
Intertext. (1-2):104-110
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=1000878
Autor:
V. Ya. Gelman
Publikováno v:
Ekonomika Nauki, Vol 6, Iss 3, Pp 180-185 (2020)
The effectiveness of research teams and scientists is largely estimated by their publication activity. One indicator of the quality of scientific work is the absence of plagiarism. The purpose of this paper was to consider the problems that arise wit
Externí odkaz:
https://doaj.org/article/1b905a01548c4e40882ea7f4f83b7ddd
Autor:
Arkadiev, Peter, author, Gardani, Francesco, author
Publikováno v:
The Complexities of Morphology, 2020.
Externí odkaz:
https://doi.org/10.1093/oso/9780198861287.003.0001
Autor:
Shirai, Yasuhiro, Juffs, Alan
Publikováno v:
Second Language Research, 2017 Jan 01. 33(1), 3-12.
Externí odkaz:
https://www.jstor.org/stable/26375869
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.