Simulation-based hardware verification with high-level decision diagrams (Eesti üliõpilaste teadustööde riiklik konkurss ; 2009)

Download

Downloaded 1951 times

Available at the authorised workplace in the National Library of Estonia, Archival Library of the Estonian Literary Museum, Tallinn University of Technology Library, Academic Library of Tallinn University and University of Tartu Library

Available in the network of the National Library of Estonia

Available in public network

PDF

Download

156 lk. (3 MB)
Lisa (2 lk.) (16 KB)

Simulation-based hardware verification with high-level decision diagrams (Eesti üliõpilaste teadustööde riiklik konkurss ; 2009)

Maksim Jenihhin, Tallinna Tehnikaülikool

Technical data

Publisher:: Tallinna Tehnikaülikool
Published:: 2008
Language:: English, Estonian
Depositor:: Archimedes SA

Type:: book

: Copyrighted
ESTER: b24313324

URL: http://www.digar.ee/id/nlib-digar:54926

Keywords

Eesto : Rahvusvaheline Korjajate Ühing = Internationale Sammler-Verein... Rahvusvaheline Korjajate Ühing Eesto
The conceptual underpinnings and challenges of the strategies guiding ...
Glowing coast
Haridus - meie ühine vastutus : Eesti Haridusfoorum 2018-2020 : etteka... Reet Laja, Krista Loogma, Pille Lill, Viive Ruus, Kersti Kaljulaid, Jüri Ratas, Alberto Zucconi, Jüri Engelbrecht, Kadri Aavik, Ott Karulin, Tiit Land, Aune Valk, Martti Raidal, Maarja Kruusmaa, Peeter Saari, Marek Tamm, Enn Tõugu, Jaan Undusk, Tarmo Soomere, Äli Leijen, Priit Reiska, Margus Pedaste, Katrin Niglas, Pille Liblik, Olav Aarna, Astrid Sildnik, Annika Poldre, Martin Ehala, Viivi Luik, Kaido Ole, Martin Saar, Maria Erss, Mailis Reps, Indrek Saar, Joonas Hellerma, Marju Lauristin, Margit Sutrop, Raul Eamets, Tiit Aleksejev, Ülle Matsin, Kristi Mets-Alanurm, Maarja Vaino, Mati Heidmets, Airi Liimets, Tiiu Kuurme, mittetulundusühing Eesti Haridusfoorum
Umweltphilosophie und Landschaftsdenken im baltischen Kulturraum = Env... Jaan Undusk, Underi ja Tuglase Kirjanduskeskus
TEUK X : taastuvate energiaallikate uurimine ja kasutamine : kümnenda ... Argo Normak, konverents Taastuvate energiaallikate uurimine ja kasutamine
Promoting sustainable development in the Lake Peipsi region ; 2000 Peipsi Koostöö Keskus, Peipsi Järve Projekt
Coastal meadows: maintenance, restoration and recovery : a thesis for ... Marika Kose, Eesti Maaülikool. Põllumajandus- ja keskkonnainstituut
Monitoring European Border-crossing points on the EU's Eastern Bo... Tartu Ülikool. Euroopa Kolledž
Eesti = Estonia : philately & postal history handbook-catalogue = Estl... Vambola Hurt, Elmar Ojaste, Eesti Filatelistide Ühing Rootsis, Eesti Filatelistide Selts (Ameerika Ühendriigid)
Kuritegevus Eestis 1991-2001 = Crime in Estonia 1991-2001 Jüri Saar, Anna Markina, Andri Ahven, Aet Annist, Jaan Ginter, Eesti. Justiitsministeerium, Tallinna Pedagoogikaülikool. Rahvusvaheliste ja Sotsiaaluuringute Instituut
Financial stability review ; 1/2 2010 Eesti Pank
2018 10th International Conference on Cyber Conflict: CyCon X: Maximis... conference Maximising Effects, Conference on cyber conflict
European Community initiative EQUAL
Estonian minority population and non-discrimination: report 2006 Vadim Poleštšuk, Inimõiguste Teabekeskus
Demand-side response as source for flexibility = Tarbimise juhtimine e...
Folia Cryptogamica Estonica ; 16 Eesti Looduseuurijate Selts, Tartu Ülikool
Advanced control of district heating processes in Estonia = Keskkütte ... Vitali Vansovitš, Tallinna Tehnikaülikool. Arvutisüsteemide instituut
Development of coarse recycled hardmetal reinforced hardfacings = Taas... Taavi Simson, Tallinna Tehnikaülikool. Inseneriteaduskond, Tallinna Tehnikaülikool. Mehaanika ja tööstustehnika instituut
Estonian economy and monetary policy ; 2017/2 Eesti Pank

Download

Download

Simulation-based hardware verification with high-level decision diagrams (Eesti üliõpilaste teadustööde riiklik konkurss ; 2009)

Technical data

Keywords

SEE ALSO