Zobrazuji výsledky
201 - 220
z
781
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
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
habilitační práce
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
Doporučená témata:
softwarové inženýrství
AND
programování
NOT
aplikační programy
Zrušit filtry
Zobrazit filtry (8)
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
habilitační práce
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
Doporučená témata:
softwarové inženýrství
AND
programování
NOT
aplikační programy
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í:
programování
softwarové inženýrství
informatika
662
programovací jazyky
384
počítače
281
operační systémy
226
matematická logika
199
více ...
algoritmizace
192
umělá inteligence
150
podnikové informační systémy
63
formální jazyky
59
internet
56
robotika
55
počítačová simulace
54
informační systémy
48
software
35
distribuované informační systémy
32
počítačová bezpečnost
29
počítačová architektura
26
architektura výpočetních systémů
19
programovací jazyk Java
19
UML
18
vyhledávání v datech
18
agenti
17
numerická analýza
17
vestavěné systémy
17
vyhledávání informací
17
vývoj softwaru
17
systémy řízení báze dat
14
interakce člověk-počítač
12
méně ...
Zobrazuji výsledky
201 - 220
z
781
pro vyhledávání '
'
, doba hledání: 0,23 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Engineering secure software and systems : second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
High confidence software reuse in large systems : 10th International conference on software reuse, ICSR 2008, Beijing, China, May 25-29, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering and formal methods : 11th international conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
UML modeling languages and applications : «UML» 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Dependability metrics : advanced lectures
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of software, ETAPS 2008...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer safety, reliability, and security : 29th international conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on computational science I
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Coordination, organizations, institutions and norms in agent systems IV : COIN 2008 international workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 : COIN@AAAI 2008, Chic...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Trustworthy software development processes : International conference on software process, ICSP 2009, Vancouver, Canada, May 16-17, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European conferences on theory and practice...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modelling autonomic communications environments : third IEEE international workshop, MACE 2008, Samos Island, Greece, September 22-26, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modelling foundations and applications : 7th European conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Central European functional programming school : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic-based program synthesis and transformation : 21st international symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2,...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Generative and transformational techniques in software engineering II : international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
6
7
8
9
10
11
12
13
14
15
16
Další »
[40]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
780
NTK
3
VŠCHT
1
UOCHB
Médium
660
E-kniha
101
Kniha
10
Rukopis
8
Článek
2
Časopis
Signatura
101
Q - Věda
5
T - Technologie
Autor
658
SpringerLink (online služba)
9
Plášil, František, 1943-
9
Univerzita Karlova. Katedra softwarového inženýrství
7
Voronkov, Andrei
6
Reussner, Ralf
6
Voronkov, Andrei, 1959-
více ...
5
Alexander, Michael, 1972-
5
Boer, Frank S. de
5
Broy, Manfred, 1949-
5
Cavalcanti, Ana
5
Horváth, Zoltán
5
Karczewski, Konrad
5
Müller, Jörg P., 1965-
5
Plasmeijer, Rinus
5
Romanovsky, Alexander, 1954-
5
Sirjani, Marjan
5
Zsók, Viktória
4
Barthe, Gilles
4
Beckert, Bernhard
4
Butler, Michael
4
Chapman, Barbara, 1954-
4
Chiba, Shigeru
4
Crnkovic, Ivica
4
Dongarra, Jack
4
Garcia, Alessandro, 1976-
4
Giese, Holger
4
Giorgini, Paolo
4
Kobayashi, Naoki, 1968-
4
Kordon, Fabrice
4
Lämmel, Ralf
Zobrazit vše ...
méně ...
Jazyk
763
angličtina
18
čeština
Žánr
662
elektronicke knihy
343
sborníky konferencí
24
monografie
22
příručky
12
sborníky
8
články
více ...
6
disertace
3
autoreferáty
2
přednášky
2
časopisy
1
doktorské disertace
1
eseje
1
příručky, manuály, atd.
1
kolektivní monografie
1
normy
1
učebnice
1
učebnice vysokých škol
1
vysokoškolská skripta
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
781
programování
781
softwarové inženýrství
662
informatika
384
programovací jazyky
281
počítače
226
operační systémy
více ...
199
matematická logika
192
algoritmizace
150
umělá inteligence
63
podnikové informační systémy
59
formální jazyky
56
internet
55
robotika
54
počítačová simulace
48
informační systémy
34
software
29
počítačová bezpečnost
19
architektura výpočetních systémů
19
programovací jazyk Java
18
UML
18
vyhledávání v datech
17
agenti
17
numerická analýza
17
vyhledávání informací
17
vývoj softwaru
16
vestavěné systémy
14
systémy řízení báze dat
12
interakce člověk-počítač
11
cloud computing
10
extrémní programování
Zobrazit vše ...
méně ...
VŠCHT ústavy
1
Ústav skla a keramiky
1
Laboratoř informatiky a chemie
1
Ústav chemického inženýrství
1
Ústav matematiky, informatiky a kybernetiky - budova A
×
Načítá se...