W BIAŁYMSTOKU
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) |
|---|---|---|---|---|
| 2019 | Partial Correctness of a Power Algorithm | Jaszczak, Adrian | - | - |
| 2019 | Partial Correctness of a Factorial Algorithm | Jaszczak, Adrian; Korniłowicz, Artur | - | - |
| 2020 | Partial Correctness of an Algorithm Computing Lucas Sequences | Jaszczak, Adrian | - | - |
| 2020 | General Theory and Tools for Proving Algorithms in Nominative Data Systems | Jaszczak, Adrian | - | - |
Odkryj
Temat
Posiada pliki pozycji
- 4 true