Zobrazuji výsledky
1 - 3
z
3
pro vyhledávání '
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Zrušit filtry
Autor:
NOT
Horyna, Mojmír, 1945-2011
AND
Gibbons, Jeremy, 1966-
Oblast:
NOT
Japonsko
NOT
České království
PSH:
NOT
konstrukce
NOT
počítače
AND
algoritmizace
Doporučená témata:
NOT
informatika
Zrušit filtry
Zobrazit filtry (8)
Autor:
NOT
Horyna, Mojmír, 1945-2011
AND
Gibbons, Jeremy, 1966-
Oblast:
NOT
Japonsko
NOT
České království
PSH:
NOT
konstrukce
NOT
počítače
AND
algoritmizace
Doporučená témata:
NOT
informatika
Hlavní strana
Vyhledávání:
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
algoritmizace
3
algoritmy (programování)
2
funkcionální programování
2
programovací jazyk Haskell
2
Haskell (programovací jazyk)
1
kvalita programu
1
simulace a modelování
1
více ...
softwarové inženýrství
1
verifikace programu
1
méně ...
Zobrazuji výsledky
1 - 3
z
3
pro vyhledávání '
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Algorithm design with Haskell
Autor
Bird, Richard, 1943-
Vydáno:
2020
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Algorithm design with Haskell
Autor
Bird, Richard, 1943-
Vydáno:
2020
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
3
NTK
Médium
2
Kniha
1
E-kniha
Signatura
3
Q - Věda
Autor
Gibbons, Jeremy, 1966-
2
Bird, Richard, 1943-
1
Cambridge University Press
1
Davies, Jim, 1964-
Jazyk
3
angličtina
Žánr
1
elektronicke knihy
1
příručky
1
sborníky konferencí
1
učebnice
Rok vydání
Od:
do:
PSH
algoritmizace
2
funkcionální programování
2
programovací jazyk Haskell
1
kvalita programu
1
simulace a modelování
1
softwarové inženýrství
více ...
1
verifikace programu
Zobrazit vše ...
méně ...
×
Načítá se...