Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 659 obiektów cyfrowych
Szukana fraza: [Temat i słowa kluczowe = transition systems] lub [Temat i słowa kluczowe = Petri nets] lub [Temat i słowa kluczowe = state machine] lub [Temat i słowa kluczowe = decomposition] lub [Temat i słowa kluczowe = theory of regions] lub [Temat i słowa kluczowe = SAT] lub [Temat i słowa kluczowe = pseudo\-Boolean optimization] lub [Tytuł = Generation of synchronizing state machines from a transition system\: A region\-based approach] lub [Autor = Teren, Viktor] lub [Autor = Cortadella, Jordi] lub [Autor = Villa, Tiziano]
Wyników: 54
Paliivets, Maksim Bakshtanin, Alexander Benin, Dmitriy M. Andreev, E. Snezhko, V.L. Jurczak, Paweł - red.
Jakubus, Monika Greinert, Andrzej - red.
Cempel, Czesław Korbicz, Józef (1951- ) - ed. Sauter, Dominique - ed.
Chaturantabut, Saifon Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Jankowski, Norbert Linowiecki, Rafał Kulczycki, Piotr - ed. Kacprzyk, Janusz - ed. Kóczy, László T. - ed. Mesiar, Radko - ed.
Piegat, Andrzej Dobryakova, Larisa Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
