Zobrazuji výsledky
81 - 100
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
81 - 100
z
764
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
Ada 2012 reference manual : language and standard libraries : international standard ISO/IEC 8652/2012 (E)
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Distributed applications and interoperable systems : 6th IFIP WG 6.1 international conference, DAIS 2006, Bologna, Italy, June 14-16, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and software: verification and testing : 5th International Haifa verification conference, HVC 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on pattern languages of programming I
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Refinement techniques in software engineering : first Pernambuco summer school on software engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on aspect-oriented software development V
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Ada 2012 Rationale : the language : the standard libraries
Autor
Barnes, John
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal aspects of component software : 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Reachability problems : 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Specification, algebra, and software : essays dedicated to Kokichi Futatsugi
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on aspect-oriented software development XI
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Practical aspects of declarative languages : 12th international symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Models in software engineering : workshops and symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008 : reports and revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Trends in functional programming : 13th international symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to software engineering : 13th international conference, FASE 2010, held as part of the joint European conferences on theory and practice of software, ETAPS...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
7
8
9
10
11
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...