Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "36190-2"
Treffer 19 von 27
|
|
| Link zu diesem Datensatz | https://d-nb.info/967767202 |
| Art des Inhalts | Aufsatzsammlung |
| Titel | Concurrency and hardware design : advances in Petri nets / J. Cortadella ... (ed.) |
| Person(en) | Cortadella, Jordi (Mitwirkender) |
| Verlag | Berlin ; Heidelberg : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2002 |
| Umfang/Format | Online-Ressource (PDF) |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Concurrency and hardware design |
| Persistent Identifier | DOI: 10.1007/3-540-36190-1 |
| URL | http://link.springer.de/link/service/series/0558/tocs/t2549.htm |
| ISBN/Einband/Preis | 978-3-540-36190-9 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; 2549 |
| Anmerkungen | Lizenzpflichtig |
| Schlagwörter |
Asynchrones Schaltwerk ; Entwurfsautomation ; Aufsatzsammlung ; Online-Publikation Eingebettetes System ; Systementwurf ; Nebenläufigkeit ; Petri-Netz ; Aufsatzsammlung ; Online-Publikation Entwurfsautomation ; Formale Methode ; Verifikation ; Leistungsbewertung ; Aufsatzsammlung ; Online-Publikation |
| Sachgruppe(n) | 37 Elektrotechnik ; 28 Informatik, Datenverarbeitung |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 19 von 27
Administration
