Zobrazuji výsledky
1 - 20
z
86
pro vyhledávání '
"software"
'
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:
NOT
softwarové inženýrství
Žánr:
sborníky konferencí
Signatura:
Q - Věda
Zrušit filtry
Zobrazit filtry (3)
Doporučená témata:
NOT
softwarové inženýrství
Žánr:
sborníky konferencí
Signatura:
Q - Věda
Hlavní strana
Vyhledávání: "software"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
software
62
programování
18
počítačová věda
12
komunikační software
10
programovací jazyky
10
zpracování dat
10
verifikace programu
9
více ...
matematická logika
8
výpočetní technika
8
testování
7
informační systémy
6
simulace a modelování
6
vyhledávání informací
6
algoritmizace
5
aplikační programy
5
hardware
5
počítačové sítě
5
rozhraní
5
teorie programů
5
umělá inteligence
5
kryptografie
4
počítače
4
počítačová bezpečnost
4
superpočítače
4
algoritmy
3
internet
3
kódování dat
3
mobilní komunikace
3
multimédia
3
numerická analýza
3
méně ...
Zobrazuji výsledky
1 - 20
z
86
pro vyhledávání '
"software"
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Software
architecture : First European workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Software
composition : 4th international workshop, SC 2005, Edinburgh, UK, April 9, 2005 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Software
security : theories and systems : second Mext-NSF-JSPS international symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Software
composition : 5th international symposium, SC 2006, Vienna, Austria, March 25-26, 2006 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Reliable
software
technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Fast
software
encryption : 11th international workshop, FSE 2004 Delhi, India, February 5-7, 2004 : revised papers
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Reliable
software
technology : ADA-Europe 2005 : 10th ADA-Europe International Conference...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Fast
software
encryption : 12th international workshop, FSE 2005, Paris, France, February 21-23, 2005 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Fast
software
encryption : 14th international workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Reliable
software
technologies : Ada-Europe 2007 : 12th Ada-Europe International Conference...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Fast
software
encryption : 13th international workshop, FSE 2006, Graz, Austria, March 15-17, 2006 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Fast
software
encryption : Proceedings
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Numerical
software
with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Algebraic methodology and
software
technology : 10th international conference , AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Theoretical Aspects of Computer
Software
: International symposium TACS 1994, Sendai, Japan, April 19-22, 1994
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Hardware and
software
verification and testing : first International Haifa Verification Conference...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal approaches to
software
testing : third International Workshop on Formal Approaches...
Vydáno:
2004
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Hardware and
software
, verification and testing : Second International Haifa Verification...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Algebraic methodology and
software
technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Numerical
software
- needs and availability : proceedings of the Conference on Applications...
Vydáno:
1978
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
1
2
3
4
5
Další »
[5]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
86
NTK
Médium
84
Kniha
2
Rukopis
Signatura
Q - Věda
Autor
3
Bernardo, Marco, 1970-
3
Sloot, Peter M. A., 1956-
3
Sunderam, Vaidy S.
2
Assmann, Uwe, 1963-
2
Bin, Eyal
2
Brewster, Stephen, 1967-
více ...
2
Gervasi, Osvaldo, 1957-
2
Reed, Rick, 1948-
2
Ur, Shmuel
2
Vysoká škola báňská - Technická univerzita Ostrava. Ekonomická fakulta. Katedra informatiky v ekonomice
1
Abdennadher, Nabil
1
Akşit, Mehmet, 1953-
1
Alonso, Gustavo, 1965-
1
Alt, René
1
Altenkirch, Thorsten, 1962-
1
Anderson, Ross, 1956-2024
1
Arbab, F. (Farhad)
1
Ardissono, Liliana
1
Armando, Alessandro
1
Association for Computing Machinery
1
Barendregt, Henk (Hendrik Pieter), 1947-
1
Berardi, Stefano
1
Bertran, Miquel
1
Biryukov, Alex
1
Bogliolo, Alessandro, 1968-
1
Bomarius, Frank, 1960-
1
Brna, Paul
1
Broy, Manfred, 1949-
1
Büschkes, Roland, 1969-
1
Calude, Cristian, 1952-
Zobrazit vše ...
méně ...
Jazyk
84
angličtina
3
čeština
2
slovenština
1
němčina
Žánr
sborníky konferencí
Rok vydání
Od:
do:
PSH
62
software
18
programování
10
komunikační software
10
programovací jazyky
10
zpracování dat
9
verifikace programu
více ...
8
matematická logika
8
výpočetní technika
7
testování
6
informační systémy
6
simulace a modelování
6
vyhledávání informací
5
algoritmizace
5
aplikační programy
5
hardware
5
počítačové sítě
5
rozhraní
5
teorie programů
5
umělá inteligence
4
kryptografie
4
počítače
4
počítačová bezpečnost
4
superpočítače
3
internet
3
kódování dat
3
mobilní komunikace
3
multimédia
3
numerická analýza
3
ochrana dat
3
spolehlivost
Zobrazit vše ...
méně ...
×
Načítá se...