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
ANALOG 2002 : Entwicklung von Analogschaltungen mit CAE-Methoden mit dem Schwerpunkt HF-Schaltungsentwurf - Konzepte, Modellierung, Simulation und Realisierung ; Vorträge der 6. GMM/ITG-Diskussionssitzung vom 13. bis 14. Mai 2002 in Bremen
GMM-Fachbericht : 38 (Alle Bände)
2002
Signatur: XVI020071
    Datensatz exportieren als...
  • BibTeX
Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002 Seville, Spain, September 11–13, 2002 Proceedings [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Neural models and algorithms for digital testing
The Kluwer international series in engineering and computer science : 140 (Alle Bände)
1991
Signatur: TVI2348
    Datensatz exportieren als...
  • BibTeX
Handbuch der Electronic-Design-Automation : mit 176 Tabellen
2001
Signatur: TZH8395
    Datensatz exportieren als...
  • BibTeX
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) : 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Integrated Circuit Design : Power and Timing Modeling, Optimization and Simulation 10th International Workshop,PATMOS 2000 Göttingen, Germany, September 13–15, 2000 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Entwurf von digitalen Schaltungen und Systemen mit HDLs und FPGAs : Einführung mit VHDL und SystemC
3. korrigierte und aktualisierte Auflage, [2013]
    Datensatz exportieren als...
  • BibTeX
VLSI design methodologies for digital signal processing architectures
The Kluwer international series in engineering and computer science : 257 (Alle Bände)
1994
Signatur: TVE2966
    Datensatz exportieren als...
  • BibTeX
Model generation in electronic design
Current issues in electronic modeling : 1 (Alle Bände)
1995
Signatur: YGY2076
    Datensatz exportieren als...
  • BibTeX
MBMV 2023 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 26. Workshop, 23.-24. März 2023 in Freiburg
ITG-Fachbericht : 309 (Alle Bände)
[2023]
Signatur: XVI230002
    Datensatz exportieren als...
  • BibTeX
Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
MBMV 2022 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 25. Workshop, 17.-18. Februar 2022, Hochschule Niederrhein, Online-Veranstaltung
ITG-Fachbericht : 302 (Alle Bände)
[2022]
Signatur: XVI220011
    Datensatz exportieren als...
  • BibTeX
Automatisierte Integration von Entwurfswerkzeugen für integrierte Schaltungen
GMD-Berichte : 273 (Alle Bände)
1996
Signatur: TUF1018-273, P935
    Datensatz exportieren als...
  • BibTeX
Parametrisierte Spezifikation von Schaltkreisen : graphischer Entwurf regulärer Strukturen
Teubner-Texte zur Informatik : 28 (Alle Bände)
1998
Signatur: YCI1765
    Datensatz exportieren als...
  • BibTeX
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003. Proceedings [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Concurrency and Hardware Design : Advances in Petri Nets [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Evolvable Systems: From Biology to Hardware : 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Proceedings 1991 / 28th ACM/IEEE Design Automation Conference : June 17 - 21, 1991, San Francisco, California, Moscone Center
1991
Signatur: TTQ910117
    Datensatz exportieren als...
  • BibTeX
Proceedings 1988 / 25th ACM/IEEE Design Automation Conference : June 12 - June 15, 1988, Anaheim Convention Center
1988
Signatur: XVI880243
    Datensatz exportieren als...
  • BibTeX
Sequential logic testing and verification
The Kluwer international series in engineering and computer science : 163 (Alle Bände)
1992
Signatur: YET2942
    Datensatz exportieren als...
  • BibTeX
Zuverlässigkeit und Entwurf : 7. ITG/GI/GMM-Fachtagung vom 24. bis 26. September 2013 in Dresden ; [Fachtagung "Zuverlässigkeit und Entwurf" (ZuE) ...] ; mit CD-ROM
ITG-Fachbericht : 244 (Alle Bände)
2013
Signatur: XVI130101
    Datensatz exportieren als...
  • BibTeX
Automatic logic synthesis techniques for digital systems
Macmillan new electronics series
1992
Signatur: YGQ3365
1 – 25 von 70
Suche als RSS-Feed
Aktive Filter
SystemstelleWFI
SchlagwortDigitalschaltung
SchlagwortLogischer Entwurf
Suchergebnisse filtern
Filter anzeigen