Zobrazuji výsledky
1 - 20
z
267
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
encyklopedie
NOT
abstrakta
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
AND
počítače
NOT
algoritmizace
PSH:
NOT
software
Zrušit filtry
Zobrazit filtry (8)
Žánr:
NOT
encyklopedie
NOT
abstrakta
Oblast:
NOT
Rakousko-Uhersko
Autor:
NOT
Vacek, Zdeněk, 1976-
Doporučená témata:
programovací jazyky
AND
počítače
NOT
algoritmizace
PSH:
NOT
software
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
252
softwarové inženýrství
205
programování
158
matematická logika
102
operační systémy
70
více ...
formální jazyky
61
umělá inteligence
52
robotika
34
podnikové informační systémy
32
distribuované informační systémy
18
počítačová simulace
17
programovací jazyk Java
16
UML
13
počítačová bezpečnost
12
vestavěné systémy
11
internet
9
počítačová architektura
9
numerická analýza
6
systémy řízení báze dat
6
vyhledávání v datech
6
XML
5
architektura výpočetních systémů
5
informační systémy
5
agenti
4
interakce člověk-počítač
4
multiagentní systémy
4
uživatelská rozhraní
4
vyhledávání informací
4
méně ...
Zobrazuji výsledky
1 - 20
z
267
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:
Transactions on pattern languages of programming II : special issue on applying patterns
Vydáno:
2011
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:
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:
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:
Applications and theory of Petri nets : 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 : proceedings
Vydáno:
2010
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:
1
2
3
4
5
6
7
8
9
10
11
Další »
[14]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
267
NTK
Médium
251
E-kniha
16
Kniha
Signatura
15
Q - Věda
1
T - Technologie
Autor
251
SpringerLink (online služba)
3
Bernardo, Marco, 1970-
3
Cavalcanti, Ana
3
Gibbons, Jeremy, 1966-
3
Johnson, Ralph
3
Jones, C. B. (Cliff B.), 1944-
více ...
3
Katz, Shmuel
3
Margaria, Tiziana
3
Mezini, Mira, 1966-
3
Noble, James
3
Peled, Doron A., 1962-
3
Steffen, Bernhard
3
Zsók, Viktória
2
Bensalem, Saddek
2
Butler, Michael, 1967-
2
Cerioli, Maura, 1964-
2
Damiani, Ferruccio
2
De Nicola, Rocco
2
Dongarra, Jack, 1950-
2
Ernst, Erik
2
Hanus, Michael, 1959-
2
Henzinger, T. A., 1962-
2
Hinze, Ralf
2
Horváth, Zoltán
2
Jeannot, Emmanuel
2
Kordon, Fabrice
2
Leite, João, 1970-
2
Lemos, Rogério de, 1961-
2
Leucker, Martin
2
Liu, Zhiming, 1972-
Zobrazit vše ...
méně ...
Jazyk
264
angličtina
2
čeština
2
němčina
Žánr
251
elektronicke knihy
155
sborníky konferencí
6
monografie
4
eseje
3
příručky
2
sborníky
více ...
2
učebnice
1
normy
1
přednášky
1
textbooks
1
učebnice vysokých škol
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
267
počítače
267
programovací jazyky
252
informatika
205
softwarové inženýrství
158
programování
102
matematická logika
více ...
70
operační systémy
61
formální jazyky
52
umělá inteligence
34
robotika
32
podnikové informační systémy
17
počítačová simulace
16
programovací jazyk Java
13
UML
12
počítačová bezpečnost
10
vestavěné systémy
9
internet
6
numerická analýza
6
systémy řízení báze dat
6
vyhledávání v datech
5
XML
5
architektura výpočetních systémů
5
informační systémy
4
agenti
4
interakce člověk-počítač
4
vyhledávání informací
3
kryptografie
3
mikroprocesory
3
programovací jazyk Ada
3
programovací jazyk C++
Zobrazit vše ...
méně ...
×
Načítá se...