Zobrazuji výsledky
1 - 20
z
151
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:
Filtry: 4
informatika
AND
počítače
NOT
systémy řízení báze dat
NOT
interakce člověk-počítač
PSH:
umělá inteligence
Zrušit filtry
Zobrazit filtry (5)
Doporučená témata:
Filtry: 4
informatika
AND
počítače
NOT
systémy řízení báze dat
NOT
interakce člověk-počítač
PSH:
umělá inteligence
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
počítače
umělá inteligence
151
softwarové inženýrství
85
algoritmizace
60
robotika
37
matematická logika
36
více ...
programování
36
aplikační programy
33
programovací jazyky
31
počítačová simulace
26
rozpoznávání obrazců
17
formální jazyky
16
vyhledávání v datech
13
software
11
zpracování obrazů
11
internet
9
bioinformatika
8
počítačová grafika
7
informační systémy
6
numerická analýza
6
podnikové informační systémy
6
operační systémy
5
aplikační software
4
vyhledávání informací
4
agenti
3
hardware
3
multiagentní systémy
3
ontologie (informatika)
3
počítačová architektura
3
méně ...
Zobrazuji výsledky
1 - 20
z
151
pro vyhledávání '
"software"
'
, doba hledání: 0,13 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
engineering : international summer schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures
Vydáno:
2015
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:
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:
Algebraic methodology and
software
technology : 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers
Vydáno:
2011
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:
Software
engineering for self-adaptive systems
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Verified
software
: theories, tools, experiments : 5th international conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers
Vydáno:
2014
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:
Compiler construction : 17th international conference, CC 2008, held as part of the joint European conferences on theory and practice of
software
, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying theories of programming and formal engineering methods : international training school on
software
engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013 : advanced lectures
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 16th International conference, CC 2007, held as art of the joint European conferences on theory and practice of
software
, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of
software
, ETAPS 2011, Saarbrücken, Germany, March...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of
software
, ETAPS...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European conferences on theory and practice of
software
, ETAPS...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] : Foreword by Allan Bundy
Autor
Kohlhase, Michael
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
AI approaches to the complexity of legal systems : models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and
software
agents : international workshop AICOL...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Interactive storytelling : first joint International conference on interactive digital storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Law and the semantic web : legal ontologies, methodologies, legal information retrieval, and applications
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
7
8
Další »
[8]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
151
NTK
Médium
151
E-kniha
Autor
151
SpringerLink (online služba)
6
Dediu, Adrian-Horia
6
Martín-Vide, Carlos
5
Nguyễn, Ngọc Thanh
5
Wang, Fu Lee
4
Casanovas, Pompeu
více ...
4
Howlett, Robert J., 1954-
4
Jain, L. C., 1946-
4
Kowalczyk, Ryszard, 1961-
3
Ali, Moonis, 1944-
3
Baldassarre, Gianluca
3
Beliczynski, Bartlomiej
3
Das, Swagatam
3
Deng, Hepu
3
Lei, Jingsheng
3
Margaria, Tiziana
3
Nguyen, Ngoc Thanh
3
Panigrahi, Bijaya Ketan
3
Sartor, Giovanni, 1959-
3
Schoenauer, Marc
3
Steffen, Bernhard
3
Suganthan, Ponnuthurai Nagaratnam
2
Ando, Noriaki
2
Apolloni, Bruno, 1946-
2
Brugali, Davide
2
Castelli, Mauro
2
Coello, Carlos Coello
2
Collet, Pierre
2
Dobnikar, Andrej
2
Duval, Béatrice
Zobrazit vše ...
méně ...
Jazyk
151
angličtina
Žánr
151
elektronicke knihy
39
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
151
informatika
151
počítače
umělá inteligence
85
softwarové inženýrství
60
algoritmizace
37
robotika
více ...
36
matematická logika
36
programování
33
aplikační programy
31
programovací jazyky
26
počítačová simulace
17
rozpoznávání obrazců
16
formální jazyky
13
vyhledávání v datech
11
software
11
zpracování obrazů
9
internet
8
bioinformatika
7
počítačová grafika
6
informační systémy
6
numerická analýza
6
podnikové informační systémy
5
operační systémy
4
vyhledávání informací
3
agenti
3
hardware
3
právo
3
výpočetní technika
2
CAE
2
počítačová bezpečnost
Zobrazit vše ...
méně ...
×
Načítá se...