Zobrazuji výsledky
1 - 20
z
271
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
AND
sborníky konferencí
Médium:
NOT
Časopis
NOT
E-kniha
Doporučená témata:
NOT
konstrukce
NOT
kryptografie
AND
softwarové inženýrství
Oblast:
NOT
Československo
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
učebnice
AND
sborníky konferencí
Médium:
NOT
Časopis
NOT
E-kniha
Doporučená témata:
NOT
konstrukce
NOT
kryptografie
AND
softwarové inženýrství
Oblast:
NOT
Československo
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í:
softwarové inženýrství
programování
37
umělá inteligence
35
software
34
simulace a modelování
32
agenti
31
programovací jazyky
29
více ...
informatika
26
informační systémy
25
počítačová věda
25
verifikace programu
24
internet
21
databázové systémy
20
algoritmizace
19
architektura výpočetních systémů
18
vyhledávání informací
18
matematická logika
14
objektově orientované programování
12
výpočetní technika
12
zpracování dat
12
aplikovaná matematika
10
ochrana dat
10
algoritmy
9
počítače
9
počítačová grafika
9
počítačové sítě
9
kvalita programu
8
sítě peer-to-peer
8
distribuované zpracování
7
evoluční algoritmy
7
méně ...
Zobrazuji výsledky
1 - 20
z
271
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software engineering education
Vydáno:
1988
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Software Engineering Education : 8th SEI CSEE conference New Orleans, LA, USA, March 29 - April 1, 1995. Proceedings
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Recent advances in constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming CSCLP 2003, Budapest, Hungary, June 30 - July 2,...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
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:
Model checking software : 11th International SPIN Workshop Barcelona, Spain, April 1-3, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Compiler construction : 13th international conference, CC 2004 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
COTS-based software systems : third international conference, ICCBSS 2004, Redondo Beach, CA, USA February 1-4, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Software reuse : methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Advances in learning software organizations : 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Formal methods in computer-aided design : 5th international conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science logic : 18th international workshop, CSL 2004 : 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Recent advances in intrusion detection : 7th international symposium, RAID 2004, Sophia Antipolis, France, September 15-17, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Middleware 2004 : ACM/IFIP/USENIX Internationale Middleware Conference, Toronto, Canada, October 18-22, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Genetic and evolutionary computation : GECCO 2004 : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004 : proceedings.
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
10
11
Další »
[14]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
271
NTK
Médium
267
Kniha
2
Rukopis
2
Seriál
Signatura
255
Q - Věda
9
T - Technologie
3
H - Sociální vědy
Autor
4
Abrahamsson, Pekka
4
Broy, Manfred, 1949-
4
Liu, Zhiming, 1961-
3
Bjørner, Dines, 1937-
3
Boer, Frank S. de
3
Diekert, Volker, 1955-
více ...
3
Gavrilova, Marina L., 1971-
3
Gervasi, Osvaldo, 1957-
3
Guelfi, Nicolas, 1965-
3
Hämäläinen, Timo D.
3
Lee, Roger Y.
3
Michel, Fabien, 1975-
3
Oquendo, Flavio, 1958-
3
Parunak, H. Van Dyke
3
Reussner, Ralf
3
Weyns, Danny
3
Woodcock, Jim, 1956-
3
Zambonelli, Franco, 1966-
3
Zamulin, Aleksandr Vasiljevič
2
Araki, Keijiro, 1954-
2
Baresi, Luciano
2
Baumeister, Hubert
2
Cantú-Paz, Erick
2
Cavalcanti, Ana
2
Crnkovic, Ivica
2
Davies, Jim, 1964-
2
Deb, Kalyanmoy, 1963-
2
Derrick, John, 1963-
2
Draheim, Dirk, 1969-
2
Durand, Bruno
Zobrazit vše ...
méně ...
Jazyk
270
angličtina
2
němčina
Žánr
sborníky konferencí
5
elektronicke knihy
2
ročenky
Rok vydání
Od:
do:
PSH
271
softwarové inženýrství
37
programování
35
umělá inteligence
34
software
32
simulace a modelování
31
agenti
více ...
29
programovací jazyky
26
informatika
25
informační systémy
24
verifikace programu
21
internet
20
databázové systémy
19
algoritmizace
18
architektura výpočetních systémů
18
vyhledávání informací
14
matematická logika
12
objektově orientované programování
12
výpočetní technika
12
zpracování dat
10
aplikovaná matematika
10
ochrana dat
9
počítače
9
počítačová grafika
9
počítačové sítě
8
kvalita programu
8
sítě peer-to-peer
7
distribuované zpracování
7
evoluční algoritmy
7
genetické algoritmy
7
logické programování
Zobrazit vše ...
méně ...
×
Načítá se...