Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach Kombinierte Autoren=DRECHSLER ROLF ergibt 33 Einträge

Suchergebnisseite: .   1 NNN 2 .   . zum Satzanfang Nächste .   . Seite: 1 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Advanced BDD Optimization Advanced BDD Optimization [E-Book]   2005 E-Book URL Exists Catalogue Record .
2 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 [E-Book]   2020 E-Book URL Exists Catalogue Record .
3 Advanced Logic Synthesis Advanced Logic Synthesis [E-Book]   2018 E-Book URL Exists Catalogue Record .
4 Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications [E-Book] Goli, Mehran 2020 E-Book URL Exists Catalogue Record .
5 Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [E-Book] Przigoda, Nils 2018 E-Book URL Exists Catalogue Record .
6 Automatic Methods for the Refinement of System Models: From the Specification to the Implementation Automatic Methods for the Refinement of System Models: From the Specification to the Implementation [E-Book] Seiter, Julia 2017 E-Book URL Exists Catalogue Record .
7 Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen [E-Book] Goli, Mehran 2023 E-Book URL Exists Catalogue Record .
8 Computer: Wie funktionieren Smartphone, Tablet & Co.? Computer: Wie funktionieren Smartphone, Tablet & Co.? [E-Book] Drechsler, Rolf 2017 E-Book URL Exists Catalogue Record .
9 Debugging at the Electronic System Level Debugging at the Electronic System Level [E-Book] Rogin, Frank 2010 E-Book URL Exists Catalogue Record .
10 Design Automation for Field-coupled Nanotechnologies Design Automation for Field-coupled Nanotechnologies [E-Book] Walter, Marcel 2022 E-Book URL Exists Catalogue Record .
11 Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test [E-Book] Chandrasekharan, Arun 2019 E-Book URL Exists Catalogue Record .
12 Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques [E-Book] Huhn, Sebastian 2021 E-Book URL Exists Catalogue Record .
13 Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken [E-Book] Huhn, Sebastian 2023 E-Book URL Exists Catalogue Record .
14 Enhanced Virtual Prototyping: Featuring RISC-V Case Studies Enhanced Virtual Prototyping: Featuring RISC-V Case Studies [E-Book] Herdt, Vladimir 2021 E-Book URL Exists Catalogue Record .
15 Exact Design of Digital Microfluidic Biochips Exact Design of Digital Microfluidic Biochips [E-Book] Keszocze, Oliver 2019 E-Book URL Exists Catalogue Record .
16 Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never [E-Book] Pieper, Pascal 2024 E-Book URL Exists Catalogue Record .
17 Formal Specification Level: Concepts, Methods, and Algorithms Formal Specification Level: Concepts, Methods, and Algorithms [E-Book] Soeken, Mathias 2015 E-Book URL Exists Catalogue Record .
18 Formal System Verification: State-of the-Art and Future Trends Formal System Verification: State-of the-Art and Future Trends [E-Book]   2018 E-Book URL Exists Catalogue Record .
19 High Quality Test Pattern Generation and Boolean Satisfiability High Quality Test Pattern Generation and Boolean Satisfiability [E-Book] Eggersglüß, Stephan 2012 E-Book URL Exists Catalogue Record .
20 In-Memory Computing: Synthesis and Optimization In-Memory Computing: Synthesis and Optimization [E-Book] Shirinzadeh, Saeideh 2020 E-Book URL Exists Catalogue Record .
Suchergebnisseite: .   1 NNN 2 .   . Bottom Nächste .   . Seite: 1 von 2
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche