Showing
1 - 3
results of
3
for search '
'
Skip to content
Toggle navigation
VuFind
Your Account
Log Out
Login
Language
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
हिंदी
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Reset Filters
Call Number:
T - Technology
Suggested Topics:
Integrated circuits
Era:
1988
Reset Filters
Show filters (3)
Call Number:
T - Technology
Suggested Topics:
Integrated circuits
Era:
1988
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Integrated circuits
Very large scale integration
3
Circuits intégrés
2
Circuits intégrés à très grande échelle
2
Congrès
2
Design and construction
2
Kongress
2
more ...
VLSI
2
Automatic theorem proving
1
Automatisches Beweisverfahren
1
Compiler
1
Congresses
1
Démonstration automatique
1
Hardwareentwurf
1
Hardwareverifikation
1
Intégration a très large échelle
1
Kongreß
1
Plans et construction
1
Recherche
1
Research
1
Silicon compilers
1
Silicon-Compiler
1
Théorèmes
1
Verification
1
Vérification
1
less ...
Showing
1 - 3
results of
3
for search '
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Current trends in hardware verification and automated theorem proving /
Published 1989
Call Number:
Loading...
Located:
Loading...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Book
Save to List
Saved in:
2
Advanced research in VLSI : proceedings of the fifth MIT conference, March 1988 /
Published 1988
Call Number:
Loading...
Located:
Loading...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Book
Save to List
Saved in:
3
Logic and architecture synthesis for silicon compilers : proceedings of the International Workshop on Logic and Architecture Synthesis for Silicon Compilers held in Grenoble, Franc...
Published 1989
Call Number:
Loading...
Located:
Loading...
//IF NOT LOGGED IN - FORCE LOGIN ?>
Request
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Conference Proceeding
Book
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Format
Book
3
Conference Proceeding
2
Year of Publication
From:
To:
Author
Allen, Jonathan, 1934-
1
Birtwistle, G. M. (Graham M.)
1
International Workshop on Logic and Architecture Synthesis for Silicon Compilers Grenoble, France
1
Leighton, Frank Thomson
1
MIT Conference on Advanced Research in VLSI
1
Massachusetts Institute of Technology. Microsystems Research Center
1
more ...
McLellan, Paul Michael
1
Saucier, Gabrièle
1
Subrahmanyam, P. A.
1
see all ...
less ...
Call Number
T - Technology
Genre
Conference papers and proceedings
3
Congresses
3
Kongress
3
Congrès
2
Cambridge (Mass., 1988)
1
Grenoble (1988)
1
more ...
Kongreß
1
see all ...
less ...
Suggested Topics
Integrated circuits
Very large scale integration
3
Circuits intégrés
2
Circuits intégrés à très grande échelle
2
Congrès
2
Design and construction
2
more ...
Kongress
2
VLSI
2
Automatic theorem proving
1
Automatisches Beweisverfahren
1
Compiler
1
Congresses
1
Démonstration automatique
1
Hardwareentwurf
1
Hardwareverifikation
1
Intégration a très large échelle
1
Kongreß
1
Plans et construction
1
Recherche
1
Research
1
Silicon compilers
1
Silicon-Compiler
1
Théorèmes
1
Verification
1
Vérification
1
see all ...
less ...
Era
1988
Region
Banff (Alberta)
1
Cambridge (Mass.)
1
Grenoble
1
Institution
Rensselaer Polytechnic Institute
3
Rochester Institute of Technology
1
Language
English
3
Loading...