Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 272 obiektów cyfrowych
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: 15
Pułka, Andrzej Makowski, Ryszard - ed. Zarzycki, Jan - ed.
Czerwiński, Robert Kania, Dariusz Zieliński, Cezary - ed.
Barkalov, Alexander Barkalov, Alexander Jr. Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Barkalov, Alexander Titarenko, Larysa Chmielewski, Sławomir Korbicz, Józef (1951- ) - red.
Bach, Małgorzata Werner, Aleksandra Mrozik, Magda Cyran, Krzysztof A. Kusy, Maciej - ed. Scherer, Rafał - ed. Krzyżak, Adam - ed.
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.
Borowik, Grzegorz Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Molchanov, Pavel Totsky, Alexandr Gałkowski, Krzysztof - ed. Rogers, Eric - ed. Willems, Jan
Teren, Viktor Cortadella, Jordi Villa, Tiziano Niemiec, Marcin - ed. Dziech, Andrzej - ed. Wassermann, Jakob - ed.
Huang, Yande Tao, Hongfeng Chen, Yiyang Rogers, Eric Paszke, Wojciech (1975- )
Pedrycz, Witold (1953- ) Rutkowska, Danuta - ed. Zadeh, Lotfi A. - ed.
Tao, Yujuan Tao, Hongfeng Zhuang, Zhihe Stojanovic, Vladimir Paszke, Wojciech (1975- )
Barkalov, Alexander Titarenko, Larysa Mielcarek, Kamil Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
Ahmed, Faisal Kabir, Md. Hasanul Puig, Vicenç - ed. Sauter, Dominique - ed. Aubrun, Christophe - ed. Schulte, Horst - ed.
