Custom cover image
Petri-Netze / Lutz Priese · Harro Wimmel
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: German Series: eXamen.pressPublisher: Berlin ; Heidelberg : Springer, [2008]Copyright date: © 2008Edition: 2. AuflageDescription: IX, 374 Seiten : IllustrationenISBN:- 9783540769705
- Petri-Netz
- Nebenläufigkeit
- Formale Sprache
- Interleaving
- Berechenbarkeit
- Erreichbarkeit
- Entscheidbarkeit
- Algorithm Analysis and Problem Complexity
- Combinatorics
- Computation by Abstract Devices
- Computer science
- Computer software
- Logic, Symbolic and mathematical
- Mathematical Logic and Formal Languages
- Mathematical Logic and Foundations
- Mathematics of Computing
- 004.0151135
- 004 510
| Item type | Home library | Collection | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Bibliothek Campus Nord | inf 1.4 | Lesesaal CN | 2003 A 164(2) | ;b | Available | 50880240090 | |
| Freihandbestand Präsenznutzung | Bibliothek Campus Süd | inf 1.4 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 2003 A 164(2) | Not for loan | 49225419090 |
Total holds: 0