Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Thomas Kropf 11 träffar

Titel Författare År Språk
1 Formal Hardware Verification Thomas Kropf 1997 Engelska
2-3 Correct hardware design and verification methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999 : proceedings (flera utgåvor) IFIP WG 10.5 Advanced Research Working Conference 1999 : Bad Herrenalb) cop. 1999 Engelska
4 Formal hardware verification - methods and systems in comparison cop. 1997 Engelska
5 Introduction to formal hardware verification / Thomas Kropf Thomas Kropf uuuu-uuuu Okänt
6 Kommunikative Funktionen des Dialekts im Uniterricht - Theorie und Praxis in der deutschen Schweiz Thomas Kropf 1986 Tyska
7 Kommunikative Funktionen des Dialekts im Unterricht Thomas Kropf 1986 Okänt
8 Theorem provers in circuit design - theory, practice and experience : proceedings International Conference on Theorem Provers in Circuit Design 1994) Bad Herrenalb : cop. 1995 Engelska
9 Theorem Provers in Circuit Design 1995 Engelska
10 Theorem Provers in Circuit Design: Theory, Practice and Experience - Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings 1995 Engelska
11 Introduction to Formal Hardware Verification Thomas Kropf 1999 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.