Zobrazuji výsledky
1 - 10
z
10
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:
software
AND
informatika
PSH:
hardware
Zrušit filtry
Zobrazit filtry (3)
Doporučená témata:
software
AND
informatika
PSH:
hardware
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í:
hardware
10
informatika
software
počítače
8
softwarové inženýrství
4
formální jazyky
3
interakce člověk-počítač
3
více ...
matematická logika
3
robotika
3
umělá inteligence
3
agenti
2
aplikační programy
2
internet
2
multiagentní systémy
2
operační systémy
2
podnikové informační systémy
2
programovací jazyky
2
programování
2
vyhledávání v datech
2
UML
1
e-learning
1
informační systémy
1
kryptografie
1
mikroprocesory
1
organizační struktura podniku
1
počítačová bezpečnost
1
sémantický web
1
teorie informace
1
testování
1
testování softwaru
1
méně ...
Zobrazuji výsledky
1 - 10
z
10
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
Computer aided verification : 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Pairing-based cryptography - Pairing 2013 : 6th international conference, Beijing, China, November 22-24, 2013 : revised selected papers
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and software: verification and testing : 8th International Haifa verification conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Descriptional complexity of formal systems : 14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings
Vydáno:
2012
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:
Knowledge-based intelligent information and engineering systems : 12th international conference, KES 2008, Zagreb, Croatia, September 3-5, 2008 : proceedings.
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Embedded software and systems : third international conference, ICESS 2007, Daegu, Korea, May 14-16, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Knowledge-based intelligent information and engineering systems : 9th international conference, KES 2005, Melbourne, Australia, September 14-16, 2005 : proceedings.
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Chipweek : týdeník z počítačové branže
Vydáno:
1995
Umístění:
Načítá se...
Časopis
Načítá se...
Uloženo v:
Správně nastavený informační systém ušetří průměrné nemocnici desítky milionů ročně
Autor
-mdk-
Umístění:
Načítá se...
Plný text
Článek
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
10
NTK
Médium
8
E-kniha
1
Článek
1
Časopis
Signatura
1
Q - Věda
Autor
8
SpringerLink (online služba)
2
Howlett, Robert J., 1954-
2
Jain, L. C., 1946-
1
-mdk-
1
Biere, Armin, 1967-
1
Cao, Zhenfu
více ...
1
Khosla, Rajiv, 1959-
1
Kim, Heung-Nam
1
Kim, Jong
1
Kim, Sung Won
1
Kroening, Daniel
1
Kutrib, Martin
1
Lee, Yann-Hang, 1952-
1
Lovrek, Ignac
1
Moreira, Nelma
1
Nahir, Amir
1
Namjoshi, Kedar S.
1
Park, Yongwan
1
Păsăreanu, Corina S.
1
Reis, Rogério
1
Vos, Tanja
1
Yang, Laurence Tianruo
1
Zeller, Andreas, 1965-
1
Zhang, Fangguo
1
Ziv, Avi
Zobrazit vše ...
méně ...
Jazyk
8
angličtina
2
čeština
Žánr
8
elektronicke knihy
8
sborníky konferencí
1
časopisy
1
články
Rok vydání
Od:
do:
PSH
hardware
10
informatika
10
software
8
počítače
4
softwarové inženýrství
3
formální jazyky
více ...
3
interakce člověk-počítač
3
matematická logika
3
robotika
3
umělá inteligence
2
agenti
2
aplikační programy
2
internet
2
operační systémy
2
podnikové informační systémy
2
programovací jazyky
2
programování
2
vyhledávání v datech
1
UML
1
e-learning
1
informační systémy
1
kryptografie
1
mikroprocesory
1
organizační struktura podniku
1
počítačová bezpečnost
1
sémantický web
1
teorie informace
1
testování
1
virtuální realita
1
vyhledávání informací
Zobrazit vše ...
méně ...
×
Načítá se...