| Czech | English |
|---|---|
| PI-CFR - Computer Assisted Formal Reasoning | |
| PI-EXA - Experimentální algoritmika | |
| PI-SCN - Semináře z číslicového návrhu | |
| PI-PSC - Programovatelné obvody a SoC |
| Czech | English |
|---|---|
| PI-CFR - Computer Assisted Formal Reasoning | |
| PI-EXA - Experimentální algoritmika | |
| PI-SCN - Semináře z číslicového návrhu | |
| PI-PSC - Programovatelné obvody a SoC |