Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach 004.21 ergibt 20 Einträge

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

Ihre Suche nach 004.21 ergibt 20 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche