|  |
| |
| Artikel-Nr.:
858A-9783319287652 Herst.-Nr.:
9783319287652 EAN/GTIN:
9783319287652 |
| |
|
| | |
| 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers Weitere Informationen: | | Author: | Pierre Ganty; Michele Loreti | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Datensicherheit, Datensicherung, Sicherheit / Datensicherheit, Distributed programming languages, Formal security models, Model checking, Network algorithms, Semantics, Algorithms, Automated static analysis, Cloud computing |
| | |
| |