Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Záložky Záložky osoby: Mgr. Juraj Major, učo 396325 se štítkem: type theory Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Tato aplikace je zatím určena pro spuštění na stolním počítači. Na tomto mobilním zařízení je také funkční, ale zatím plně nevyužívá jeho možností.

Záložky osoby: Mgr. Juraj Major, učo 396325 se štítkem: type theory

Záložky: žhavé | populární | nejnovější • štítky

Záložky osoby: Mgr. Juraj Major, učo 396325 se štítkem: type theory

Advanced Topics in Programming Languages (Homotopy type theory)
mé štítky: FI:IB015 PříF:M7150 course education FI:IA014 FI:IB016 PříF:M7151 PříF:M8250 theory type | cizí štítky: FI:IA014! FI:IB016!
2 osoby, první 8. 3. 2015, Juraj Major, záložky, lidé

Děkujeme del.icio.us za inspiraci.