Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 1087 von 6077
|
|
| Link zu diesem Datensatz | https://d-nb.info/1050495616 |
| Art des Inhalts | Hochschulschrift |
| Titel | A problem-oriented approach for dynamic verification of heterogeneous embedded systems / by Francisco Mendoza Cervantes |
| Person(en) | Mendoza Cervantes, Francisco (Verfasser) |
| Verlag | Karlsruhe : KIT Scientific Publ. |
| Zeitliche Einordnung | Erscheinungsdatum: 2014 |
| Umfang/Format | X, 168 S. : Ill., graph. Darst. ; 24 cm, 415 g |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Mendoza Cervantes, Francisco: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems |
| Hochschulschrift | Zugl.: Karlsruhe, Karlsruher Inst. für Technologie, Diss., 2013 |
| ISBN/Einband/Preis |
978-3-7315-0169-5 kart. : EUR 49.00 (DE), EUR 50.40 (AT), sfr 65.90 (freier Pr.) 3-7315-0169-4 |
| EAN | 9783731501695 |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | Hergestellt on demand |
| Schlagwörter | Eingebettetes System ; CAD ; Virtuelle Produktentwicklung ; Systemmodell ; CASHE ; Computersimulation ; Domänenspezifische Programmiersprache ; SystemC ; Verifikation ; Automatisierungstechnik |
| DDC-Notation | 621.392 [DDC22ger]; 004.21 [DDC22ger] |
| Sachgruppe(n) | 621.3 Elektrotechnik, Elektronik ; 004 Informatik |
| Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
| Frankfurt |
Signatur: 2014 A 68968 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2014 A 42941 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 1087 von 6077
Administration
