| author | wneuper <Walther.Neuper@jku.at> |
| Sun, 31 Dec 2023 09:42:27 +0100 | |
| changeset 60787 | 26037efefd61 |
| parent 52107 | f8845fc8f38d |
| 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} |