Digital Library of Zielona Góra contains 9 272 digital objects
Search for: [Subject and Keywords = binary decision diagram] OR [Subject and Keywords = encoding] OR [Subject and Keywords = finite state machine] OR [Subject and Keywords = logic synthesis] OR [Subject and Keywords = formal verification] OR [Subject and Keywords = logic representation] OR [Title = FSM encoding for BDD representations] OR [Creator = Gosti, Wilsin] OR [Creator = Villa, Tiziano] OR [Creator = Saldanha, Alex] OR [Creator = Sangiovanni\-Vincentelli, Alberto L.]
Number of results: 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.
