Zobrazuji výsledky
1 - 20
z
257
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
Jazyk:
NOT
čeština
PSH:
NOT
programování
Doporučená témata:
softwarové inženýrství
AND
umělá inteligence
Autor:
SpringerLink (online služba)
Zrušit filtry
Zobrazit filtry (5)
Jazyk:
NOT
čeština
PSH:
NOT
programování
Doporučená témata:
softwarové inženýrství
AND
umělá inteligence
Autor:
SpringerLink (online služba)
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í:
softwarové inženýrství
umělá inteligence
informatika
247
matematická logika
75
počítače
69
programovací jazyky
49
algoritmizace
42
více ...
počítačová simulace
35
robotika
30
aplikační programy
22
vyhledávání v datech
19
systémy řízení báze dat
16
rozpoznávání obrazců
12
formální jazyky
11
interakce člověk-počítač
10
zpracování obrazů
10
podnikové informační systémy
9
informační systémy
8
internet
8
automatizace
7
operační systémy
7
uživatelská rozhraní
7
algebra
6
počítačová bezpečnost
6
technika
6
počítačová grafika
4
výpočetní technika
4
agenti
3
elektronické obchodování
3
hardware
3
méně ...
Zobrazuji výsledky
1 - 20
z
257
pro vyhledávání '
"software"
'
, doba hledání: 0,22 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
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:
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:
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:
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:
Hardware and
Software
: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering: Challenges and Solutions : Results of the XVIII KKIO 2016
Software
...
Vydáno:
2017
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Trends and Applications in
Software
Engineering : Proceedings of CIMPS 2016
Vydáno:
2017
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
Software
: Verification and Testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software
Engineering Research and Applications : Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and
software
: verification and testing : 7th International Haifa verification conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Games, actions and social
software
: multidisciplinary aspects
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Human-centered
software
engineering : 5th IFIP WG 13.2 international conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Human-centered
software
engineering : 4th international conference, HCSE 2012, Toulouse, France, October 29-31, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Agent-oriented
software
engineering XIII : 13th international workshop, AOSE 2012, Valencia, Spain, June 4, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of
software
science and computational structures : 15th international conference...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model-Based Methodologies for Pervasive and Embedded
Software
: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verification of Object-Oriented
Software
. The KeY Approach : Foreword by K. Rustan M. Leino
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of Computer
Software
. Modeling, Development, and Verification of Adaptive Systems : 16...
Vydáno:
2011
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ší »
[13]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
257
NTK
Médium
257
E-kniha
Autor
SpringerLink (online služba)
10
Winckler, Marco
8
Palanque, Philippe
6
Winikoff, Michael
5
Dillon, Tharam S., 1943-
5
Dix, Jürgen
více ...
5
Meersman, R., 1947-
4
Abascal, Julio
4
Baldoni, Matteo
4
Bravo, José
4
Dastani, Mehdi
4
Dignum, Frank
4
Governatori, Guido
4
Gross, Tom
4
Kotzé, Paula
4
Kowalczyk, Ryszard, 1961-
4
Li, Xue, 1963-
4
Nguyễn, Ngọc Thanh
4
Panetto, Hervé
3
Artikis, Alexander
3
Bordini, Rafael H
3
Brueckner, Sven A
3
Das, Swagatam
3
Dediu, Adrian-Horia
3
Demazeau, Yves
3
Deng, Hepu
3
Kurosu, Masaaki
3
Lei, Jingsheng
3
Margaria, Tiziana
3
Martín-Vide, Carlos
Zobrazit vše ...
méně ...
Jazyk
257
angličtina
Žánr
257
elektronicke knihy
32
sborníky konferencí
2
sborníky
1
monografie
Rok vydání
Od:
do:
PSH
257
softwarové inženýrství
257
umělá inteligence
247
informatika
75
matematická logika
69
počítače
49
programovací jazyky
více ...
42
algoritmizace
35
počítačová simulace
30
robotika
22
aplikační programy
19
vyhledávání v datech
16
systémy řízení báze dat
12
rozpoznávání obrazců
11
formální jazyky
10
interakce člověk-počítač
10
zpracování obrazů
9
podnikové informační systémy
8
informační systémy
8
internet
7
automatizace
7
operační systémy
6
algebra
6
počítačová bezpečnost
6
technika
4
počítačová grafika
4
výpočetní technika
3
agenti
3
elektronické obchodování
3
hardware
3
numerická analýza
Zobrazit vše ...
méně ...
×
Načítá se...