Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 272 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: 52
Gao, Depeng Wu, Rui Liu, Jiafeng Fan, Xiaopeng Tang, Xianglong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Barszcz, Tomasz Korbicz, Józef (1951- ) - ed.
Kaczorek, Tadeusz (1932- ) Korbicz, Józef (1951- ) - red.
Zhirabok, Alexey Shumsky, Alexey Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Opara, Adam Kubica, Marcin Kitowski, Zygmunt - ed. Piskur, Paweł - ed. Hożyń , Stanisław - ed.
Kwiatkowski, Jakub Krawiec, Krzysztof Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Sutradhar, Tumpa Datta, B.K. Bera, Rasajit Kumar Jurczak, Paweł - red.
Atwell, Jeanne A. Borggaard, Jeffrey T. King, Belinda B. Curtain, Ruth - ed. Kaashoek, Rien - ed.
Simek, Krzysztof Kimmel, Marek - red. Lachowicz, Mirosław - red. Świerniak, Andrzej - red.
Tran, Hoai Linh Pham, Van Nam Vuong, Hoang Nam Abaev, Pavel - ed. Razumchik, Rostislav - ed. Kołodziej, Joanna - ed.
Aswani Kumar, Cherukuri Srinivas, Suripeddi Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Oh, Cheolhwan Żak, Stanisław H. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Clempner, Julio Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Zhou, Lan She, Jinhua Zhou, Shaowu Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Elloumi, Wafa Mehdi, Driss Chaabane, Mohammed Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Gander, Martin J. Halpern, Laurence Magoul?s, Frédéric Roux, François-Xavier Sokołowski, Jan - ed. Sonnendrücker, Eric - ed.
Zhou, Lan She, Jinhua Li, Chaoyi Pan, Changzhong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Moldovan, Andreea Bot, Radu Ioan Wanka, Gert Beliczyński, Bartłomiej - red.
Liu, Xinwu Huang, Lihong Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Gao, Jian-Qiang Fan, Li-Ya Li, Li Xu, Li-Zhong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Barkalov, Alexander Titarenko, Larysa Mielcarek, Kamil Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Uciński, Dariusz Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Paliivets, Maksim Bakshtanin, Alexander Benin, Dmitriy M. Andreev, E. Snezhko, V.L. Jurczak, Paweł - red.
Jakubus, Monika Greinert, Andrzej - red.
