Zobrazuji výsledky
1 - 20
z
1 854
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
Jazyk:
NOT
slovenština
Žánr:
NOT
monografie
NOT
CD-ROM
Doporučená témata:
NOT
nanotechnologie
AND
softwarové inženýrství
AND
informatika
PSH:
NOT
životní prostředí
Médium:
E-kniha
Zrušit filtry
Zobrazit filtry (8)
Jazyk:
NOT
slovenština
Žánr:
NOT
monografie
NOT
CD-ROM
Doporučená témata:
NOT
nanotechnologie
AND
softwarové inženýrství
AND
informatika
PSH:
NOT
životní prostředí
Médium:
E-kniha
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í:
informatika
softwarové inženýrství
programování
669
počítače
664
programovací jazyky
613
umělá inteligence
495
algoritmizace
493
více ...
matematická logika
391
operační systémy
326
podnikové informační systémy
251
počítačová simulace
231
informační systémy
177
internet
175
robotika
153
vyhledávání v datech
119
systémy řízení báze dat
117
formální jazyky
115
počítačová bezpečnost
104
aplikační programy
87
vyhledávání informací
84
interakce člověk-počítač
75
numerická analýza
73
počítačová grafika
56
uživatelská rozhraní
53
výpočetní technika
47
distribuované informační systémy
45
šifrování dat
45
rozpoznávání obrazců
43
elektrotechnika
40
software
36
méně ...
Zobrazuji výsledky
1 - 20
z
1 854
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
Transactions on Engineering Technologies : International MultiConference of Engineers and Computer Scientists 2016
Vydáno:
2017
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering, artificial intelligence, networking and parallel/distributed computing 2011
Vydáno:
2011
Umístění:
Načítá se...
Online verze
E-kniha
Uloženo v:
Interactive theorem proving : 4th international conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European conferences on theory and practice of...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Web reasoning and rule systems : second International conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Performance evaluation: metrics, models and benchmarks : SPEC international performance evaluation workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Practical aspects of declarative languages : 16th international symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Future generation information technology : 4th international conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Trustworthy global computing : 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model and data engineering : 4th international conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Distributed computing and internet technology : third international conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algorithms and architectures for parallel processing : 14th international conference, ICA3PP 2014, Dalian, China, August 24-27, 2014 : proceedings.
Vydáno:
2014
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:
Algorithms and architectures for parallel processing : ICA3PP international workshops and symposiums, Zhangjiajie, China, November 18-20, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for components and objects : 11th international symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised 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, Marc...
Vydáno:
2006
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ší »
[93]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
1 854
NTK
Médium
E-kniha
Autor
1 853
SpringerLink (online služba)
37
Taniar, David
34
Gervasi, Osvaldo
31
Murgante, Beniamino
23
Apduhan, Bernady O
18
Misra, Sanjay
více ...
16
Albada, Geert Dick van
16
Dongarra, Jack
15
Meersman, R., 1947-
15
Winckler, Marco
14
Gavrilova, Marina L
13
Dongarra, Jack, 1950-
13
Laganà, Antonio, 1944-
13
Mun, Youngsong
13
Sloot, Peter M. A
11
Alexander, Michael, 1972-
11
Dillon, Tharam S., 1943-
11
Gervasi, Osvaldo, 1957-
11
Palanque, Philippe
11
Torre, Carmelo
10
Boer, Frank S. de
10
Herrero, Pilar
10
Yang, Laurence Tianruo
9
Gavrilova, Marina L., 1971-
9
Nguyễn, Ngọc Thanh
9
Tan, C. J. Kenneth
8
Apduhan, Bernady O.
8
Governatori, Guido
8
Guo, Minyi
8
Lei, Jingsheng
Zobrazit vše ...
méně ...
Jazyk
1 854
angličtina
Žánr
1 854
elektronicke knihy
717
sborníky konferencí
13
sborníky
6
eseje
2
přednášky
1
kolektivní monografie
více ...
1
normy
1
příručky
1
učebnice
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
1 854
informatika
1 854
softwarové inženýrství
669
programování
664
počítače
613
programovací jazyky
495
umělá inteligence
více ...
493
algoritmizace
391
matematická logika
326
operační systémy
251
podnikové informační systémy
231
počítačová simulace
177
informační systémy
175
internet
153
robotika
119
vyhledávání v datech
117
systémy řízení báze dat
115
formální jazyky
104
počítačová bezpečnost
87
aplikační programy
84
vyhledávání informací
75
interakce člověk-počítač
73
numerická analýza
56
počítačová grafika
47
výpočetní technika
45
šifrování dat
43
rozpoznávání obrazců
40
elektrotechnika
36
software
31
sémantický web
30
UML
Zobrazit vše ...
méně ...
×
Načítá se...