AIFB Themenheft 2015: Smart Energy. [AIFB Jahresbericht 2015. Institut für Angewandte Informatik und Formale Beschreibungsverfahren]
Oberweis, Andreas [Hrsg.]
; Schmeck, Hartmut [Hrsg.]; Seese, Detlef [Hrsg.]; Studer, Rudi [Hrsg.]
; Schmeck, Hartmut [Hrsg.]; Seese, Detlef [Hrsg.]; Studer, Rudi [Hrsg.]| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsmonat/-jahr | 08.2015 |
| Sprache | Deutsch |
| Identifikator | ISBN: 978-3-944361-02-4 urn:nbn:de:swb:90-495437 KITopen-ID: 1000049543 |
| Verlag | Karlsruher Institut für Technologie (KIT) |
