QR kód

Logics for digital circuit verification. Theory, algorithms, and applications /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Janssen, Gradus Leonardus Johannes Maria
Médium:	Diplomová práce Kniha
Jazyk:	angličtina
Vydáno:	Eindhoven : Technická univerzita, 1999
Vydání:	[1st ed.]
Témata:	booleovská funkcia > sieť > program PTL > kombinačný obvod
ISBN:	9038615604
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Logické systémy. Cvičení /
Autor: Kubátová, Hana
Vydáno: (1994)

Logické obvody a kódy /
Autor: Loskot, Roman
Vydáno: (1997)

Modern digital design /
Autor: Sandige, Richard S.
Vydáno: (1990)

Logischer Entwurf digitaler Systeme /
Autor: Liebig, Hans
Vydáno: (1996)

Teorija pereključateľnych schem.
Autor: Miller, Raymond E.
Vydáno: (1970)

Perfect matching requires exponential size monotone circuits /
Autor: Jukna, Stasis
Vydáno: (1991)

Logické systémy. Cvičení /
Autor: Kubátová, Hana
Vydáno: (1996)

Logické systémy : Kombinačné obvody /
Autor: Frištacký, Norbert
Vydáno: (1986)

Sbírka příkladů z číslicové techniky /
Autor: Kantnerová, Ivana
Vydáno: (2010)

Spínací a číslicová technika /
Autor: Podlešák, Jiří
Vydáno: (1994)

Elektronika. III. díl. Číslicová technika. Učebnice. Základní studijní materiál pro střední školy /
Autor: Kesl, Jan
Vydáno: (2003)

Logické systémy /
Autor: Frištacký, Norbert
Vydáno: (1986)

Číslicová technika. Základy konstruktérské praxe /
Autor: Matoušek, David 1972-
Vydáno: (2004)

Elektronika.
Autor: Petrovič, Pavol
Vydáno: (2006)

Pulse and digital circuits /
Autor: Millman, Jacob, a další
Vydáno: (1956)

Základy číslicovej techniky : učebný text /
Vydáno: (1988)

Acta Universitatis Matthiae Belii. Natural sciences series. Series mathematics. Nr. 7 /
Autor: Balibrea, Francisco
Vydáno: (1999)

Logical design of switching circuits /
Autor: Lewin, Douglas
Vydáno: (1969)

Digital fundamentals /
Autor: Floyd, Thomas L.
Vydáno: (1997)

Číslicová technika /
Autor: Ursíny, Ľuboslav
Vydáno: (1994)

33rd international symposium on multiple-valued logic : Proceedings, Tokyo, Japan, 16 - 19 May 2003 /
Autor: Zadeh, Lotfi Asker 1921-
Vydáno: (2003)

Digitální technika /
Autor: Lafata, Pavel 1982-, a další
Vydáno: (2011)

Problems and solutions in electronics /
Autor: Loxton, Roger
Vydáno: (1995)

Struktura a architektura počítačů s řešenými příklady /
Autor: Kubátová, Hana 1956-
Vydáno: (2013)

Logic and architecture synthesis for silicon compilers : Proceedings of the internat. workshop, Grenoble, France, 25 - 27 May, 1988 /
Autor: Saucier, Gabriéle
Vydáno: (1989)

Foundations of analog and digital electronic circuits /
Autor: Agarwal, Anant
Vydáno: (2005)

Automated deduction in equational logic and cubic curves /
Autor: Maccune, William
Vydáno: (1996)

Digital circuits and logic design /
Autor: Lee, Samuel C.
Vydáno: (1976)

Dynamic circuit theory /
Autor: Messerle, Hugo K.
Vydáno: (1965)

Digital and microprocessor fundamentals. Theory and applications /
Autor: Kleitz, William
Vydáno: (1997)

Computer logic, testing and verification /
Autor: Roth, John Paul
Vydáno: (1980)

operation and analysis Digital logic and switching circuits :.
Autor: Boyce, Jefferson C.
Vydáno: (1975)

Cryptography and coding : proceedings of a conference, Cirencester, 15th - 17th Dec. 1986 /
Autor: O'reilly, J. J.
Vydáno: (1989)

Procedúry a funkcie v Pascale. Zbierka úloh /
Autor: Machová, Jana
Vydáno: (1998)

Úvod do teoretické informatiky /
Autor: Koubková, Alena 1954-, a další
Vydáno: (2005)

Basic circuit theory /
Autor: Mikulec, Milan
Vydáno: (2000)

Introduction to the theory of switching circuits /
Autor: Mac Cluskey, E. J.
Vydáno: (1965)

Layout design and verification /
Autor: Ueda, Kazuhiro
Vydáno: (1986)

Digital electronics. A practical approach /
Autor: Kleitz, William
Vydáno: (2005)

Digital electronics /
Autor: Brewster, Hilary D.
Vydáno: (2009)