REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Wydział Informatyki / Faculty of Informatics

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



    • Artykuły naukowe (WInf) : [139]
    Strona glówna kolekcji Zobacz statystyki

    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): 21 do 40 z 139
    < Porzedni   Dalej >
    Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
    2023Conway Numbers – Formal IntroductionPąk, Karol--
    2023Elementary Number Theory Problems. Part X – Diophantine EquationsKorniłowicz, Artur--
    2023Elementary Number Theory Problems. Part IXKorniłowicz, Artur--
    2023On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy NegationsGrabowski, Adam--
    2023Elementary Number Theory Problems. Part VIIIKorniłowicz, Artur--
    2023Elementary Number Theory Problems. Part VIIKorniłowicz, Artur--
    2022Prime Representing Polynomial with 10 UnknownsPąk, Karol--
    2022Prime Representing Polynomial with 10 Unknowns – Introduction. Part IIPąk, Karol--
    2022Elementary Number Theory Problems. Part VIGrabowski, Adam--
    2022Elementary Number Theory Problems. Part VKorniłowicz, Artur; Naumowicz, Adam--
    2022Elementary Number Theory Problems. Part IVKorniłowicz, Artur--
    2022Prime Representing Polynomial with 10 Unknowns – IntroductionPąk, Karol--
    2022Elementary Number Theory Problems. Part IIIKorniłowicz, Artur--
    2021Prime Representing PolynomialPąk, Karol--
    2021On Weakly Associative Lattices and Near LatticesSawicki, Damian; Grabowski, Adam--
    2021Elementary Number Theory Problems. Part IIKorniłowicz, Artur; Surowik, Dariusz--
    2020Partial Correctness of an Algorithm Computing Lucas SequencesJaszczak, Adrian--
    2020General Theory and Tools for Proving Algorithms in Nominative Data SystemsJaszczak, Adrian--
    2020Formalization of QuasilatticesKulesza, Dominik; Grabowski, Adam--
    2020Grothendieck UniversesPąk, Karol--
    Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 21 do 40 z 139
    < Porzedni   Dalej >

    Odkryj