Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 1-4 z 4 (Czas wyszukiwania: 0.001 sekund).
- poprzedni
- 1
- następny
Odsłon pozycji:
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2018 | On Algebras of Algorithms and Specifications over Uninterpreted Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2018 | Partial Correctness of GCD Algorithm | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2018 | An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2018 | On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |