W BIAŁYMSTOKU
Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 91-100 z 515 (Czas wyszukiwania: 0.005 sekund).
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 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 | - | - |
| 2019 | A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables | Otsuki, Sora; Kawamoto, Pauline N.; Yamazaki, Hiroshi | - | - |
| 2018 | Some Remarks about Product Spaces | Koch, Sebastian | - | - |
| 2018 | Binary Representation of Natural Numbers | Okazaki, Hiroyuki | - | - |
| 2018 | Arithmetic Operations on Short Finite Sequences | Ziobro, Rafał | - | - |
| 2018 | Basic Diophantine Relations | Acewicz, Marcin; Pąk, Karol | - | - |
| 2019 | Multilinear Operator and Its Basic Properties | Nakasho, Kazuhisa | - | - |
| 2019 | Cross-Ratio in Real Vector Space | Coghetto, Roland | - | - |
| 2018 | Formalizing Two Generalized Approximation Operators | Grabowski, Adam; Sielwiesiuk, Michał | - | - |