Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=003*
Treffer 404 von 701
|
|
| Link zu diesem Datensatz | https://d-nb.info/102454785X |
| Titel | Modeling time in computing / Carlo A. Furia ... |
| Person(en) |
Furia, Carlo A. (Mitwirkender) Mandrioli, Dino (Mitwirkender) Morzenti, Angelo (Mitwirkender) Rossi, Matteo (Mitwirkender) |
| Verlag | Berlin ; Heidelberg : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2012 |
| Umfang/Format | XVI, 423 S. : Ill., graph. Darst. ; 24 cm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Modeling Time in Computing |
| ISBN/Einband/Preis |
978-3-642-32331-7 Pp. : ca. EUR 64.15 (DE) (freier Pr.), ca. EUR 65.95 (AT) (freier Pr.), ca. sfr 80.00 (freier Pr.) 3-642-32331-6 |
| Bestellnummer(n) | 86144458 |
| EAN | 9783642323317 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Monographs in theoretical computer science |
| Anmerkungen | Literaturangaben |
| Schlagwörter |
Zeit ; Modellierung ; Formalismus <Mathematik> ; Dynamisches System ; Hardwareentwurf ; Berechnungskomplexität Transitionssystem ; Endlicher Automat ; Zeitbehafteter Automat ; Zeitbewertetes Petri-Netz ; Temporale Logik ; Prozessalgebra |
| DDC-Notation | 004.0151135 [DDC22ger]; 003.8 [DDC22ger]; 004.33 [DDC22ger] |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
| Frankfurt |
Signatur: 2013 A 5982 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2013 A 3874 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 404 von 701
Administration
