Zobrazuji výsledky
121 - 140
z
764
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
Signatura:
NOT
J - Politologie
Médium:
NOT
Hudebnina
NOT
Program
Jazyk:
NOT
portugalština
Doporučená témata:
informatika
AND
programovací jazyky
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
biografie
Signatura:
NOT
J - Politologie
Médium:
NOT
Hudebnina
NOT
Program
Jazyk:
NOT
portugalština
Doporučená témata:
informatika
AND
programovací jazyky
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
programovací jazyky
softwarové inženýrství
623
programování
440
počítače
338
matematická logika
323
umělá inteligence
173
více ...
operační systémy
135
algoritmizace
120
podnikové informační systémy
101
formální jazyky
94
robotika
53
počítačová simulace
47
distribuované informační systémy
25
systémy řízení báze dat
24
vyhledávání v datech
24
programovací jazyk Java
23
UML
19
počítačová bezpečnost
19
počítačová architektura
18
vestavěné systémy
18
software
17
numerická analýza
13
aplikační programy
12
informační systémy
12
internet
11
mikroprocesory
11
architektura výpočetních systémů
9
vyhledávání informací
8
Petriho sítě
7
méně ...
Zobrazuji výsledky
121 - 140
z
764
pro vyhledávání '
'
, doba hledání: 0,07 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Trends in functional programming : 15th international symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
UML modeling languages and applications : «UML» 2004 satellite activities, Lisbon, Portugal, October 11-15, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint solving and language processing : 7th international workshop, CSLP 2012, Orléans, France, September 13-14, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of software, ETAPS 2008...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and software: verification and testing : 8th International Haifa verification conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modelling foundations and applications : 7th European conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Central European functional programming school : 4th summer school, CEFP 2011, Budapest, Hungary, June 14-24, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Application and theory of Petri nets and concurrency : 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software engineering : International summer schools, ISSSE 2009-2011, Salerno, Italy : revised tutorial lectures
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent advances in parallel virtual machine and message passing interface : 14th European PVM/MPI user’s group meeting, Paris, France, September 30 - October 3, 2007 : proceedings...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Conceptual structures: knowledge visualization and reasoning : 16th International conference on conceptual structures, ICCS 2008, Toulouse, France, July 7-11, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 23rd international conference, CC 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, Apr...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on aspect-oriented software development VIII
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modular programming languages : 7th Joint modular languages conference, JMLC 2006, Oxford, UK, September 13-15, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint handling rules : current research topics
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Quality of software architectures : models and architectures : 4th International conference on the quality of software-architectures, QoSA 2008, Karlsruhe, Germany, October 14-17,...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
2
3
4
5
6
7
8
9
10
11
12
Další »
[39]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
764
NTK
Médium
760
E-kniha
3
Kniha
1
Rukopis
Signatura
4
Q - Věda
1
T - Technologie
Autor
760
SpringerLink (online služba)
8
Boer, Frank S. de
7
Bonsangue, Marcello M
7
Horváth, Zoltán
7
Voronkov, Andrei, 1959-
7
Zsók, Viktória
více ...
6
Bernardo, Marco
6
Peña, Ricardo, 1950-
6
Vardanega, Tullio
5
Cavalcanti, Ana
5
Crnkovic, Ivica
5
Kordon, Fabrice
5
Margaria, Tiziana
5
Potapov, Igor
5
Rashid, Awais
5
Steffen, Bernhard
5
Wirsing, Martin
4
Aksit, Mehmet
4
Baldoni, Matteo
4
Barthe, Gilles
4
Beckert, Bernhard
4
Bernardo, Marco, 1970-
4
Butler, Michael
4
Chiba, Shigeru
4
Damiani, Ferruccio
4
Dastani, Mehdi
4
Fages, François
4
Gibbons, Jeremy, 1966-
4
Giese, Holger
4
Havelund, Klaus
Zobrazit vše ...
méně ...
Jazyk
763
angličtina
1
čeština
Žánr
760
elektronicke knihy
286
sborníky konferencí
10
monografie
5
eseje
5
sborníky
2
příručky
více ...
1
normy
1
přednášky
1
vysokoškolská skripta
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
764
informatika
764
programovací jazyky
623
softwarové inženýrství
440
programování
338
počítače
323
matematická logika
více ...
173
umělá inteligence
135
operační systémy
120
algoritmizace
101
podnikové informační systémy
94
formální jazyky
53
robotika
47
počítačová simulace
24
systémy řízení báze dat
24
vyhledávání v datech
23
programovací jazyk Java
19
UML
19
počítačová bezpečnost
17
software
17
vestavěné systémy
13
numerická analýza
12
aplikační programy
12
informační systémy
11
internet
11
mikroprocesory
9
architektura výpočetních systémů
8
vyhledávání informací
7
Petriho sítě
7
XML
6
agenti
Zobrazit vše ...
méně ...
×
Načítá se...