Zobrazuji výsledky
1 - 20
z
344
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
Jazyk:
NOT
slovenština
Žánr:
NOT
monografie
NOT
CD-ROM
Doporučená témata:
NOT
nanotechnologie
AND
programovací jazyky
AND
počítače
PSH:
NOT
životní prostředí
Zrušit filtry
Zobrazit filtry (7)
Jazyk:
NOT
slovenština
Žánr:
NOT
monografie
NOT
CD-ROM
Doporučená témata:
NOT
nanotechnologie
AND
programovací jazyky
AND
počítače
PSH:
NOT
životní prostředí
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
328
softwarové inženýrství
253
programování
200
matematická logika
139
formální jazyky
85
více ...
operační systémy
82
umělá inteligence
70
algoritmizace
69
robotika
46
podnikové informační systémy
32
distribuované informační systémy
23
programovací jazyk Java
21
počítačová architektura
17
počítačová simulace
17
vestavěné systémy
17
software
15
UML
14
počítačová bezpečnost
13
numerická analýza
10
architektura výpočetních systémů
9
internet
9
systémy řízení báze dat
8
vyhledávání v datech
8
diskrétní matematika
7
multiagentní systémy
7
Petriho sítě
6
XML
6
agenti
6
méně ...
Zobrazuji výsledky
1 - 20
z
344
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:
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:
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:
1
2
3
4
5
6
7
8
9
10
11
Další »
[18]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
344
NTK
Médium
327
E-kniha
15
Kniha
2
Časopis
Signatura
16
Q - Věda
1
T - Technologie
Autor
327
SpringerLink (online služba)
5
Potapov, Igor
4
Peña, Ricardo, 1950-
4
Vardanega, Tullio
3
Bensalem, Saddek
3
Bernardo, Marco, 1970-
více ...
3
Cavalcanti, Ana
3
Gibbons, Jeremy, 1966-
3
Hanus, Michael, 1959-
3
Jones, C. B. (Cliff B.), 1944-
3
Katz, Shmuel
3
Kordon, Fabrice
3
Liu, Zhiming, 1972-
3
Lopes, Antónia
3
Löwe, Benedikt
3
Margaria, Tiziana
3
Mezini, Mira, 1966-
3
Ong, Luke
3
Peled, Doron A., 1962-
3
Plasmeijer, Rinus
3
Steffen, Bernhard
3
Voronkov, Andrei, 1959-
3
Zsók, Viktória
2
Abdulla, Parosh Aziz
2
Baier, Christel
2
Butler, Michael, 1967-
2
Cerioli, Maura, 1964-
2
Damiani, Ferruccio
2
De Nicola, Rocco
2
Dongarra, Jack, 1950-
Zobrazit vše ...
méně ...
Jazyk
342
angličtina
2
němčina
1
čeština
Žánr
327
elektronicke knihy
216
sborníky konferencí
5
eseje
3
příručky
2
sborníky
2
učebnice
více ...
2
časopisy
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
344
počítače
344
programovací jazyky
328
informatika
253
softwarové inženýrství
200
programování
139
matematická logika
více ...
85
formální jazyky
82
operační systémy
70
umělá inteligence
69
algoritmizace
46
robotika
32
podnikové informační systémy
21
programovací jazyk Java
17
počítačová simulace
16
vestavěné systémy
15
software
14
UML
13
počítačová bezpečnost
10
numerická analýza
9
architektura výpočetních systémů
9
internet
8
systémy řízení báze dat
8
vyhledávání v datech
6
Petriho sítě
6
XML
6
agenti
6
mikroprocesory
5
hardware
5
informační systémy
5
rozpoznávání obrazců
Zobrazit vše ...
méně ...
×
Načítá se...