Zobrazuji výsledky
1 - 16
z
16
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
PSH:
hardware
Žánr:
sborníky konferencí
Zrušit filtry
Zobrazit filtry (3)
Doporučená témata:
software
PSH:
hardware
Žánr:
sborníky konferencí
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
16
software
informatika
8
počítače
7
softwarové inženýrství
5
testy
4
architektura výpočetních systémů
3
více ...
formální jazyky
3
interakce člověk-počítač
3
matematická logika
3
robotika
3
testování
3
umělá inteligence
3
agenti
2
aplikační programy
2
internet
2
multiagentní systémy
2
operační systémy
2
programovací jazyky
2
programování
2
verifikace programu
2
vyhledávání v datech
2
UML
1
automatizace výroby
1
e-learning
1
informační systémy
1
kryptografie
1
mikroprocesory
1
multimediální systémy
1
multimédia
1
méně ...
Zobrazuji výsledky
1 - 16
z
16
pro vyhledávání '
'
, doba hledání: 0,07 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...
Získat plný text
Kniha
Uloženo v:
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
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:
Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Model-based testing of reactive systems : advanced lectures
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Embedded software and systems : second international conference, ICESS 2005, Xi'an, China, December 16-18, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Embedded software and systems : first international conference, ICESS 2004, Hangzhou, China, December 9-10, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
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:
Entwicklung von Mission Critical Systemen für industrielle Anwendungen : Engineeringmethoden & Technologien : Tagung Langen, 4. und 5. November 2003
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Advanced multimedia content processing : first international conference, AMCP'98, Osaka, Japan, November 9-11, 1998 : proceedings
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
16
NTK
Médium
8
Kniha
8
E-kniha
Signatura
4
Q - Věda
4
T - Technologie
Autor
8
SpringerLink (online služba)
2
Bin, Eyal
2
Howlett, Robert J., 1954-
2
Jain, L. C., 1946-
2
Lee, Yann-Hang, 1952-
2
Ur, Shmuel
více ...
2
Yang, Laurence Tianruo
2
Ziv, Avi
1
Biere, Armin, 1967-
1
Broy, Manfred, 1949-
1
Cao, Zhenfu
1
Khosla, Rajiv, 1959-
1
Kim, Heung-Nam
1
Kim, Jong
1
Kim, Sung Won
1
Kishino, Fumio, 1946-
1
Kroening, Daniel
1
Kutrib, Martin
1
Lovrek, Ignac
1
Moreira, Nelma
1
Nahir, Amir
1
Namjoshi, Kedar S.
1
Nishio, Shojiro
1
Park, Yongwan
1
Păsăreanu, Corina S.
1
Reis, Rogério
1
VDI-Kompetenzfeld Informationstechnik
1
Vos, Tanja
1
Wolfsthal, Yaron
1
Wu, Zhaohui, 1966-
Zobrazit vše ...
méně ...
Jazyk
16
angličtina
1
němčina
Žánr
sborníky konferencí
8
elektronicke knihy
Rok vydání
Od:
do:
PSH
hardware
16
software
8
informatika
7
počítače
5
softwarové inženýrství
4
testy
více ...
3
architektura výpočetních systémů
3
formální jazyky
3
interakce člověk-počítač
3
matematická logika
3
robotika
3
testování
3
umělá inteligence
2
agenti
2
aplikační programy
2
internet
2
operační systémy
2
programovací jazyky
2
programování
2
verifikace programu
2
vyhledávání v datech
1
UML
1
e-learning
1
informační systémy
1
kryptografie
1
mikroprocesory
1
multimédia
1
podnikové informační systémy
1
počítačová bezpečnost
1
simulace a modelování
Zobrazit vše ...
méně ...
×
Načítá se...