REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Przeglądaj
Zapisz się do tej kolekcji aby otrzymywać codzienne informacje o nowych dodatkach. RSS Feed RSS Feed RSS Feed
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2018Formalizing Two Generalized Approximation OperatorsGrabowski, Adam; Sielwiesiuk, Michał--
2018Basic Diophantine RelationsAcewicz, Marcin; Pąk, Karol--
2018Partial Correctness of GCD AlgorithmIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018An Inference System of an Extension of Floyd-Hoare Logic for Partial PredicatesIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018On Algebras of Algorithms and Specifications over Uninterpreted DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
2018About Supergraphs. Part IKoch, Sebastian--
2018About Supergraphs. Part IIKoch, Sebastian--
2018On Two Alternative Axiomatizations of Lattices by McKenzie and SholanderGrabowski, Adam; Sawicki, Damian--
2018Parity as a Property of IntegersZiobro, Rafał--
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10