Federacja Bibliotek Cyfrowych

Strona główna
Zielonogórska Biblioteka Cyfrowa
A BDD engine for logic verification

Szczegóły obiektu: A BDD engine for logic verification

tile.noImage

Instytucja dostarczająca:Zielonogórska Biblioteka Cyfrowa

Opis

Tytuł:
A BDD engine for logic verification
Twórca:
Caban, Dariusz
Współtwórca:
Caban, Dariusz (Red.)
Dostępność obiektu:
Dostęp otwarty
Prawa:
Biblioteka Uniwersytetu Zielonogórskiego
Data:
1993
Typ:
artykuł
Język:
angielski;
eng
Źródło:
AMCS, volume 3, number 1 (1993);
https://www.amcs.uz.zgora.pl/?action=paper&paper=1298
Wydawca:
Zielona Góra: Uniwersytet Zielonogórski
Temat i słowa kluczowe:
sterowanie;
sterowanie-teoria;
sztuczna inteligencja;
matematyka stosowana;
informatyka
Dostawca danych:
Zielonogórska Biblioteka Cyfrowa

Czy mogę z tego obiektu skorzystać?:
poproś o pozwolenie
Rodzaj zawartości:
obrazy

Podobne obiekty

tile.noImage

A BDD engine for logic verification

Twórca:Caban, Dariusz

Data:1993

Rodzaj zawartości:obrazy

tile.noImage

Note from the Editor of the special issue

Twórca:Caban, Dariusz

Data:1993

Rodzaj zawartości:obrazy

tile.noImage

Equipment acquisition for Poland

Twórca:Caban, Dariusz

Data:1993

Rodzaj zawartości:obrazy

tile.noImage

An introduction to fuzzy systems

Twórca:Dubois, Didier | Prade, Henri

Data:1996

Rodzaj zawartości:obrazy

tile.noImage

A model of cell growth and possibilities of tumour treatment by selective protein depletion

Twórca:Tepic, Slobodan | Pyk, Paweł

Data:1994

Rodzaj zawartości:obrazy

tile.noImage

On the existence of an optimally failure tolerant 7R manipulator Jacobian

Twórca:Maciejewski, Anthony A. | Roberts, Rodney G.

Data:1995

Rodzaj zawartości:obrazy

tile.noImage

Evaluation of discrete-time VSC on an inverted pendulum apparatus with additional dynamics

Twórca:Hara, Masaaki | Furuta, Katsuhisa | Pan, Yaodong | Hoshino, Tasuku

Data:1998

Rodzaj zawartości:obrazy

tile.noImage

Comment on the remark by G. A. Kurina on the paper (Müller, 1998)

Twórca:Müller, Peter C.

Data:2002

Rodzaj zawartości:obrazy

Projekt FBC TeNe

Projekt dofinansowany z Funduszy Europejskich w ramach Programu Operacyjnego Polska Cyfrowa na lata 2014-2020 (projekt nr POPC.02.04.00-00-0012/20-00)

Więcej informacji o projekcie znajdziesz na stronie: https://tene.fbc.pionier.net.pl/

Fundusze Europejskie. Polska Cyfrowa

Rzeczpospolita Polska

FBC - Federacja Bibliotek Cyfrowych

Unia Europejska - Europejski Fundusz Rozwoju Regionalnego

Używamy plików cookies, by nieustannie zwiększać komfort przeglądania naszej strony internetowej. W celu uzyskania szczegółowych informacji, prosimy o zapoznanie się z dokumentem Polityki Prywatności