Näytetään
1 - 5
yhteensä
5
tuloksesta haulle '
'
Siirry sisältöön
Oma tili
Kirjaudu ulos
Organisaation kirjautuminen
Kieli
English
Te Reo Māori
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Sanahaku
Kurssi
Nimeke
Lehden nimi
Tekijä
Aihe
ISBN/ISSN
Hyllypaikka
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Viivakoodi
Sarja
Selaa aakkosittain: Nimekkeen mukaan
Selaa aakkosittain: Tekijän mukaan
Selaa aakkosittain: Aiheen mukaan
Selaa aakkosittain: By LC Call Number
Selaa aakkosittain: By Dewey Call Number
Hae
Tarkennettu
Sivu ladataan uudelleen, kun suodatin poistetaan.
Käytetyt suodattimet:
Aihe-ehdotuksia:
Poista suodatin
Computer-aided design
JA
Poista suodatin
Verification
JA
Poista suodatin
Very large scale integration
Sivu ladataan uudelleen, kun suodatin poistetaan.
Näytä rajaukset (3)
Aihe-ehdotuksia:
Poista suodatin
Computer-aided design
JA
Poista suodatin
Verification
JA
Poista suodatin
Very large scale integration
UC Library
Haku kirjastoluettelosta
Hakutulokset
Näytetään
1 - 5
yhteensä
5
tuloksesta haulle '
'
Tarkenna hakua
Tuloksia sivulla
10
20
40
60
80
100
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Luokka
Tekijä
Nimeke
Valitse sivu
Sähköposti
Vienti
Tulosta
Tallenna
Valitse hakutulos 1
1
Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /
Julkaistu 2003
Sijainti
Lataa...
Hyllypaikka
Lataa...
Connect to electronic version
Konferenssijulkaisu
Kirja
Lisää suosikkeihin
Tallennettuna:
Valitse hakutulos 2
2
Correct hardware design and verification methods 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings /
Julkaistu 2005
Sijainti
Lataa...
Hyllypaikka
Lataa...
Connect to electronic resource
Elektroninen
Konferenssijulkaisu
Kirja
Lisää suosikkeihin
Tallennettuna:
Valitse hakutulos 3
3
Formal hardware verification : methods and systems in comparison /
Julkaistu 1997
Sijainti
Lataa...
Hyllypaikka
Lataa...
Kirja
Lataa...
Lisää suosikkeihin
Tallennettuna:
Valitse hakutulos 4
4
Formal verification of hardware design /
Julkaistu 1990
Sijainti
Lataa...
Hyllypaikka
Lataa...
Kirja
Lataa...
Lisää suosikkeihin
Tallennettuna:
Valitse hakutulos 5
5
Logic synthesis and verification algorithms /
Tekijä
Hachtel, Gary D.
Julkaistu 2006
Sijainti
Lataa...
Hyllypaikka
Lataa...
Kirja
Lataa...
Lisää suosikkeihin
Tallennettuna:
Valitse sivu
Sähköposti
Vienti
Tulosta
Tallenna
Työkalut:
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Takaisin
Tarkenna hakua
Sivu ladataan uudelleen, kun suodatin valitaan tai jätetään pois.
Aineistotyyppi
Kirja
5 tulosta
5
Konferenssijulkaisu
2 tulosta
2
Elektroninen
1 tulosta
1
Kirjasto
EPS Library
2 tulosta
2
Law Basement
2 tulosta
2
Julkaisuvuosi
Alkaen:
Päättyen:
Aihe-ehdotuksia
Computer-aided design
Integrated circuits
5 tulosta
5
Verification
Very large scale integration
Data processing
3 tulosta
3
Design and construction
2 tulosta
2
Computer software
1 tulosta
1
Design
1 tulosta
1
Logic design
1 tulosta
1
näytä kaikki…
Genre
Congresses
2 tulosta
2
Kieli
English
5 tulosta
5
Tekijä
Borrione, Dominique
1 tulosta
1
CHARME 2003 L'Aquila, Italy
1 tulosta
1
CHARME 2005 Saarbrücken, Germany
1 tulosta
1
Geist, Daniel, 1961-
1 tulosta
1
Hachtel, Gary D.
1 tulosta
1
Kropf, Thomas, 1961-
1 tulosta
1
Paul, Wolfgang, 1959-
1 tulosta
1
Somenzi, Fabio
1 tulosta
1
SpringerLink (Online service)
1 tulosta
1
Tronci, Enrico, 1961-
1 tulosta
1
Yoeli, Michael
1 tulosta
1
näytä kaikki…
Hyllypaikka
T - Technology
3 tulosta
3
Lataa...