Shortcuts
 
PageMenu- Hauptmenü-
Page content

Suchergebnisse

Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.
Suchergebnisse in Tabellenform anzeigen.

- -


- Noch analog oder lebst Du schon? Mit Nœrdman durch die Welt von heute... und morgen Drechsler, Rolf Noch analog oder lebst Du schon? Mit Nœrdman durch die Welt von heute... und morgenSR 850 D771 1 -
Titel: Noch analog oder lebst Du schon? Mit Nœrdman durch die Welt von heute... und morgen
Verfasser: Drechsler, Rolf
Jahr: 2021
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Technische Informatik: eine Einführung Becker, Bernd Technische Informatik: eine EinführungST 150 B395 2 -
Titel: Technische Informatik: eine Einführung
Verfasser: Becker, Bernd
Jahr: 2005
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Software-Engineering und Hardware-Design: eine systematische Einführung Sikora, Axel Software-Engineering und Hardware-Design: eine systematische EinführungST 230 S579 3 -
Titel: Software-Engineering und Hardware-Design: eine systematische Einführung
Verfasser: Sikora, Axel
Jahr: 2002
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
- Advanced BDD Optimization Advanced BDD Optimization 4 -
Titel: Advanced BDD Optimization
Verfasser:
Jahr: 2005
.
- Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems 5 -
Titel: Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
Verfasser:
Jahr: 2020
.
- Advanced Logic Synthesis Advanced Logic Synthesis 6 -
Titel: Advanced Logic Synthesis
Verfasser:
Jahr: 2018
.
- Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications Goli, Mehran Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications 7 -
Titel: Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications
Verfasser: Goli, Mehran
Jahr: 2020
.
- Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Przigoda, Nils Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers 8 -
Titel: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Verfasser: Przigoda, Nils
Jahr: 2018
.
- Automatic Methods for the Refinement of System Models: From the Specification to the Implementation Seiter, Julia Automatic Methods for the Refinement of System Models: From the Specification to the Implementation 9 -
Titel: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
Verfasser: Seiter, Julia
Jahr: 2017
.
- Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen Goli, Mehran Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen 10 -
Titel: Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen
Verfasser: Goli, Mehran
Jahr: 2023
.


- -


Schnellsuche