jan@42309
|
1 |
@book{proakis2004contemporary,
|
jan@42309
|
2 |
title={Contemporary communication systems using MATLAB and Simulink},
|
jan@42309
|
3 |
author={Proakis, J.G. and Salehi, M. and Bauch, G.},
|
jan@42309
|
4 |
isbn={9780534406172},
|
jan@42309
|
5 |
lccn={31054410},
|
jan@42309
|
6 |
series={BookWare companion series},
|
jan@42309
|
7 |
url={http://books.google.at/books?id=5mXGQgAACAAJ},
|
jan@42309
|
8 |
year={2004},
|
jan@42309
|
9 |
publisher={Thomson--Brooks/Cole}
|
jan@42309
|
10 |
}
|
jan@42309
|
11 |
@book{oppenheim2010discrete,
|
jan@42309
|
12 |
title={Discrete-time signal processing},
|
jan@42309
|
13 |
author={Oppenheim, A.V. and Schafer, R.W.},
|
jan@42309
|
14 |
isbn={9780131988422},
|
jan@42309
|
15 |
series={Prentice-Hall signal processing series},
|
jan@42309
|
16 |
url={http://books.google.at/books?id=mYsoAQAAMAAJ},
|
jan@42309
|
17 |
year={2010},
|
jan@42309
|
18 |
publisher={Prentice Hall}
|
jan@42326
|
19 |
}
|
jan@42326
|
20 |
@manual{wenzel2011system,
|
jan@42326
|
21 |
title={The Isabelle System Manual},
|
jan@42326
|
22 |
author={Wenzel, M. and Berghofer, S.},
|
jan@42326
|
23 |
organization={TU München},
|
jan@42326
|
24 |
year={2011},
|
jan@42326
|
25 |
month={January}
|
jan@42309
|
26 |
} |