Mostra
1 - 1
risultati di
1
ricerca '
'
Salta al contenuto
Toggle navigation
VuFind
Lingua
English
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
हिंदी
Tutti i Campi
Titolo
Autore
Soggetto
Collocazione
ISBN/ISSN
Cerca
Avanzata
Reset dei filtri
Collocazione:
T - Tecnologia
Soggetti:
Integrated circuits
AND
Data processing
AND
Verification
Istituzione:
Vassar College
Reset dei filtri
Mostra i filtri (5)
Collocazione:
T - Tecnologia
Soggetti:
Integrated circuits
AND
Data processing
AND
Verification
Istituzione:
Vassar College
ConnectNY is ceasing participation in the ReShare Interlibrary Loan Service.
Please contact staff at your library about options for interlibrary loan services.
Risultati della ricerca
Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Circuits intégrés
1
Circuits intégrés numériques
1
Computer-aided design
1
Conception assistée par ordinateur
1
Conception et construction
1
Congresses
1
Congrès
1
espandi ...
Data processing
Design and construction
1
Digital integrated circuits
1
Informatique
1
Integrated circuits
Protocoles de réseaux d'ordinateurs
1
Verification
Vérification
1
riduci ...
Mostra
1 - 1
risultati di
1
ricerca '
'
, tempo di risposta: 0,04s
Raffina i risultati
Ordina
Rilevanza
Data (discendente)
Data (ascendente)
Collocazione
Autore
Titolo
1
Computer-aided verification : proceedings /
Pubblicazione 1991
Collocazione:
Caricamento...
Localizzazione:
Caricamento...
Atti del Convegno
Libro
Caricamento...
Strumenti per la ricerca:
Feed RSS
—
Invia questa ricerca per email
Indietro
Restringi la ricerca
Natura
Libro
1
Atti del Convegno
1
Anno di pubblicazione
Da:
A:
Autore
CAV (Conference) Center for Discrete Mathematics and Theoretical Computer Science)
1
Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020
1
Kurshan, R. P., 1943-
1
Collocazione
T - Tecnologia
Genere
Conference papers and proceedings
1
Congresses
1
Congrès
1
Soggetti
Circuits intégrés
1
Circuits intégrés numériques
1
Computer-aided design
1
Conception assistée par ordinateur
1
Conception et construction
1
Congresses
1
espandi ...
Congrès
1
Data processing
Design and construction
1
Digital integrated circuits
1
Informatique
1
Integrated circuits
Protocoles de réseaux d'ordinateurs
1
Verification
Vérification
1
vedi tutto ...
riduci ...
Istituzione
Rensselaer Polytechnic Institute
1
Vassar College
Lingua
English
1
Caricamento...