Zobrazuji výsledky
81 - 100
z
114
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
encyklopedie
AND
sborníky konferencí
Autor:
NOT
SpringerLink (online služba)
Doporučená témata:
software
Signatura:
NOT
K - Právo
Zrušit filtry
Zobrazit filtry (5)
Žánr:
NOT
encyklopedie
AND
sborníky konferencí
Autor:
NOT
SpringerLink (online služba)
Doporučená témata:
software
Signatura:
NOT
K - Právo
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í:
software
softwarové inženýrství
34
informační systémy
21
simulace a modelování
17
programování
15
počítačové sítě
13
počítačová věda
12
více ...
verifikace programu
11
databázové systémy
9
ochrana dat
8
testování
8
výpočetní technika
8
hardware
7
matematická logika
7
programovací jazyky
7
projekty
7
tým
7
zpracování dat
7
internet
6
umělá inteligence
6
algoritmizace
5
aplikační programy
5
architektura výpočetních systémů
5
skupinový software
5
spolehlivost
5
teorie programů
5
algebra
4
distribuované zpracování
4
superpočítače
4
sítě peer-to-peer
4
méně ...
Zobrazuji výsledky
81 - 100
z
114
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
Management of multimedia on the Internet : 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001, Chicago, IL, USA, October 29 - Novem...
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computer aided systems theory : EUROCAST 2007 : 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007 : revised se...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Software technologies for embedded and ubiquitous systems : 5th IFIP WG 10.2 international workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007 : revised papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Requirements engineering : foundation for software quality : 13th international working conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings
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 on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Coordination models and languages : 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Coordination models and languages : 9th international conference, Coordination 2007, Paphos, Cyprus, June 6-8, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Coordination models and languages : 8th international conference, COORDINATION 2006, Bologna, Italy, June 14-16, 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 of Numerical Software, Needs and Availability, held at the University of Sussex, Septemb...
Vydáno:
1978
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Performance evaluation of numerical software : proceedings of the IFIP TC 2.5 working conference on performance evaluation of numerical software
Vydáno:
1979
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Types for proofs and programs : International workshop TYPES '93 Nijmegen, the Netherlands, May 24-28, 1993. Selected papers
Vydáno:
1994
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 : revised sele...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 20...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
RIMS (Research Institute for Mathematical Sciences) symposia on software science and engineering.
Vydáno:
1986
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Advances in computer science : ASIAN 2007 : computer and network security : 12th Asian computing science conference, Doha, Qatar, December 9-11, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portuga, June 5-9, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
[1]
« Předchozí
1
2
3
4
5
6
Další »
[6]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
112
NTK
2
VŠCHT
Médium
112
Kniha
2
Rukopis
Signatura
92
Q - Věda
15
T - Technologie
4
H - Sociální vědy
1
P - Jazyk a literatura
Autor
3
Shen, Weiming, 1963-
3
Sloot, Peter M. A., 1956-
3
Sunderam, Vaidy S.
2
Assmann, Uwe, 1963-
2
Bin, Eyal
2
Broy, Manfred, 1949-
více ...
2
Gervasi, Osvaldo, 1957-
2
Moreno-Díaz, Roberto, 1939-
2
Petrenko, Alexandre
2
Pichler, Franz, 1936-
2
Port, Dan
2
Quesada-Arencibia, Alexis
2
Solvberg, A.
2
Ur, Shmuel
2
VDI-Kompetenzfeld Informationstechnik
2
Vysoká škola báňská - Technická univerzita Ostrava. Ekonomická fakulta. Katedra informatiky v ekonomice
2
Wang, Qing, 1964-
1
Abdennadher, Nabil
1
Abrahamsson, Pekka
1
Aceto, Luca, 1961-
1
Akşit, Mehmet, 1953-
1
Al-Shaer, Ehab S.
1
Alonso, Gustavo, 1965-
1
Altenkirch, Thorsten, 1962-
1
Andersen, R.
1
Anderson, Ross, 1956-
1
Anna Ingólfsdóttir, 1952-
1
Araki, Keijiro, 1954-
1
Arbab, F. (Farhad)
1
Armando, Alessandro
Zobrazit vše ...
méně ...
Jazyk
110
angličtina
5
čeština
4
němčina
2
slovenština
1
slovanské jazyky, ostatní
Žánr
sborníky konferencí
Rok vydání
Od:
do:
PSH
114
software
34
softwarové inženýrství
21
informační systémy
17
simulace a modelování
15
programování
13
počítačové sítě
více ...
11
verifikace programu
9
databázové systémy
8
ochrana dat
8
testování
8
výpočetní technika
7
hardware
7
matematická logika
7
programovací jazyky
7
projekty
7
tým
7
zpracování dat
6
internet
6
umělá inteligence
5
algoritmizace
5
aplikační programy
5
architektura výpočetních systémů
5
skupinový software
5
spolehlivost
5
teorie programů
4
algebra
4
distribuované zpracování
4
superpočítače
4
sítě peer-to-peer
4
testy
Zobrazit vše ...
méně ...
×
Načítá se...