Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
IEEE design & test of computers, 2001-09, Vol.18 (5), p.46-58
2001
Volltextzugriff (PDF)

Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, p.813
2001
Volltextzugriff (PDF)


Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design, 2001, p.265-268
2001
Volltextzugriff (PDF)

Formal methods in system design, 1993-02, Vol.2 (1), p.45-72
1993
Volltextzugriff (PDF)

2000 IEEE Workshop on SiGNAL PROCESSING SYSTEMS. SiPS 2000. Design and Implementation (Cat. No.00TH8528), 2000, p.603-612
2000
Volltextzugriff (PDF)

International Symposium on System Synthesis (IEEE Cat. No.01EX526), 2001, p.107-112
2001
Volltextzugriff (PDF)



Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, 2001, p.265-268
2001
Volltextzugriff (PDF)


Proceedings of the conference on Design, automation and test in Europe, 2001, p.813-813
2001
Volltextzugriff (PDF)

Design, Automation, and Test in Europe: Proceedings of the conference on Design, automation and test in Europe, 2001
2001
Volltextzugriff (PDF)

Proceedings IEEE Computer Society Workshop on VLSI'98 System Level Design (Cat. No.98EX158), 1998, p.110-115
1998
Volltextzugriff (PDF)

1991 International Workshop on the HOL Theorem Proving System and Its Applications, 1991, p.340-347
1991
Volltextzugriff (PDF)

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n