Zobrazuji výsledky
1 - 13
z
13
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
Žánr:
NOT
učebnice středních škol
NOT
časopisy
Jazyk:
NOT
slovenština
NOT
arabština
Doporučená témata:
NOT
programování
PSH:
algoritmizace
AND
programovací jazyky
Signatura:
Q - Věda
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
učebnice středních škol
NOT
časopisy
Jazyk:
NOT
slovenština
NOT
arabština
Doporučená témata:
NOT
programování
PSH:
algoritmizace
AND
programovací jazyky
Signatura:
Q - Věda
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
13
programovací jazyky
13
softwarové inženýrství
7
algebra
5
objektově orientované programování
4
software
4
logické programování
1
více ...
matematická logika
1
multimédia
1
operační systémy
1
počítačová bezpečnost
1
počítačové sítě
1
struktura dat
1
sémantika programovacích jazyků
1
umělá inteligence
1
verifikace programu
1
virtuální realita
1
méně ...
Zobrazuji výsledky
1 - 13
z
13
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
Foundations of software science and computation structures : 7th international conferences, FOSSACS 2004 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
C : the complete reference
Autor
Schildt, Herbert, 1951-
Vydáno:
2000
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 :...
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algoritmizace a programování v Delphi
Autor
Krček, Břetislav, 1950-
Vydáno:
2006
Umístění:
Načítá se...
Rukopis
Načítá se...
Uloženo v:
Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the joint European Conferences on Theory and Practice of So...
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Compositionality : The significant difference. International symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997. Revised lectures
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algoritmizace a programování v Delphi
Autor
Martišek, Dalibor, 1956-
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 6th international conferenceg, FOSSACS 2003 held as part of the Joint European Conferences on Ttheory and Practice of S...
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 8th international conferences, FOSSACS 2005 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Data structures and algorithms using C#
Autor
McMillan, Michael, 1957-
Vydáno:
2007
Umístění:
Načítá se...
Obsah
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
13
NTK
Médium
12
Kniha
1
Rukopis
Signatura
Q - Věda
Autor
1
Aceto, Luca, 1961-
1
Anna Ingólfsdóttir, 1952-
1
Bošnački, Dragan
1
Cortesi, Agostino, 1963-
1
Engberg, Uffe, 1959-
1
Gordon, Andrew D., 1964-
více ...
1
Hnich, Brahim
1
Kolomazník, Ivan
1
Krček, Břetislav, 1950-
1
Langmaack, Hans
1
Leue, Stefan, 1962-
1
Martišek, Dalibor, 1956-
1
McMillan, Michael, 1957-
1
Nielsen, Mogens
1
Pnueli, A. (Amir), 1941-
1
Roever, Willem-Paul de
1
Sassone, Vladimiro
1
Schildt, Herbert, 1951-
1
Vysoká škola báňská - Technická univerzita Ostrava
1
Walukiewicz, Igor, 1968-
Zobrazit vše ...
méně ...
Jazyk
11
angličtina
2
čeština
Žánr
4
sborníky konferencí
2
monografie
1
vysokoškolská skripta
Rok vydání
Od:
do:
PSH
algoritmizace
programovací jazyky
7
softwarové inženýrství
5
algebra
4
objektově orientované programování
4
software
více ...
1
logické programování
1
matematická logika
1
multimédia
1
operační systémy
1
počítačová bezpečnost
1
počítačové sítě
1
struktura dat
1
sémantika programovacích jazyků
1
umělá inteligence
1
verifikace programu
1
virtuální realita
Zobrazit vše ...
méně ...
×
Načítá se...