Filtry
  • Kolekcje
  • Publikacje grupowe
  • Typ pliku
  • Format treści
  • Autor
  • Współtwórca
  • Tytuł
  • Temat i słowa kluczowe
  • Data wydania
  • Typ zasobu
  • Jezyk
  • Prawa do dysponowania publikacją

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

AMCS, volume 30 (2020)

Gao, Depeng Wu, Rui Liu, Jiafeng Fan, Xiaopeng Tang, Xianglong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2020
artykuł
AMCS, volume 11 (2001)

Atwell, Jeanne A. Borggaard, Jeffrey T. King, Belinda B. Curtain, Ruth - ed. Kaashoek, Rien - ed.

2001
artykuł
AMCS, Volume 24 (2014)

Tran, Hoai Linh Pham, Van Nam Vuong, Hoang Nam Abaev, Pavel - ed. Razumchik, Rostislav - ed. Kołodziej, Joanna - ed.

2014
artykuł
AMCS, Volume 16 (2006)

Aswani Kumar, Cherukuri Srinivas, Suripeddi Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2006
artykuł
AMCS, Volume 15 (2005)

Oh, Cheolhwan Żak, Stanisław H. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2005
artykuł

Elloumi, Wafa Mehdi, Driss Chaabane, Mohammed Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2018
artykuł
AMCS, volume 17 (2007)

Gander, Martin J. Halpern, Laurence Magoul?s, Frédéric Roux, François-Xavier Sokołowski, Jan - ed. Sonnendrücker, Eric - ed.

2007
artykuł
AMCS, Volume 26 (2016)

Zhou, Lan She, Jinhua Li, Chaoyi Pan, Changzhong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2016
artykuł
AMCS, Volume 15 (2005)

Moldovan, Andreea Bot, Radu Ioan Wanka, Gert Beliczyński, Bartłomiej - red.

2005
artykuł
AMCS, Volume 23 (2013)

Gao, Jian-Qiang Fan, Li-Ya Li, Li Xu, Li-Zhong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2013
artykuł
AMCS, volume 30 (2020)

Barkalov, Alexander Titarenko, Larysa Mielcarek, Kamil Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2020
artykuł
IJAME, volume 26 (2021)

Paliivets, Maksim Bakshtanin, Alexander Benin, Dmitriy M. Andreev, E. Snezhko, V.L. Jurczak, Paweł - red.

2021
artykuł

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji