Zobrazuji výsledky
1 - 15
z
15
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
Žánr:
NOT
biografie
Médium:
NOT
Neznámo
Signatura:
NOT
T - Technologie
NOT
E - Dějiny Spojených států
NOT
U - Vojenská věda
Doporučená témata:
NOT
fyzika
NOT
podnikové informační systémy
AND
softwarové inženýrství
PSH:
počítačová bezpečnost
AND
programovací jazyky
Zrušit filtry
Zobrazit filtry (10)
Žánr:
NOT
biografie
Médium:
NOT
Neznámo
Signatura:
NOT
T - Technologie
NOT
E - Dějiny Spojených států
NOT
U - Vojenská věda
Doporučená témata:
NOT
fyzika
NOT
podnikové informační systémy
AND
softwarové inženýrství
PSH:
počítačová bezpečnost
AND
programovací jazyky
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í:
informatika
15
počítačová bezpečnost
15
programovací jazyky
15
softwarové inženýrství
programování
12
počítače
11
formální jazyky
6
více ...
matematická logika
6
operační systémy
5
SQL
2
algoritmizace
1
aplikační programy
1
distribuované informační systémy
1
mikroprogramování
1
robotika
1
umělá inteligence
1
méně ...
Zobrazuji výsledky
1 - 15
z
15
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
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:
Dependable and historic computing : essays dedicated to Brian Randell on the occasion of his 75th birthday
Vydáno:
2011
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:
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:
Computer Safety, Reliability, and Security : 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming Languages and Systems : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings
Vydáno:
2009
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:
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:
Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
Vydáno:
2008
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:
Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
15
NTK
Médium
15
E-kniha
Autor
15
SpringerLink (online služba)
1
Barthe, Gilles
1
Bensalem, Saddek
1
Bruni, Roberto
1
Feng, Xinyu
1
Fournet, Cédric
více ...
1
Goodloe, Alwyn E.
1
Hu, Zhenjiang
1
Igarashi, Atsushi
1
Jhala, Ranjit
1
Jones, C. B. (Cliff B.), 1944-
1
Kaklamanis, Christos
1
Koornneef, Floor
1
Lloyd, John L.
1
Montanari, Ugo
1
Nielson, Flemming, 1955-
1
Park, Sungwoo
1
Peled, Doron A., 1962-
1
Person, Suzette
1
Qin, Shengchao
1
Sannella, Donald
1
Sestoft, Peter
1
Shao, Zhong, 1968-
1
Ueda, Kazunori
1
Yang, Hongseok
1
van Gulijk, Coen
Zobrazit vše ...
méně ...
Jazyk
15
angličtina
Žánr
15
elektronicke knihy
10
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
15
informatika
počítačová bezpečnost
programovací jazyky
15
softwarové inženýrství
12
programování
11
počítače
více ...
6
formální jazyky
6
matematická logika
5
operační systémy
2
SQL
1
algoritmizace
1
aplikační programy
1
mikroprogramování
1
robotika
1
umělá inteligence
Zobrazit vše ...
méně ...
×
Načítá se...