Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Nikitchenko, Mykola"" wg kryterium: Autor

  Lista filtrów

Ogranicz do:

Wyrównaj
Wyświetlanie 1-20 z 137
Tytuł:
Composition-Nominative Methods and Models in Program Development
Autorzy:
Nikitchenko, MykolaAff1, IDs42979022013352_cor1
Pokaż więcej
Źródło:
SN Computer Science. 3(6)
Czasopismo naukowe
Szczegóły
Tytuł:
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement
Autorzy:
Ivanov, Ievgen
Nikitchenko, Mykola
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 14th International Conference, ICTERI 2018, Kyiv, Ukraine, May 14-17, 2018, Revised Selected Papers. 1007:71-88
Książka elektroniczna
Szczegóły
Tytuł:
On Algebraic Properties of Nominative Data and Functions
Autorzy:
Skobelev, Volodymyr G.
Nikitchenko, Mykola
Ivanov, Ievgen
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers. 469:117-138
Książka elektroniczna
Szczegóły
Tytuł:
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems
Autorzy:
Ivanov, IevgenAff6, Aff7
Nikitchenko, Mykola
Abraham, Uri
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers. 469:78-99
Książka elektroniczna
Szczegóły
Tytuł:
Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics
Autorzy:
Nikitchenko, Mykola S.
Tymofieiev, Valentyn G.
Pokaż więcej
Źródło:
ICT in Education, Research, and Industrial Applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers. 347:89-110
Książka elektroniczna
Szczegóły
Tytuł:
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions
Autorzy:
Kryvolap, Andrii
Nikitchenko, Mykola
Schreiner, Wolfgang
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. 412:355-378
Książka elektroniczna
Szczegóły
Tytuł:
Composition-Nominative Logics in Rigorous Development of Software Systems
Autorzy:
Nikitchenko, Mykola S.
Tymofieiev, Valentyn G.
Pokaż więcej
Źródło:
Information Systems: Methods, Models, and Applications : 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012, Revised Selected Papers. 137:140-151
Książka elektroniczna
Szczegóły
Wyświetlanie 1-20 z 137

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies