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

Obiektów na stronie:
AMCS, volume 31 (2021)

Wojnakowski, Marcin Wiśniewski, Remigiusz Bazydło, Grzegorz Popławski, Mateusz Kusy, Maciej - ed. Scherer, Rafał - ed. Krzyżak, Adam - ed.

2021
artykuł
AMCS, volume 17 (2007)

Gosti, Wilsin Villa, Tiziano Saldanha, Alex Sangiovanni-Vincentelli, Alberto L. Korbicz, Józef (1951- ) - red.

2007
artykuł
AMCS, volume 13 (2003)

Gu, Tianlong Bahri, Parisa A. Cai, Guoyong Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2003
artykuł
AMCS, volume 28 (2018)

Li, Ben Khlif-Bouassida, Manel Toguéyni, Armand Puig, Vicenç - ed. Sauter, Dominique - ed. Aubrun, Christophe - ed. Schulte, Horst - ed.

2018
artykuł
AMCS, volume 34 (2024)

Patalas-Maliszewska, Justyna Wiśniewski, Remigiusz Zhou, MengChu Topczak, Marcin Wojnakowski, Marcin Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2024
artykuł
AMCS, Volume 15 (2005)

Barkalov, Alexander Barkalov, Alexander Jr. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2005
artykuł
AMCS, Volume 27 (2017)

Kubica, Marcin Kania, Dariusz Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2017
artykuł
AMCS, volume 18 (2008)

Sawerwain, Marek Gielerak, Roman Gałkowski, Krzysztof - ed. Rogers, Eric - ed. Willems, Jan

2008
artykuł
AMCS, volume 28 (2018)

Pancerz, Krzysztof Schumann, Andrew Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2018
artykuł
AMCS, volume 17 (2007)

Barkalov, Alexander Titarenko, Larysa Chmielewski, Sławomir Korbicz, Józef (1951- ) - red.

2007
artykuł
AMCS, volume 31 (2021)

Bach, Małgorzata Werner, Aleksandra Mrozik, Magda Cyran, Krzysztof A. Kusy, Maciej - ed. Scherer, Rafał - ed. Krzyżak, Adam - ed.

2021
artykuł
AMCS, volume 29 (2019)

Ngoko, Yanik Cérin, Christophe Trystram, Denis Kobusińska, Anna - ed. Hsu, Ching-Hsien - ed. Lin, Kwei-Jay - ed.

2019
artykuł
AMCS, Volume 20 (2010)

Opara, Adam Kania, Dariusz Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2010
artykuł
AMCS, Volume 16 (2006)

Porwik, Piotr Stanković, Radomir S. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2006
artykuł
AMCS, Volume 21 (2011)

Berdjag, Denis Cocquempot, Vincent Christophe, Cyrille Shumsky, Alexey Zhirabok, Alexey Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.

2011
artykuł

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