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...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
HW-SW-Codesign auf Basis von C-Programmen unter Performanz-Gesichtspunkten
Berichte aus der Informatik
Als Ms. gedr, 1996
Signatur: P957, TZH7690
    Datensatz exportieren als...
  • BibTeX
Entwurf digitaler Komponenten nachrichtentechnischer Systeme mit petrinetzmodellierten VHDL-Modellen
Forschungsberichte Mikroelektronik : 2 (Alle Bände)
1999
Signatur: YGW2204
    Datensatz exportieren als...
  • BibTeX
Automated technology for verification and analysis : 4th international symposium ; proceedings [Elektronische Ressource]
Lecture notes in computer science : 4218 (Alle Bände)
2006
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Embedded Systems Design : The ARTIST Roadmap for Research and Development [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings [Elektronische Ressource]
2005
1 – 8 von 8
Suche als RSS-Feed
Aktive Filter
Autor / AutorinTygar, Doug
SchlagwortHardwareentwurf
Suchergebnisse filtern
Filter anzeigen