Zobrazuji výsledky
1 - 20
z
571
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
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
monografie
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
NOT
internet
Doporučená témata:
softwarové inženýrství
AND
počítače
Zrušit filtry
Zobrazit filtry (8)
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
monografie
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
NOT
internet
Doporučená témata:
softwarové inženýrství
AND
počítače
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
softwarové inženýrství
informatika
560
programování
253
programovací jazyky
243
algoritmizace
147
matematická logika
140
více ...
operační systémy
138
umělá inteligence
115
formální jazyky
72
počítačová simulace
61
podnikové informační systémy
55
robotika
41
počítačová bezpečnost
28
distribuované informační systémy
26
vyhledávání v datech
24
numerická analýza
23
počítačová architektura
23
software
23
programovací jazyk Java
21
vestavěné systémy
20
UML
19
rozpoznávání obrazců
19
mikroprocesory
18
systémy řízení báze dat
16
architektura výpočetních systémů
14
interakce člověk-počítač
14
bioinformatika
12
aplikační programy
11
hardware
9
méně ...
Zobrazuji výsledky
1 - 20
z
571
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
Ansible: up and running : automating configuration management and deployment the easy way
Autor
Hochstein, Lorin
Vydáno:
2017
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer performance evaluation : modelling techniques and tools : 12th international conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Rukopis
Načítá se...
Uloženo v:
Computers, software engineering, and digital devices : the electrical engineering handbook
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer science, research + development
Vydáno:
2009
Umístění:
Načítá se...
Časopis
Načítá se...
Uloženo v:
The best of Verity Stob : highlights of Verity Stob's famous columns from EXE, Dr. Dobb's Journal, and The Register
Autor
Stob, Verity
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer and information science
Vydáno:
2008
Umístění:
Načítá se...
Plný text
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:
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:
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:
Architectures for adaptive software systems : 5th International conference on the quality of software architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 : procee...
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Fundamental approaches to software engineering : 16th international conference, FASE 2013, held as part of the European joint conferences on theory and practice of software, ETAPS...
Vydáno:
2013
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:
NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings
Vydáno:
2015
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ší »
[29]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
571
NTK
Médium
557
E-kniha
12
Kniha
1
Časopis
1
Rukopis
Signatura
13
Q - Věda
1
T - Technologie
Autor
556
SpringerLink (online služba)
6
Gavrilova, Marina L
6
Nguyễn, Ngọc Thanh
6
Prasanna Kumar, V. K., 1955-
5
Chapman, Barbara, 1954-
5
Daydé, Michel
více ...
5
Gervasi, Osvaldo
5
Kowalczyk, Ryszard, 1961-
5
Laganà, Antonio, 1944-
5
Mun, Youngsong
5
Potapov, Igor
5
Rozenberg, Grzegorz
5
Taniar, David
4
Deng, Hepu
4
Lei, Jingsheng
4
Murgante, Beniamino
4
Parashar, Manish, 1967-
4
Reussner, Ralf
4
Salomaa, Arto
4
Sirjani, Marjan
4
Suganthan, Ponnuthurai Nagaratnam
4
Vardanega, Tullio
4
Wang, Fu Lee
3
Aalst, Wil van der, 1966-
3
Aceto, Luca
3
Alexander, Michael, 1972-
3
Ali, Moonis, 1944-
3
Arbab, F. (Farhad)
3
Badrinath, Ramamurthy
3
Beliczynski, Bartlomiej
Zobrazit vše ...
méně ...
Jazyk
571
angličtina
Žánr
559
elektronicke knihy
289
sborníky konferencí
4
eseje
3
příručky
3
sborníky
1
normy
více ...
1
přednášky
1
časopisy
1
články
Zobrazit vše ...
méně ...
Rok vydání
Od:
do:
PSH
571
počítače
571
softwarové inženýrství
560
informatika
253
programování
243
programovací jazyky
147
algoritmizace
více ...
140
matematická logika
138
operační systémy
115
umělá inteligence
72
formální jazyky
61
počítačová simulace
55
podnikové informační systémy
41
robotika
28
počítačová bezpečnost
24
vyhledávání v datech
23
numerická analýza
23
software
21
programovací jazyk Java
19
UML
19
rozpoznávání obrazců
19
vestavěné systémy
18
mikroprocesory
16
systémy řízení báze dat
14
architektura výpočetních systémů
14
interakce člověk-počítač
12
bioinformatika
11
aplikační programy
9
hardware
9
informační systémy
9
šifrování dat
Zobrazit vše ...
méně ...
×
Načítá se...