author | Jan Rocnik <jan.rocnik@student.tugraz.at> |
Sun, 17 Jun 2012 22:33:35 +0200 | |
changeset 42440 | e1500aecd348 |
parent 42381 | 8b94d811cb41 |
permissions | -rwxr-xr-x |
jan@42326 | 1 |
\begin{titlepage} |
jan@42326 | 2 |
|
jan@42326 | 3 |
% Top of the page |
jan@42326 | 4 |
\vspace*{-2cm} |
jan@42326 | 5 |
\hfill |
jan@42326 | 6 |
\begin{minipage}{4cm} |
jan@42326 | 7 |
\includegraphics[width=40mm]{./TUGlogo.pdf} |
jan@42326 | 8 |
\end{minipage} |
jan@42326 | 9 |
|
jan@42326 | 10 |
% Center of the page |
jan@42326 | 11 |
\begin{center} |
jan@42326 | 12 |
\vspace{1cm} |
jan@42326 | 13 |
|
jan@42326 | 14 |
\normalsize{Baccalaureate Thesis}\\ |
jan@42326 | 15 |
|
jan@42326 | 16 |
\HRule |
jan@42326 | 17 |
\vspace{0.3cm} |
jan@42326 | 18 |
\Large{ |
jan@42381 | 19 |
\bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\ |
jan@42326 | 20 |
} |
jan@42326 | 21 |
\HRule |
jan@42326 | 22 |
|
jan@42326 | 23 |
\vspace{1cm} |
jan@42326 | 24 |
\normalsize{conducted at the}\\ |
jan@42326 | 25 |
\normalsize{Institute for Software Technology}\\ |
jan@42326 | 26 |
\normalsize{Institute of Signal Processing and Speech Communication}\\ |
jan@42326 | 27 |
\vspace{0.3cm} |
jan@42326 | 28 |
\normalsize{Graz University of Technology}\\ |
jan@42326 | 29 |
|
jan@42326 | 30 |
\vspace{1cm} |
jan@42326 | 31 |
\normalsize{by}\\ |
jan@42381 | 32 |
Jan Simon Ro\v{c}nik\\\href{mailto:student.tugraz.at}{\tt jan.rocnik@student.tugraz.at} |
jan@42326 | 33 |
|
jan@42326 | 34 |
\vspace{1cm} |
jan@42326 | 35 |
\normalsize{Supervisor}\\ |
jan@42326 | 36 |
Univ.-Prof. Dipl.-Ing. Dr.techn. Franz Wotawa |
jan@42326 | 37 |
\vfill |
jan@42326 | 38 |
|
jan@42326 | 39 |
% Bottom of the page |
jan@42326 | 40 |
{\large Graz, \today} |
jan@42326 | 41 |
|
jan@42326 | 42 |
\end{center} |
jan@42326 | 43 |
|
jan@42326 | 44 |
\end{titlepage} |