Zobrazuji výsledky
1 - 20
z
320
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
Doporučená témata:
počítače
AND
programovací jazyky
PSH:
NOT
podnikové informační systémy
Zrušit filtry
Zobrazit filtry (3)
Doporučená témata:
počítače
AND
programovací jazyky
PSH:
NOT
podnikové informační systémy
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í:
počítače
programovací jazyky
informatika
303
softwarové inženýrství
227
programování
186
matematická logika
138
formální jazyky
84
více ...
operační systémy
80
algoritmizace
71
umělá inteligence
69
robotika
45
distribuované informační systémy
20
programovací jazyk Java
17
počítačová architektura
15
software
14
vestavěné systémy
12
počítačová bezpečnost
11
UML
10
numerická analýza
10
architektura výpočetních systémů
9
vyhledávání v datech
9
počítačová simulace
8
systémy řízení báze dat
8
Petriho sítě
7
diskrétní matematika
7
internet
6
mikroprocesory
6
multiagentní systémy
6
XML
5
agenti
5
méně ...
Zobrazuji výsledky
1 - 20
z
320
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
Computer science logic : 10th international workshop, CSL '96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996. Selected papers
Vydáno:
1997
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mathematica for Scientists and Engineers
Autor
Bahder, Thomas B.
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
ARM system architecture
Autor
Furber, Steve
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
The CGI/Perl Cookbook
Autor
Patchett, Craig
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Modeling and using context : Second international and interdisciplinary conference, CONTEXT '99, Trento, Italy, September 9-11, 1999. Proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science : an overview
Autor
Brookshear, J. Glenn
Vydáno:
2020
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer systems : digital design, fundamentals of computer architecture and assembly language
Autor
Elahi, Ata, 1950-
Vydáno:
2018
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:
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:
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:
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:
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:
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:
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:
Transactions on aspect-oriented software development XII
Vydáno:
2015
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:
Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings
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ší »
[16]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
320
NTK
Médium
302
E-kniha
16
Kniha
2
Časopis
Signatura
17
Q - Věda
1
T - Technologie
Autor
302
SpringerLink (online služba)
5
Potapov, Igor
4
Peña, Ricardo, 1950-
3
Bensalem, Saddek
3
Bernardo, Marco, 1970-
3
Gibbons, Jeremy, 1966-
více ...
3
Hanus, Michael, 1959-
3
Jones, C. B. (Cliff B.), 1944-
3
Kordon, Fabrice
3
Liu, Zhiming, 1972-
3
Lopes, Antónia
3
Löwe, Benedikt
3
Margaria, Tiziana
3
Ong, Luke
3
Peled, Doron A., 1962-
3
Plasmeijer, Rinus
3
Steffen, Bernhard
3
Tanter, Éric
3
Vardanega, Tullio
3
Voronkov, Andrei, 1959-
3
Zsók, Viktória
2
Abdulla, Parosh Aziz
2
Baier, Christel
2
Butler, Michael, 1967-
2
Cavalcanti, Ana
2
Cerioli, Maura, 1964-
2
Chiba, Shigeru
2
Damiani, Ferruccio
2
De Nicola, Rocco
2
Dongarra, Jack, 1950-
Zobrazit vše ...
méně ...
Jazyk
317
angličtina
2
čeština
2
němčina
Žánr
302
elektronicke knihy
188
sborníky konferencí
8
monografie
5
eseje
3
příručky
2
sborníky
více ...
2
učebnice
2
časopisy
1
normy
1
textbooks
1
učebnice vysokých škol
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
320
počítače
320
programovací jazyky
303
informatika
227
softwarové inženýrství
186
programování
138
matematická logika
více ...
84
formální jazyky
80
operační systémy
71
algoritmizace
69
umělá inteligence
45
robotika
17
programovací jazyk Java
14
software
11
počítačová bezpečnost
11
vestavěné systémy
10
UML
10
numerická analýza
9
architektura výpočetních systémů
9
vyhledávání v datech
8
počítačová simulace
8
systémy řízení báze dat
7
Petriho sítě
6
internet
6
mikroprocesory
5
XML
5
agenti
5
informační systémy
5
rozpoznávání obrazců
4
aplikační programy
4
cloud computing
Zobrazit vše ...
méně ...
×
Načítá se...