Zobrazuji výsledky
1 - 20
z
324
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
biografie
Doporučená témata:
NOT
simulace a modelování
NOT
konstrukce
AND
programovací jazyky
Oblast:
NOT
Slovensko
PSH:
NOT
programování
AND
informatika
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
biografie
Doporučená témata:
NOT
simulace a modelování
NOT
konstrukce
AND
programovací jazyky
Oblast:
NOT
Slovensko
PSH:
NOT
programování
AND
informatika
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
324
programovací jazyky
softwarové inženýrství
260
matematická logika
137
počítače
135
umělá inteligence
89
podnikové informační systémy
55
více ...
algoritmizace
47
formální jazyky
39
operační systémy
28
robotika
22
počítačová simulace
21
systémy řízení báze dat
17
vyhledávání v datech
16
software
11
mikroprocesory
9
UML
7
distribuované informační systémy
7
informační systémy
7
programovací jazyk Java
7
aplikační programy
6
hardware
6
internet
6
numerická analýza
6
počítačová bezpečnost
6
Petriho sítě
5
vestavěné systémy
5
vyhledávání informací
5
cloud computing
4
matematická statistika
4
méně ...
Zobrazuji výsledky
1 - 20
z
324
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Advances informatics : 8th Panhellenic Conference on Informatics, PCI 2001 Nicosia, Cyprus, November 8-10, 2001 : revised selected papers
Vydáno:
2003
Umístění:
Načítá se...
Rukopis
Načítá se...
Uloženo v:
Informatika
Autor
Kaluža, Jindřich, 1947-
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Integrated circuit and system design. power and timing modeling, optimization and simulation : 22nd international workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 201...
Vydáno:
2013
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:
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:
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
Vydáno:
2008
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:
Leveraging applications of formal methods, verification, and validation : 4th International symposium on leveraging applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-2...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to software engineering : 16th international conference, FASE 2013, held as part of the European joint conferences on theory and practice of software, ETAPS...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking software : 20th international symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings
Vydáno:
2013
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:
Programming languages and systems : 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal theories of information : from Shannon to semantic information theory and general concepts of information
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer science logic : 21st international workshop, CSL 2007, 16th Annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Models in software engineering : workshops and symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007 : reports and revised selected papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software architecture : second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Declarative agent languages and technologies VII : 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers
Vydáno:
2010
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ší »
[17]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
324
NTK
Médium
321
E-kniha
2
Kniha
1
Rukopis
Signatura
2
Q - Věda
1
T - Technologie
Autor
321
SpringerLink (online služba)
5
Bernardo, Marco
5
Margaria, Tiziana
5
Steffen, Bernhard
4
Baldoni, Matteo
4
Boer, Frank S. de
více ...
4
Bonsangue, Marcello M
4
Potapov, Igor
4
Torroni, Paolo
4
Winikoff, Michael
3
Aksit, Mehmet
3
Bernardo, Marco, 1970-
3
Chapman, Barbara, 1954-
3
Cook, Byron
3
Dastani, Mehdi
3
Graf, Susanne
3
Johnsen, Einar Broch
3
Leucker, Martin
3
Müller, Matthias S.
3
Núñez, Manuel
3
Ong, Luke
3
Rashid, Awais
3
Reed, Rick
3
Riemsdijk, M. Birna van
3
Roever, Willem-Paul de
3
Sardina, Sebastian
3
Son, Tran Cao
3
Vasconcelos, Wamberto
2
Aldini, Alessandro
2
Beckert, Bernhard
Zobrazit vše ...
méně ...
Jazyk
323
angličtina
1
čeština
Žánr
321
elektronicke knihy
114
sborníky konferencí
3
eseje
3
monografie
3
sborníky
1
vysokoškolská skripta
Rok vydání
Od:
do:
PSH
informatika
324
programovací jazyky
260
softwarové inženýrství
137
matematická logika
135
počítače
89
umělá inteligence
více ...
55
podnikové informační systémy
47
algoritmizace
39
formální jazyky
28
operační systémy
22
robotika
21
počítačová simulace
17
systémy řízení báze dat
16
vyhledávání v datech
11
software
9
mikroprocesory
7
UML
7
informační systémy
7
programovací jazyk Java
6
aplikační programy
6
hardware
6
internet
6
numerická analýza
6
počítačová bezpečnost
5
Petriho sítě
5
vestavěné systémy
5
vyhledávání informací
4
cloud computing
4
matematická statistika
3
agenti
Zobrazit vše ...
méně ...
×
Načítá se...