QR kód

A formal approach to hardware design /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Staunstrup, Jorgen
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Boston : Kluwer Academic Publishers, 1994
Vydání:	[1st ed.]
Edice:	International series in engineering and computer science
Témata:	model integrovaných obvodov > verifikácia > protokol > synchrónna realizácia
ISBN:	0792394275
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Verification of electronic designs by reconstruction of the hierarchy /
Autor: Kostelijk, Anton Pieter
Vydáno: (1994)

Chemical vapour deposition of Tungsten from WF6/SiH4 and WF6/GeH4 /
Autor: Jeugd, Cornelius Alexander van der
Vydáno: (1992)

ATM technika pro širokopásmové sítě ISDN /
Autor: Siegmund, Gerd
Vydáno: (1997)

Optimization with Potts neural networks in high level synthesis /
Autor: Philipsen, Wilhelmus Jacobus Maria
Vydáno: (1995)

Multidimensional periodic scheduling /
Autor: Verhaegh, Wilhelmus Franciscus Johannes
Vydáno: (1995)

A concise introduction to ceramics /
Autor: Phillips, George C.
Vydáno: (1991)

Komunikačný radič synchrónnej (komsad) a asynchrónnej (komamu) linky /
Autor: Bačkády, Milan
Vydáno: (1988)

In terms of nets. System design with Petri nets and process algebra /
Autor: Basten, Antonius André
Vydáno: (1998)

Posudzovanie bezpečnosti technických zariadení. Modul 5.2 /
Autor: Dussart, Daniel
Vydáno: (2000)

Real-time systems : formal specification and automatic verification /
Autor: Olderog, Ernst-Rüdiger, a další
Vydáno: (2008)

Prenosová technika /
Autor: Tomašov, Pavol
Vydáno: (1995)

Acta meteorologica Universitatis Comenianae.
Autor: Hrvoľ, Ján
Vydáno: (2007)

Úvod do ekonometrického modelovania /
Autor: Garaj, Vladislav
Vydáno: (1993)

Štatistika a úvod do ekonometrie. II. časť. Úvod do ekonometrie /
Autor: Úradníček, Vladimír
Vydáno: (1997)

Encyclopaedic dictionary of information technology and systems /
Autor: Cawkell, A. E.
Vydáno: (1993)

Analysis and design of integrated circuits /
Vydáno: (1967)

Transistor circuit design tables /
Autor: Taylor, David S.
Vydáno: (1971)

Určenie vplyvu vodnej stavby na hladinový režim podzemných vôd a možnosti jeho regulácie /
Autor: Baroková, Dana 1963-
Vydáno: (2006)

Komplexná prestavba hospodárskeho mechnizmu a jej realizácia v ČSSR /
Autor: Kozák, Pavol
Vydáno: (1988)

The identification of analytical device models /
Autor: Middelhoek, Martin Guido
Vydáno: (1992)

Automatic verification of road databases using multiple road models /
Autor: Ziems, Marcel 1977-
Vydáno: (2014)

Development of on-line and web-based training /
Autor: Huba, Mikuláš, a další
Vydáno: (2005)

Egolingvistická projekcia reality /
Autor: Čulenová, Eva
Vydáno: (2013)

Projektový manažment : návody na cvičenia pre Fakultu PEDAS /
Autor: Kremeňová, Iveta, a další
Vydáno: (2012)

Semiconductor circuit design for a.f. and d.c. amplification and switching /
Autor: Watson, J.
Vydáno: (1970)

Solid state devices : ESSDERC '87, Bologna, Italy, 14 - 17 Sept. 1987 /
Autor: Sai-Halasz, G. A.
Vydáno: (1988)

Teorie obvodů. 3. díl : Sbírka příkladů /
Autor: Mišurec, Jaroslav
Vydáno: (1986)

Príklady z teórie obvodov. 1. diel /
Autor: Šimko, Vojtech
Vydáno: (1985)

Metódy systézy obvodů s nesoustředenými parametry RC /
Autor: Novák, Mirko
Vydáno: (1969)

Úvod do teorie obvodů.
Autor: Mikulec, Milan
Vydáno: (1971)

Simulace biologických systémů /
Autor: Pazourek, Jaroslav
Vydáno: (1992)

Mechanizace a provádění staveb /
Autor: Smitka, Vladimír, a další
Vydáno: (1968)

Ekonomika, organisace a provádění staveb. 1. část. Organisace, ekonomika a plánování /
Autor: Šamalík, Jaroslav
Vydáno: (1955)

Realizace staveb a souborů : Konštrukčně výrobní systémy hrubé stavby /
Autor: Gail, Zdeněk
Vydáno: (1988)

Navrhování a realizace objektů zařízení staveniště : Studijní texty /
Autor: Pinkava, Miroslav
Vydáno: (1988)

The fax modem sourcebook /
Autor: Margolis, Andrew
Vydáno: (1995)

Projektová príprava, realizácia stavieb a riadenie projektovej činnosti : Súbor prednášok z kurzu SlK VTIR k príprave skúšok na overovanie osobitnej spôsobilosti vo výstavbe. Časť 2 /
Autor: Achberger, Anton
Vydáno: (1985)

Výstavba : Príprava a realizácia stavby pre 4. ročník gymnázia /
Autor: Cibulka, Vladimír
Vydáno: (1989)

Výstavba : Příprava a realizace stavby. Pro 4. ročník gymnázií /
Autor: Cibulka, Vladimír
Vydáno: (1990)

Makroekonomická regulácia. Vybrané problémy /
Autor: Mokrý, Vladimír
Vydáno: (1991)