REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Wyszukaj


    Aktualne filtry:

    Rozpocznij nowe wyszukiwanie
    Dodaj filtr:

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

     | 
    Rezultaty 1-6 z 6 (Czas wyszukiwania: 0.003 sekund).
    • poprzedni
    • 1
    • następny
    Odsłon pozycji:
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2018On Algebras of Algorithms and Specifications over Uninterpreted DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--
    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--
    2017Simple-Named Complex-Valued Nominative Data – Definition and Basic OperationsIvanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur--
    2018Kleene Algebra of Partial PredicatesKorniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola--
    2018On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative DataIvanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola--

    Odkryj