Produktnummer:
184322f81083c74b60bd99b38267e254a9
| Themengebiete: | Markov decision processes Markov processes automata theory coalgebras entanglement formal languages formal methods logic mathematics of computing model checking |
|---|---|
| Veröffentlichungsdatum: | 21.05.2014 |
| EAN: | 9783319068794 |
| Sprache: | Englisch |
| Seitenzahl: | 499 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Kashefi, Elham Palamidessi, Catuscia Rutten, Jan van Breugel, Franck |
| Verlag: | Springer International Publishing |
| Untertitel: | Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday |
Produktinformationen "Horizons of the Mind. A Tribute to Prakash Panangaden"
This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and duality and quantum information and computation. Despite the enormous breadth of his research, he has made significant and deep contributions. For example, he introduced logic and a real-valued interpretation of the logic to capture equivalence of probabilistic processes quantitatively. The 25 papers included in this volume were carefully reviewed. They cover a large variety of topics in theoretical computer science.
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