Prof. RNDr. Ivana Černá, CSc.
| Academic year 2012 - 2013 | |
|---|---|
| Faculty of Informatics | |
| Spring 2013 |  Advances in Concurrency (DPOSO, in Czech) |
| Algorithms and data structures II (IB108, in Czech) | |
| Complexity (IA012, in Czech) | |
| Formal Methods in Theory and Practice (DFOME, in Czech) | |
| Laboratory for Parallel and Distributed Systems (IV074, in Czech) | |
| Autumn 2012 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithmics for Hard Problems (IA101, in Czech) | |
| Formal Methods in Theory and Practice (DFOME, in Czech) | |
| Introduction to Informatics (IB110, in Czech) | |
| Laboratory of Parallel and Distributed Systems (IV074, in Czech) | |
| Academic year 2011 - 2012 | |
|---|---|
| Faculty of Informatics | |
| Spring 2012 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithm Design II (IB108, in Czech) | |
| Complexity (IA012, in Czech) | |
| Formal Methods in Theory and Practice (DFOME, in Czech) | |
| Laboratory for Parallel and Distributed Systems (IV074, in Czech) | |
| Autumn 2011 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithmics for Hard Problems (IA101, in Czech) | |
| Formal Methods in Theory and Practice (DFOME, in Czech) | |
| Introduction to Informatics (IB110, in Czech) | |
| Laboratory of Parallel and Distributed Systems (IV074, in Czech) | |
| Academic year 2010 - 2011 | |
|---|---|
| Faculty of Informatics | |
| Spring 2011 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithm Design II (IB108, in Czech) | |
| Complexity (IA012, in Czech) | |
| Formal Methods in Theory and Practice (DFOME, in Czech) | |
| Laboratory for Parallel and Distributed Systems (IV074, in Czech) | |
| Autumn 2010 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithmics for Hard Problems (IA101, in Czech) | |
| Formal Methods in Theory and Practice (DFOME, in Czech) | |
| Introduction to Informatics (IB110, in Czech) | |
| Laboratory of Parallel and Distributed Systems (IV074, in Czech) | |
| Academic year 2009 - 2010 | |
|---|---|
| Faculty of Informatics | |
| Spring 2010 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithm Design II (IB108, in Czech) | |
| Complexity (IA012, in Czech) | |
| Laboratory for Parallel and Distributed Systems (IV074, in Czech) | |
| Autumn 2009 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithmics for Hard Problems (IA101, in Czech) | |
| Introduction to Informatics (IB110, in Czech) | |
| Laboratory of Parallel and Distributed Systems (IV074, in Czech) | |
| Academic year 2008 - 2009 | |
|---|---|
| Faculty of Informatics | |
| Spring 2009 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithm Design II (IB108, in Czech) | |
| Complexity (IA012, in Czech) | |
| Laboratory for Parallel and Distributed Systems (IV074, in Czech) | |
| Autumn 2008 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithmics for Hard Problems (IA101, in Czech) | |
| Laboratory of Parallel and Distributed Systems (IV074, in Czech) | |
| Academic year 2007 - 2008 | |
|---|---|
| Faculty of Informatics | |
| Spring 2008 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithm Design II (IB108, in Czech) | |
| Complexity (IA012, in Czech) | |
| Laboratory for Parallel and Distributed Systems (IV074, in Czech) | |
| Autumn 2007 | Advances in Concurrency (DPOSO, in Czech) |
| Algorithmics for Hard Problems (IA101, in Czech) | |
| Laboratory of Parallel and Distributed Systems (IV074, in Czech) | |
| Academic year 2006 - 2007 | |
|---|---|
| Faculty of Informatics | |
| Spring 2007 | Algorithm Design II (IB108, in Czech) |
| Complexity (IA012, in Czech) | |
| Laboratory for Parallel and Distributed Systems (IV074, in Czech) | |
| Autumn 2006 | Algorithmics for Hard Problems (IA101, in Czech) |
| GEB - limits of formal systems (IA073, in Czech) | |
| Laboratory of Parallel and Distributed Systems (IV074, in Czech) | |
| Academic year 2003 - 2004 | |
|---|---|
| Faculty of Informatics | |
| Spring 2004 | Algorithm Design II (I063, in Czech) |
| Algorithm Design II (IB108, in Czech) | |
| Complexity (IA012, in Czech) | |
| Programming Seminar (IV104, in Czech) | |
| Autumn 2003 | Algorithmics for Hard Problems (IA101, in Czech) |
| Automata and Grammars (IB102, in Czech) | |
| Complexity (I012, in Czech) | |
| GEB - limits of formal systems (IA073, in Czech) | |
| Academic year 2002 - 2003 | |
|---|---|
| Faculty of Informatics | |
| Spring 2003 | Algorithm Design II (I063, in Czech) |
| Algorithm Design II (IB108, in Czech) | |
| Formal Languages and Automata I (IB005, in Czech) | |
| Structural Complexity (I017, in Czech) | |
| Autumn 2002 | Complexity (I012, in Czech) |
| Selected topics on automata theory (IA006, in Czech) | |
| Academic year 2001 - 2002 | |
|---|---|
| Faculty of Informatics | |
| Spring 2002 | Design of Algorithms II (I063, in Czech) |
| Formal Languages and Automata I (I005, in Czech) | |
| Formal Languages and Automata I (I505, in Czech) | |
| Structural Complexity (I017, in Czech) | |
| Autumn 2001 | Complexity (I012, in Czech) |
| Formal Languages and Automata II (I006, in Czech) | |
| GEB - limits of formal systems (I073, in Czech) | |
| Academic year 2000 - 2001 | |
|---|---|
| Faculty of Science | |
| Autumn 2000 | Complexity (M7140, in Czech) |
| Faculty of Informatics | |
| Spring 2001 | Design of Algorithms II (I063, in Czech) |
| Formal Languages and Automata I (I005, in Czech) | |
| Formal Languages and Automata I (I505, in Czech) | |
| Structural Complexity (I017, in Czech) | |
| Autumn 2000 | Communication and Communication Complexity (I018, in Czech) |
| Complexity (I012, in Czech) | |
| Formal Languages and Automata II (I006, in Czech) | |
| Academic year 1999 - 2000 | |
|---|---|
| Faculty of Science | |
| Autumn 1999 | Complexity (M7140, in Czech) |
| Faculty of Informatics | |
| Spring 2000 | Design of Algorithms II (I063, in Czech) |
| Formal Languages and Automata I (I005, in Czech) | |
| Structural Complexity (I017, in Czech) | |
| Autumn 1999 | Complexity (I012, in Czech) |
| Formal Languages and Automata II (I006, in Czech) | |
| GEB - limits of formal systems (I073, in Czech) | |
| Academic year 1998 - 1999 | |
|---|---|
| Faculty of Informatics | |
| Spring 1999 | Communication and Communication Complexity (I018, in Czech) |
| Design of Algorithms II (I063, in Czech) | |
| Autumn 1998 | Complexity (I012, in Czech) |
| Structural Complexity (I017, in Czech) | |
| Academic year 1997 - 1998 | |
|---|---|
| Faculty of Informatics | |
| Spring 1998 | Design of Algorithms II (I063, in Czech) |
| Autumn 1997 | Complexity (I012, in Czech) |
| Structural Complexity (I017, in Czech) | |
| Academic year 1996 - 1997 | |
|---|---|
| Faculty of Informatics | |
| Spring 1997 | Výpočetní složitost II (I018, in Czech) |
| Autumn 1996 | Complexity (I012, in Czech) |
| Structural Complexity (I017, in Czech) | |
| Academic year 1995 - 1996 | |
|---|---|
| Faculty of Informatics | |
| Spring 1996 | Výpočetní složitost II (I018, in Czech) |
| Autumn 1995 | Complexity (I012, in Czech) |
| Structural Complexity (I017, in Czech) | |
