Zobrazuji výsledky
1 - 20
z
29
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
Jazyk:
NOT
slovenština
Žánr:
NOT
monografie
NOT
CD-ROM
Doporučená témata:
NOT
nanotechnologie
AND
programovací jazyky
PSH:
NOT
životní prostředí
AND
počítačová bezpečnost
Zrušit filtry
Zobrazit filtry (7)
Jazyk:
NOT
slovenština
Žánr:
NOT
monografie
NOT
CD-ROM
Doporučená témata:
NOT
nanotechnologie
AND
programovací jazyky
PSH:
NOT
životní prostředí
AND
počítačová bezpečnost
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
29
programovací jazyky
informatika
18
programování
17
softwarové inženýrství
16
počítače
13
operační systémy
7
více ...
formální jazyky
6
matematická logika
6
SQL
2
algoritmizace
2
distribuované informační systémy
2
hardware
2
internet
2
objektově orientované programování
2
podnikové informační systémy
2
agenti
1
aplikační programy
1
architektura výpočetních systémů
1
elektronické obchodování
1
kombinatorické logiky
1
kryptografie
1
mikroprogramování
1
multiagentní systémy
1
ochrana dat
1
penetrační testy (počítačová bezpečnost)
1
počítačová věda
1
programovací jazyk Java
1
robotika
1
rozhraní
1
méně ...
Zobrazuji výsledky
1 - 20
z
29
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
Myslíme v jazyku C# : knihovna programátora
Autor
Archer, Tom
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Beginning Oracle programming
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Smart card programming and security : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001 : proceedings
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Black hat Go : Go programming for hackers and pentesters
Autor
Steele, Tom
Vydáno:
2020
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
C source code obfuscator
Autor
Ďurfina, Lukáš
Umístění:
Načítá se...
Článek
Načítá se...
Uloženo v:
Practical Oracle8i : building efficient databases
Autor
Lewis, Jonathan, 1957-
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Global computing : programming environments, languages, security, and analysis of systems : IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised...
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
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:
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:
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:
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:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
29
NTK
Médium
18
E-kniha
10
Kniha
1
Článek
Signatura
8
Q - Věda
2
T - Technologie
Autor
18
SpringerLink (online služba)
1
Aldini, Alessandro
1
Archer, Tom
1
Attali, Isabelle
1
Balzarotti, Davide
1
Barthe, Gilles
více ...
1
Bensalem, Saddek
1
Bravetti, Mario, 1971-
1
Bruni, Roberto
1
Cortesi, Agostino, 1963-
1
Cova, Marco
1
Dillon, Sean
1
Feng, Xinyu
1
Fournet, Cédric
1
Goodloe, Alwyn E.
1
Gorrieri, Roberto, 1962-
1
Hu, Zhenjiang
1
Igarashi, Atsushi
1
Jensen, Thomas, 1965-
1
Jhala, Ranjit
1
Jones, C. B. (Cliff B.), 1944-
1
Kaklamanis, Christos
1
Kolář, Dušan
1
Koornneef, Floor
1
Kottmann, Dan
1
Lewis, Jonathan, 1957-
1
Lloyd, John L.
1
Merayo, Mercedes G.
1
Montanari, Ugo
1
Montes de Oca, Edgardo
Zobrazit vše ...
méně ...
Jazyk
28
angličtina
1
čeština
Žánr
18
elektronicke knihy
14
sborníky konferencí
2
příručky
1
eseje
1
články
Rok vydání
Od:
do:
PSH
počítačová bezpečnost
29
programovací jazyky
18
informatika
17
programování
16
softwarové inženýrství
13
počítače
více ...
7
operační systémy
6
formální jazyky
6
matematická logika
2
SQL
2
algoritmizace
2
hardware
2
internet
2
objektově orientované programování
2
podnikové informační systémy
1
agenti
1
aplikační programy
1
architektura výpočetních systémů
1
elektronické obchodování
1
kombinatorické logiky
1
kryptografie
1
mikroprogramování
1
ochrana dat
1
programovací jazyk Java
1
robotika
1
rozhraní
1
software
1
teorie dat
1
umělá inteligence
1
verifikace programu
Zobrazit vše ...
méně ...
×
Načítá se...