Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
>
Systemnachricht
Suchergebnisse
Suchergebnisse
Ihre Suche nach
Kombinierte Autoren=DRECHSLER ROLF
ergibt
34
Einträge
Sortierpräferenz
1 - Titel, Erscheinungsjahr
0 - Standard
2 - Erscheinungsjahr, Titel
3 - Erscheinungsjahr, Verfasser
4 - Verfasser, Erscheinungsjahr
5 - Erscheinungsjahr absteigend
6 - Regalstandort
7 - Verfasser, Titel
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:
1
E-Book
(31)
1
Buch
(3)
LitAbtlg:
1
Freihand
(3)
Sprache:
1
englisch
(24)
1
deutsch
(10)
Standort:
1
Hauptbibliothek
(3)
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr.
Cover
Titel
Verfasser
Jahr
Beschreibung
Exemplarinformation
1
Wählen Sie diesen Titel
Advanced BDD Optimization [E-Book]
2005
.
2
Wählen Sie diesen Titel
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems [E-Book]
2020
.
3
Wählen Sie diesen Titel
Advanced Logic Synthesis [E-Book]
2018
.
4
Wählen Sie diesen Titel
Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications [E-Book]
Goli, Mehran
2020
.
5
Wählen Sie diesen Titel
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [E-Book]
Przigoda, Nils
2018
.
6
Wählen Sie diesen Titel
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation [E-Book]
Seiter, Julia
2017
.
7
Wählen Sie diesen Titel
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme: Design, Verständnis und Anwendungen [E-Book]
Goli, Mehran
2023
.
8
Wählen Sie diesen Titel
Computer: Wie funktionieren Smartphone, Tablet & Co.? [E-Book]
Drechsler
,
Rolf
2017
.
9
Wählen Sie diesen Titel
Debugging at the Electronic System Level [E-Book]
Rogin, Frank
2010
.
10
Wählen Sie diesen Titel
Design Automation for Field-coupled Nanotechnologies [E-Book]
Walter, Marcel
2022
.
11
Wählen Sie diesen Titel
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test [E-Book]
Chandrasekharan, Arun
2019
.
12
Wählen Sie diesen Titel
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques [E-Book]
Huhn, Sebastian
2021
.
13
Wählen Sie diesen Titel
Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken [E-Book]
Huhn, Sebastian
2023
.
14
Wählen Sie diesen Titel
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies [E-Book]
Herdt, Vladimir
2021
.
15
Wählen Sie diesen Titel
Erweiterte virtuelle Prototypen für heterogene Systeme [E-Book]
Hassan, Muhammad
2024
.
16
Wählen Sie diesen Titel
Exact Design of Digital Microfluidic Biochips [E-Book]
Keszocze, Oliver
2019
.
17
Wählen Sie diesen Titel
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never [E-Book]
Pieper, Pascal
2024
.
18
Wählen Sie diesen Titel
Formal Specification Level: Concepts, Methods, and Algorithms [E-Book]
Soeken, Mathias
2015
.
19
Wählen Sie diesen Titel
Formal System Verification: State-of the-Art and Future Trends [E-Book]
2018
.
20
Wählen Sie diesen Titel
High Quality Test Pattern Generation and Boolean Satisfiability [E-Book]
Eggersglüß, Stephan
2012
.
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.
Export
Ausgewählte Datensätze
Diese Ergebnisse
As
Feldformat
Bibliographisches Format
ISBD-Format
MARC-Format
MARC-Binärformat
MARCXML-Format
Bis
Datei
E-Mail
Schnellsuche
Suche nach