Představení autora David Harel:

Doposud vydané knihy od David Harel:

Algoritmika: Duch výpočetní techniky - The Spirit of Computing - Algorithmics: The Spirit of...
Springer Nature
Informatika je vědou budoucnosti a již nyní je...
Algoritmika: Duch výpočetní techniky - The Spirit of Computing - Algorithmics: The Spirit of Computing
Algoritmika - Duch výpočetní techniky - Algorithmics - The Spirit of Computing
Pearson Education
"Algoritmika" představuje nejdůležitější pojmy, metody a výsledky, které...
Algoritmika - Duch výpočetní techniky - Algorithmics - The Spirit of Computing
Algoritmika: Algoritmy: Duch výpočetní techniky - Algorithmics: The Spirit of Computing
Springer Nature
Předběžné informace. - a historický přehled. - Algoritmy a...
Algoritmika: Algoritmy: Duch výpočetní techniky - Algorithmics: The Spirit of Computing
Dynamická logika - Dynamic Logic
Mit Pr
Tato kniha je prvním uceleným úvodem do dynamické logiky. Mezi mnoha přístupy k formálnímu uvažování o programech má dynamická logika tu jedinečnou...
Dynamická logika - Dynamic Logic
<<
1
>>