Zobrazuji výsledky
1 - 20
z
357
pro vyhledávání '
"software"
'
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
Doporučená témata:
informatika
AND
matematická logika
NOT
systémy řízení báze dat
Autor:
NOT
Mun, Youngsong
Zrušit filtry
Zobrazit filtry (4)
Doporučená témata:
informatika
AND
matematická logika
NOT
systémy řízení báze dat
Autor:
NOT
Mun, Youngsong
Hlavní strana
Vyhledávání: "software"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
informatika
matematická logika
softwarové inženýrství
300
programovací jazyky
206
programování
163
umělá inteligence
154
počítače
121
více ...
algoritmizace
70
formální jazyky
60
robotika
26
aplikační programy
18
operační systémy
16
počítačová simulace
16
podnikové informační systémy
13
algebra
10
software
10
vyhledávání v datech
10
diskrétní matematika
7
počítačová bezpečnost
5
bioinformatika
4
hardware
4
informační systémy
4
počítačová architektura
4
počítačová grafika
4
programovací jazyk Java
4
rozpoznávání obrazců
4
strojová lingvistika
4
internet
3
sémantický web
3
testování
3
méně ...
Zobrazuji výsledky
1 - 20
z
357
pro vyhledávání '
"software"
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
composition : 12th international conference, SC 2013, Budapest, Hungary, June 19, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Specification, algebra, and
software
: essays dedicated to Kokichi Futatsugi
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
language engineering : 7th international conference, SLE 2014, Västerås, Sweden, September 15-16, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamentals of
Software
Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model Checking
Software
: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking
software
: 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Dependable
software
engineering : theories, tools, and applications : first international symposium...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Testing
Software
and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools for practical
software
verification : LASER, international summer school 2011, Elba Island, Italy : revised tutorial lectures
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to
software
engineering : 18th international conference, FASE 2015, held...
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component
software
: 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to
software
engineering : 17th international conference, FASE 2014, held...
Vydáno:
2014
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:
Hardware and
software
: verification and testing : 8th International Haifa verification conference...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 11th International Haifa verification conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
9
10
11
Další »
[18]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
357
NTK
Médium
356
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
356
SpringerLink (online služba)
7
Meseguer, José
5
Voronkov, Andrei
4
Vardanega, Tullio
3
Beckert, Bernhard
3
Cavalcanti, Ana
více ...
3
Dediu, Adrian-Horia
3
Governatori, Guido
3
Horváth, Zoltán
3
Kroening, Daniel
3
Kutrib, Martin
3
Martí-Oliet, Narciso
3
Martín-Vide, Carlos
3
Plasmeijer, Rinus
3
Rahonis, George
3
Rozenberg, Grzegorz
3
Schürr, Andy
3
Seidl, Helmut
3
Veith, Helmut
3
Zsók, Viktória
2
Artemov, Sergei
2
Baral, Chitta
2
Bekki, Daisuke
2
Bernardo, Marco
2
Biere, Armin, 1967-
2
Bjørner, Nikolaj
2
Boer, Frank S. de
2
Bozapalidis, Symeon
2
Butler, Michael
2
Cerone, Antonio
Zobrazit vše ...
méně ...
Jazyk
357
angličtina
Žánr
356
elektronicke knihy
74
sborníky konferencí
4
eseje
2
sborníky
1
učebnice
Rok vydání
Od:
do:
PSH
357
informatika
357
matematická logika
300
softwarové inženýrství
206
programovací jazyky
163
programování
154
umělá inteligence
více ...
121
počítače
70
algoritmizace
60
formální jazyky
26
robotika
18
aplikační programy
16
operační systémy
16
počítačová simulace
13
podnikové informační systémy
10
algebra
10
software
10
vyhledávání v datech
5
počítačová bezpečnost
4
bioinformatika
4
hardware
4
informační systémy
4
počítačová grafika
4
programovací jazyk Java
4
rozpoznávání obrazců
4
strojová lingvistika
3
internet
3
sémantický web
3
testování
3
vyhledávání informací
3
zpracování textů
Zobrazit vše ...
méně ...
×
Načítá se...