Szukana fraza: [Temat i słowa kluczowe = binary decision diagram] lub [Temat i słowa kluczowe = encoding] lub [Temat i słowa kluczowe = finite state machine] lub [Temat i słowa kluczowe = logic synthesis] lub [Temat i słowa kluczowe = formal verification] lub [Temat i słowa kluczowe = logic representation] lub [Tytuł = FSM encoding for BDD representations] lub [Autor = Gosti, Wilsin] lub [Autor = Villa, Tiziano] lub [Autor = Saldanha, Alex] lub [Autor = Sangiovanni\-Vincentelli, Alberto L.]
Wyników: 9
Pułka, Andrzej Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Barkalov, Alexander Barkalov, Alexander Jr. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Czerwiński, Robert Kania, Dariusz Zieliński, Cezary - ed.
Barkalov, Alexander Titarenko, Larysa Chmielewski, Sławomir Korbicz, Józef (1951- ) - red.
Klimek, Radosław Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Mousavi, Amin Jabedar-Maralani, Parviz Grzymala-Busse, Jerzy - ed. Świniarski, Roman W. - ed. Zhong, Ning - ed. Ziarko, Wojciech - ed.
Molchanov, Pavel Totsky, Alexandr Gałkowski, Krzysztof - ed. Rogers, Eric - ed. Willems, Jan
Pedrycz, Witold (1953- ) Rutkowska, Danuta - ed. Zadeh, Lotfi A. - ed.
Huang, Yande Tao, Hongfeng Chen, Yiyang Rogers, Eric Paszke, Wojciech (1975- )
