česky | in English
Název česky: Diskontované vlastnosti pravděpodobnostních zásobníkových automatů
RIV/00216224:14330/08:00026776 Stať ve sborníku. Informatika. angličtina. Německo.
Brázdil, Tomáš (203 Česká republika) -- Brožek, Václav (203 Česká republika) -- Holeček, Jan (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant)
Klíčová slova anglicky: Markov chains; discounting; pushdown automata
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 5. 2009 15:11.
Název česky: Animace v pdfTeXem generovaném PDF
Název anglicky: Animations in pdfTeX-generated PDF
RIV/00216224:14330/04:00010264 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Spojené státy.
Holeček, Jan (203 Česká republika) -- Sojka, Petr (203 Česká republika, garant)
Klíčová slova anglicky: animation; PDF; pdfTeX; digital typography
Mezinárodní význam: ano
Recenzováno: ano
Změnil: doc. RNDr. Petr Sojka, Ph.D., učo 2378. Změněno: 15. 6. 2009 21:24.
Název česky: Animace v pdfTeXem generovaném PDF
Název anglicky: Animations in pdfTeX-generated PDF
RIV/00216224:14330/04:00010263 Článek v odborném periodiku. Počítačový hardware a software. angličtina. Spojené státy.
Holeček, Jan (203 Česká republika) -- Sojka, Petr (203 Česká republika, garant)
Klíčová slova anglicky: animation; PDF; pdfTeX; digital typography
Změnil: Mgr. Jan Holeček, učo 39442. Změněno: 16. 5. 2005 10:48.
Název česky: Kterak formalizovat hardwarový design FPGA čipů
RIV/00216224:14330/04:00010387 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Holeček, Jan (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant) -- Šafránek, David (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
Klíčová slova anglicky: formal verification; programmable hardware; FPGA; Cadence SMV; VHDL
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 14. 2. 2005 11:11.
Název česky: Proces verifikace hardwarového návrhu v projektu Liberouter
RIV/00216224:14330/04:00010547 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Holeček, Jan (203 Česká republika, garant) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika) -- Šimeček, Pavel (203 Česká republika)
Klíčová slova anglicky: formal verification; Liberouter; Cadence SMV; VHDL
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.
Název česky: Výsledky verifikace v rámci projektu Liberouter
RIV/00216224:14330/04:00010306 Audiovizuální tvorba. Informatika. angličtina. Česká republika.
Holeček, Jan (203 Česká republika) -- Kratochvíla, Tomáš (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika) -- Šafránek, David (203 Česká republika, garant) -- Šimeček, Pavel (203 Česká republika)
Klíčová slova anglicky: formal verification; programmable hardware; FPGA; Cadence SMV; VHDL; Verilog
Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 1. 2005 17:02.