REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:

Rozpocznij nowe wyszukiwanie
Dodaj filtr:

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


Rezultaty 1-3 z 3 (Czas wyszukiwania: 0.001 sekund).
  • poprzedni
  • 1
  • następny
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2020Partial Correctness of a Fibonacci AlgorithmKorniłowicz, Artur--
2020Partial Correctness of an Algorithm Computing Lucas SequencesJaszczak, Adrian--
2020General Theory and Tools for Proving Algorithms in Nominative Data SystemsJaszczak, Adrian--