REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:


Rozpocznij nowe wyszukiwanie
Dodaj filtr:

Uzyj filtrów aby zagęścić wyszukiwanie.


Rezultaty 1-4 z 4 (Czas wyszukiwania: 0.004 sekund).
  • poprzedni
  • 1
  • następny
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2017Simple-Named Complex-Valued Nominative Data – Definition and Basic OperationsIvanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur--
2018On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018Partial Correctness of GCD AlgorithmIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2019Partial Correctness of a Factorial AlgorithmJaszczak, Adrian; Korniłowicz, Artur--