STACS 96
Produktnummer:
180f28f6efa87e4a3eb9450d7979318e60
| Themengebiete: | Automat algorithm algorithms automata complexity complexity theory distributed systems logic semantics verification |
|---|---|
| Veröffentlichungsdatum: | 14.02.1996 |
| EAN: | 9783540609223 |
| Sprache: | Englisch |
| Seitenzahl: | 690 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Puech, Claude Reischuk, Rüdiger |
| Verlag: | Springer Berlin |
| Untertitel: | 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings |
Produktinformationen "STACS 96"
This book constitutes the refereed proceedings of the 13th Symposium on Theoretical Aspects of Computer Science, STACS 96, held in Grenoble, France in February 1996.The 52 revised papers presented were selected from a total of 185 submissions; also included are three invited papers. The volume addresses all current aspects of theoretical computer science and is organized in sections on complexity theory, automata theory, parallel algorithms, learning, parallel and distributed systems, cryptography, logic and database theory, algorithms, semantics and program verification, and communication complexity.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen