Zobrazuji výsledky
1 - 14
z
14
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
Horyna, Mojmír, 1945-2011
Doporučená témata:
NOT
zpracování obrazů
PSH:
Filtry: 4
NOT
historie
NOT
vyhledávání informací
AND
programovací jazyky
AND
počítačová bezpečnost
Žánr:
NOT
studie
AND
sborníky konferencí
Zrušit filtry
Zobrazit filtry (8)
Autor:
NOT
Horyna, Mojmír, 1945-2011
Doporučená témata:
NOT
zpracování obrazů
PSH:
Filtry: 4
NOT
historie
NOT
vyhledávání informací
AND
programovací jazyky
AND
počítačová bezpečnost
Žánr:
NOT
studie
AND
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í:
počítačová bezpečnost
14
programovací jazyky
14
informatika
12
počítače
12
softwarové inženýrství
11
programování
10
formální jazyky
6
více ...
matematická logika
6
operační systémy
5
SQL
2
distribuované informační systémy
2
podnikové informační systémy
2
agenti
1
algoritmizace
1
hardware
1
internet
1
kryptografie
1
multiagentní systémy
1
ochrana dat
1
počítačová věda
1
programovací jazyk Java
1
robotika
1
umělá inteligence
1
www
1
zpracování dat
1
šifrování dat
1
méně ...
Zobrazuji výsledky
1 - 14
z
14
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
Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
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:
Programming languages and systems : 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
NASA formal methods : 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 10th Asian symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 15th European symposium on programming, ESOP 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Testing software and systems : 26th IFIP WG 6.1 international conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014 : proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 8th Asian symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in computing science : ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proce...
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
14
NTK
Médium
12
E-kniha
2
Kniha
Signatura
1
Q - Věda
1
T - Technologie
Autor
12
SpringerLink (online služba)
1
Aldini, Alessandro
1
Bensalem, Saddek
1
Bravetti, Mario, 1971-
1
Feng, Xinyu
1
Goodloe, Alwyn E.
více ...
1
Gorrieri, Roberto, 1962-
1
Igarashi, Atsushi
1
Jhala, Ranjit
1
Kaklamanis, Christos
1
Merayo, Mercedes G.
1
Montes de Oca, Edgardo
1
Nielson, Flemming, 1955-
1
Núnez, Manuel
1
Park, Sungwoo
1
Peled, Doron A., 1962-
1
Person, Suzette
1
Qin, Shengchao
1
Saraswat, Vijay A.
1
Sestoft, Peter
1
Shao, Zhong, 1968-
1
Ueda, Kazunori
1
Yang, Hongseok
1
Zavattaro, Gianluigi
Zobrazit vše ...
méně ...
Jazyk
14
angličtina
Žánr
sborníky konferencí
12
elektronicke knihy
Rok vydání
Od:
do:
PSH
počítačová bezpečnost
programovací jazyky
12
informatika
12
počítače
11
softwarové inženýrství
10
programování
více ...
6
formální jazyky
6
matematická logika
5
operační systémy
2
SQL
2
podnikové informační systémy
1
agenti
1
algoritmizace
1
hardware
1
internet
1
kryptografie
1
ochrana dat
1
programovací jazyk Java
1
robotika
1
umělá inteligence
1
www
1
zpracování dat
1
šifrování dat
Zobrazit vše ...
méně ...
×
Načítá se...