equal
deleted
inserted
replaced
14 \normalsize{Baccalaureate Thesis}\\ |
14 \normalsize{Baccalaureate Thesis}\\ |
15 |
15 |
16 \HRule |
16 \HRule |
17 \vspace{0.3cm} |
17 \vspace{0.3cm} |
18 \Large{ |
18 \Large{ |
19 \bf Towards Interactive Course Material\\ for Signal Processing based on Isabelle/\isac\\ |
19 \bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\ |
20 } |
20 } |
21 \HRule |
21 \HRule |
22 |
22 |
23 \vspace{1cm} |
23 \vspace{1cm} |
24 \normalsize{conducted at the}\\ |
24 \normalsize{conducted at the}\\ |
27 \vspace{0.3cm} |
27 \vspace{0.3cm} |
28 \normalsize{Graz University of Technology}\\ |
28 \normalsize{Graz University of Technology}\\ |
29 |
29 |
30 \vspace{1cm} |
30 \vspace{1cm} |
31 \normalsize{by}\\ |
31 \normalsize{by}\\ |
32 Jan Simon Rocnik\\\href{mailto:student.tugraz.at}{\tt jan.rocnik@student.tugraz.at} |
32 Jan Simon Ro\v{c}nik\\\href{mailto:student.tugraz.at}{\tt jan.rocnik@student.tugraz.at} |
33 |
33 |
34 \vspace{1cm} |
34 \vspace{1cm} |
35 \normalsize{Supervisor}\\ |
35 \normalsize{Supervisor}\\ |
36 Univ.-Prof. Dipl.-Ing. Dr.techn. Franz Wotawa |
36 Univ.-Prof. Dipl.-Ing. Dr.techn. Franz Wotawa |
37 \vfill |
37 \vfill |