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...




Theoretical computer science, 2008-09, Vol.404 (3), p.256-274
2008
Link zum Volltext



Circuit-based Boolean Reasoning
Annual ACM IEEE Design Automation Conference: Proceedings of the 38th conference on Design automation, 2001, p.232-237
2001

Lecture notes in computer science, 2006, p.108-143
2006
Link zum Volltext

Annual ACM IEEE Design Automation Conference: Proceedings of the 39th conference on Design automation : New Orleans, Louisiana, USA; 10-14 June 2002, 2002, p.747-750
2002
Link zum Volltext




IEEE transactions on computer-aided design of integrated circuits and systems, 2002-12, Vol.21 (12), p.1377-1394
2002

International journal on software tools for technology transfer, 2006-08, Vol.8 (4-5), p.387-396
2006
Link zum Volltext









Design, Automation and Test in Europe, 2005, p.1096-1101
2005

Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt