1 |
|
Abstraction Refinement for Large Scale Model Checking [E-Book]
|
|
2006 |
|
.
|
2 |
|
Complex Systems and Networks: Dynamics, Controls and Applications [E-Book]
|
|
2016 |
|
.
|
3 |
|
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation [E-Book]
|
Haubelt, Christian
|
2010 |
|
.
|
4 |
|
Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme [E-Book]
|
Trachtenherz, David
|
2010 |
|
.
|
5 |
|
Eingebettete Systeme [E-Book]
|
|
2007 |
|
.
|
6 |
|
Eingebettete Systeme: Systemgrundlagen und Entwicklung eingebetteter Software [E-Book]
|
Berns, Karsten
|
2010 |
|
.
|
7 |
|
Eingebettete Systeme [E-Book]
|
Halang, Wolfgang A.
|
2011 |
|
.
|
8 |
|
Eingebettete Systeme: Entwurf, Modellierung und Synthese [Buch]
|
Bringmann, Oliver
|
2018 |
|
Regalstandort: ST 153 B858(3).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
9 |
|
Eingebettete Systeme: Entwurf, Synthese und Edge AI [E-Book]
|
Bringmann, Oliver
|
2022 |
|
.
|
10 |
|
Embedded System Design [E-Book]
|
|
2006 |
|
.
|
11 |
|
¬The¬ Emerging Domain of Cooperating Objects [E-Book]
|
Marrón, Pedro José
|
2011 |
|
.
|
12 |
|
Enhancing Embedded Systems Simulation: A Chip-Hardware-in-the-Loop Simulation Framework [E-Book]
|
Köhler, Christian
|
2011 |
|
.
|
13 |
|
Model-based engineering of embedded systems: the SPES 2020 methodology [Buch]
|
|
2012 |
|
Regalstandort: ST 153 P748.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
14 |
|
¬A¬ Platform-Centric Approach to System-on-Chip (SOC) Design [E-Book]
|
|
2005 |
|
.
|
15 |
|
Practical Aspects of Embedded System Design using Microcontrollers [E-Book]
|
|
2008 |
|
.
|
16 |
|
¬A¬ Practical Introduction to Hardware/Software Codesign [E-Book]
|
Schaumont, Patrick R.
|
2013 |
|
.
|
17 |
|
Quality-Driven SystemC Design [E-Book]
|
Große, Daniel
|
2010 |
|
.
|
18 |
|
Story Driven Modeling als agile Vorgehensmethode für das Internet der Dinge in Lehre und Praxis [Buch]
|
Jubeh, Ruben
|
2019 |
|
Regalstandort: ST 230 J91.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
19 |
|
Transaction Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems [E-Book]
|
|
2005 |
|
.
|
20 |
|
¬Das¬ V-Modell XT: Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich [E-Book]
|
Friedrich, Jan
|
2009 |
|
.
|