|
|
|
|
|
1 - 10 von 75 |
|
|
Ihre Aktion |
suchen [und] sys inf 530.5
|
|
|
|
|
|
1. |
SCCharts : language and interactive incremental compilation / Motika, Christian. - Kiel, [2017]
|
|
|
|
2. |
SCCharts : language and interactive incremental compilation / Motika, Christian. - Norderstedt : Books on Demand, [2017]
|
|
|
|
3. |
Sustained Simulation Performance 2016 : proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / Resch, Michael *1964-*. - Cham, Switzerland : Springer, [2016]
|
|
|
|
4. |
Machine-to-machine communications : architectures, technology, standards, and applications / Mišić, Vojislav B.. - Boca Raton, Fla. [u.a.] : CRS Press/Taylor & Francis, c 2015
|
|
|
|
5. |
Security via noninterference : analyzing information flows / Eggert, Sebastian. - Kiel : Dept. of Computer Science, Fac. of Engineering, Univ. Kiel, 2014
|
|
|
|
6. |
Model-driven online capacity management for component-based software systems / Hoorn, André van *1976-*. - 2014
|
|
|
|
7. |
Security via Noninterference : Analyzing Information Flows / Eggert, Sebastian. - Kiel : Institut für Informatik, Christian-Albrechts-Universität zu Kiel, 2014
|
|
|
|
8. |
Model-driven online capacity management for component-based software systems / Hoorn, André van *1976-*. - 1. Aufl. - Norderstedt : Books on Demand, 2014
|
|
|
|
9. |
The green computing book : tackling energy efficiency at large scale / Feng, Wu-chun *1966-*. - Boca Raton, Fla. [u.a.] : CRC Press, 2014
|
|
|
|
10. |
Introduction to reversible computing / Perumalla, Kalyan S.. - Boca Raton, Fla. [u.a.] : CRC Press, 2014
|
|
|
|
|
|
|
1 - 10 von 75 |
|
Wort |
|
Typ |
|
Anzahl |
|
inf 530.5 |
|
[SYS] Systematiken |
|
225 |
|
|
|
|
|
|
|
1 - 10 von 75 |
|
|