Výsledky
1 - 8
z
8
pro vyhledávání '
'
Přeskočit na obsah
Váš názor
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Zachovat současné nastavení filtrů
topic_facet:"počítačové programy"
topic_facet:"programování"
building:"FI"
Vyhledávání:
Výsledky
1 - 8
z
8
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
SQL : kompletní kapesní průvodce /
Autor
Šimůnek, Milan, 1975-
Vydáno 1999
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
2
Types for proofs and programs International Workshop, TYPES 2006 : Nottingham, UK, April 18-21, 2006 : revised selected papers /
Vydáno 2007
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
3
Types for proofs and programs : International Conference, TYPES 2007 : Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
4
Reflections on the teaching of programming : methods and implementations /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
5
Mathematics of program construction : 9th International Conference, MPC 2008: Marseille, France, July 15-18, 2008 : proceedings /
Vydáno 2008
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
6
Oracle PL/SQL language : pocket reference /
Autor
Feuerstein, Steven
,
Pribyl, Bill
,
Dawes, Chip
Vydáno 2004
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
7
Types for Proofs and Programs : International Workshop Types'96, Aussois, France, December 15-19, 1996 : selected papers /
Vydáno 1998
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
8
The practice of programming /
Autor
Kernighan, Brian W., 1942-
,
Pike, Rob, 1956-
Vydáno 1999
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Odstranit filtry
Zrušit filtr
Doporučená témata: počítačové programy
Zrušit filtr
Doporučená témata: programování
Zrušit filtr
Knihovna: Fakulta informatiky
Knihovna
Fakulta informatiky
Typ dokumentu
Kniha
8
Autor
Paulin-Mohring, Christine, 1962-
2
Altenkirch, Thorsten, 1962-
1
Audebaud, Philippe
1
Bennedsen, Jens
1
Caspersen, Michael E.
1
Dawes, Chip
1
více ...
Feuerstein, Steven
1
Giménez, Eduardo, 1967-
1
Honsell, Furio
1
International Conference on the Mathematics of Program Construction Marseille, Francie)
1
International Workshop on Types for Proofs and Programs Cividale del Friuli, Itálie)
1
International Workshop on Types for Proofs and Programs Nottingham, Anglie)
1
Kernighan, Brian W., 1942-
1
Kölling, Michael
1
McBride, Conor
1
Miculan, Marino
1
Pike, Rob, 1956-
1
Pribyl, Bill
1
Scagnetto, Ivan
1
TYPES'96 Aussois, Francie)
1
Šimůnek, Milan, 1975-
1
Zobrazit vše ...
méně ...
Jazyk
Angličtina
7
Čeština
1
Doporučená témata
computer programs
8
počítačové programy
programming
8
programování
Počítačová věda. Výpočetní technika. Informační technologie
3
SQL
2
více ...
SQL (dotazovací jazyk)
2
computer technology
2
výpočetní technika
2
software engineering
1
softwarové inženýrství
1
Zobrazit vše ...
méně ...
Žánr
sborníky konferencí
3
monografie
2
monographs
2
Rok vydání
Od:
do:
×
Načítá se...