Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: cod="ra"
Treffer 3095 von 3739
|
|
| Link zu diesem Datensatz | https://d-nb.info/97819618X |
| Art des Inhalts | Hochschulschrift |
| Titel | Eine formale algorithmische Synthese digitaler Schaltungen / Universität Karlsruhe (TH), Institut für Technische Informatik. Von Kai Kapp |
| Person(en) | Kapp, Kai (Verfasser) |
| Organisation(en) | Universität Karlsruhe (TH). Institut für Technische Informatik (Herausgebendes Organ) |
| Verlag | Karlsruhe : Univ.-Verl. Karlsruhe |
| Zeitliche Einordnung | Erscheinungsdatum: 2005 |
| Umfang/Format | Online-Ressource, ca. 1,9 MB |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Eine formale algorithmische Synthese digitaler Schaltungen |
| Hochschulschrift | Zugl.: Karlsruhe, Univ., Diss., 2005 u.d.T.: Knapp, Kai: Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen |
| Persistent Identifier | URN: urn:nbn:de:0072-37299 |
| URL | http://www.uvka.de/univerlag/volltexte/2005/93/pdf/Kapp_Kai.pdf (Verlag) (kostenfrei zugänglich) |
| ISBN/Einband/Preis |
978-3-937300-90-0 (kostenfrei) 3-937300-90-2 (kostenfrei) |
| Schlagwörter | Digitalschaltung ; Logiksynthese ; Formale Spezifikationstechnik ; HOL ; Online-Publikation |
| Sachgruppe(n) | 004 Informatik ; 620 Ingenieurwissenschaften und Maschinenbau |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 3095 von 3739
Administration
