Résultat(s)
1 - 1
résultats de
1
pour la requête '
'
Aller au contenu
Toggle navigation
VuFind
Langue
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
हिंदी
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Rechercher
Recherche avancée
Réinitialiser les filtres
Cote:
T - Technologie
Suggestion de sujets:
Integrated circuits
ET
Data processing
ET
Verification
Institution:
Vassar College
Réinitialiser les filtres
Montrer les filtres (5)
Cote:
T - Technologie
Suggestion de sujets:
Integrated circuits
ET
Data processing
ET
Verification
Institution:
Vassar College
ConnectNY is ceasing participation in the ReShare Interlibrary Loan Service.
Please contact staff at your library about options for interlibrary loan services.
Résultats de la recherche
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
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
plus ...
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
moins ...
Résultat(s)
1 - 1
résultats de
1
pour la requête '
'
, Temps de recherche: 0,03s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Cote
Auteur
Titre
1
Computer-aided verification : proceedings /
Publié 1991
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Actes de congrès
Livre
Chargement en cours...
Outils de recherche:
S'abonner aux flux RSS
—
Envoyer cette recherche par courriel
Retour
Restreindre la recherche
Format
Livre
1
Actes de congrès
1
Année de publication
De:
À:
Auteur
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
Cote
T - Technologie
Genre
Conference papers and proceedings
1
Congresses
1
Congrès
1
Suggestion de sujets
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
plus ...
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
voir tous les ...
moins ...
Institution
Rensselaer Polytechnic Institute
1
Vassar College
Langue
English
1
Chargement en cours...