Zobrazuji výsledky
1 - 20
z
88
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)
NOT
Píša, Mirek
Doporučená témata:
Filtry: 4
software
NOT
průmyslová automatizace
NOT
počítačová grafika
NOT
informační systémy
Médium:
NOT
Rukopis
PSH:
NOT
počítače
Zrušit filtry
Zobrazit filtry (10)
Žánr:
NOT
encyklopedie
AND
sborníky konferencí
Autor:
NOT
SpringerLink (online služba)
NOT
Píša, Mirek
Doporučená témata:
Filtry: 4
software
NOT
průmyslová automatizace
NOT
počítačová grafika
NOT
informační systémy
Médium:
NOT
Rukopis
PSH:
NOT
počítače
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í
25
programování
14
verifikace programu
11
hardware
8
simulace a modelování
8
testování
8
více ...
zpracování dat
8
matematická logika
7
programovací jazyky
7
umělá inteligence
6
algoritmizace
5
architektura výpočetních systémů
5
spolehlivost
5
algebra
4
počítačová věda
4
počítačové sítě
4
testy
4
kvalita programu
3
numerická analýza
3
systémy
3
sítě peer-to-peer
3
teorie algoritmů
3
vyhledávání informací
3
vývoj
3
automatizované řešení problémů
2
automobilová elektronika
2
distribuované zpracování
2
komunikační software
2
metody
2
méně ...
Zobrazuji výsledky
1 - 20
z
88
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
MATLAB 2004 : Kongresové centrum ČVUT, Praha 4. 11. 2004
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Product focused software process improvement : 5th international conference, PROFES 2004 Kansai Science City, Japan, April 5-8, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 7th international conferences, FOSSACS 2004 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Tools and algorithms for the construction and analysis of systems : 10th international conference TACAS 2004 held as part of the Joint European Conferences on Theory and Practice o...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Model checking software : 11th International SPIN Workshop Barcelona, Spain, April 1-3, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Coordination models and languages : 6th international conference, Coordination 2004, Pisa Italy, February 24-27, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
COTS-based software systems : third international conference, ICCBSS 2004, Redondo Beach, CA, USA February 1-4, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Advances in learning software organizations : 6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Content computing : Advanced Workshop on Content Computing, AWCC 2004, Zhenjiang, Jiangsu, China, November 15-17, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Middleware 2004 : ACM/IFIP/USENIX Internationale Middleware Conference, Toronto, Canada, October 18-22, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Reliable software technologies : Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies Palma de Mallorca, Spain, June 14-18, 2004 : proceeding...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
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:
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2004 : selected papers
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Software and compilers for embedded systems : 8th international workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Tvorba softwaru 2004 : celostátní konference s mezinárodní účastí : 30. jubilejní ročník : [sborník přednášek, Ostrava 26.-28.5.2004]
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
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:
Integriertes Fertigungsmanagement mit Manufacturing Execution System (MES) : Mehrwert oder nur ein neues Schlagwort? : Tagung Leonberg, 29. und 30. Juni 2004
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
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:
Model-based testing of reactive systems : advanced lectures
Vydáno:
2005
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
2
VŠCHT
Médium
88
Kniha
Signatura
74
Q - Věda
12
T - Technologie
Autor
2
Assmann, Uwe, 1963-
2
Bin, Eyal
2
Broy, Manfred, 1949-
2
Moreno-Díaz, Roberto, 1939-
2
Petrenko, Alexandre
2
Pichler, Franz, 1936-
více ...
2
Port, Dan
2
Quesada-Arencibia, Alexis
2
Ur, Shmuel
2
VDI-Kompetenzfeld Informationstechnik
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
Altenkirch, Thorsten, 1962-
1
Anderson, Ross, 1956-2024
1
Anna Ingólfsdóttir, 1952-
1
Araki, Keijiro, 1954-
1
Arbab, F. (Farhad)
1
Armando, Alessandro
1
Banach, Richard
1
Barendregt, Henk (Hendrik Pieter), 1947-
1
Barnett, Mike, 1957-
1
Berardi, Stefano
1
Boehm, Barry
1
Bomarius, Frank, 1960-
1
Bošnački, Dragan, 1963-
1
Butler, Michael, 1967-
Zobrazit vše ...
méně ...
Jazyk
85
angličtina
4
čeština
3
němčina
1
slovanské jazyky, ostatní
1
slovenština
Žánr
sborníky konferencí
Rok vydání
Od:
do:
PSH
88
software
25
softwarové inženýrství
14
programování
11
verifikace programu
8
hardware
8
simulace a modelování
více ...
8
testování
8
zpracování dat
7
matematická logika
7
programovací jazyky
6
umělá inteligence
5
algoritmizace
5
architektura výpočetních systémů
5
spolehlivost
4
algebra
4
počítačové sítě
4
testy
3
kvalita programu
3
numerická analýza
3
systémy
3
sítě peer-to-peer
3
teorie algoritmů
3
vyhledávání informací
3
vývoj
2
automatizované řešení problémů
2
automobilová elektronika
2
distribuované zpracování
2
komunikační software
2
metody
2
multimédia
Zobrazit vše ...
méně ...
×
Načítá se...