Zobrazuji výsledky
1 - 20
z
91
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
Signatura:
NOT
A - Obecná díla
AND
Q - Věda
Žánr:
NOT
firemní katalogy
NOT
encyklopedie
AND
sborníky konferencí
Oblast:
NOT
Afrika východní
Doporučená témata:
NOT
analytická chemie
NOT
ochrana dat
NOT
algoritmizace
PSH:
simulace a modelování
Zrušit filtry
Zobrazit filtry (10)
Signatura:
NOT
A - Obecná díla
AND
Q - Věda
Žánr:
NOT
firemní katalogy
NOT
encyklopedie
AND
sborníky konferencí
Oblast:
NOT
Afrika východní
Doporučená témata:
NOT
analytická chemie
NOT
ochrana dat
NOT
algoritmizace
PSH:
simulace a modelování
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í:
simulace a modelování
91
umělá inteligence
19
počítačová věda
18
softwarové inženýrství
17
výpočetní technika
16
počítačové sítě
14
programování
14
více ...
algoritmy
10
agenti
9
databázové systémy
9
vědeckotechnické výpočty
9
vyhledávání informací
8
architektura výpočetních systémů
7
bioinformatika
7
distribuované zpracování
7
hybridní počítače
7
programovací jazyky
7
počítače
6
robotika
6
software
6
znalostní systémy
6
zpracování dat
6
matematická logika
5
numerická analýza
5
počítačová algebra
5
počítačová grafika
5
aplikační programy
4
aplikovaná matematika
4
automatizované systémy řízení
4
biologie
4
méně ...
Zobrazuji výsledky
1 - 20
z
91
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
Advanced information systems engineering : 16th international conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods,...
Vydáno:
2005
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:
High performance computing : 4th international symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Simulation of control systems with special emphasis on modelling and redundancy
Vydáno:
1978
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Coordination models and languages : 5th international conference, Coordination 2002, York, UK, April 8-11, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Software process change : International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-2...
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Applied modelling and simulation of technological systems
Vydáno:
1987
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computational methods for solids and fluids : multiscale analysis, probability aspects and model reduction
Vydáno:
2016
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Advances in computer systems architecture : 11th Asia-Pacific conference, ACSAC 2006, Shanghai, China, September 6-8, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computeralgebra-Simulation (CALS) für Ingenieure
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Cellular automata : 5th Iinternational Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Cellular automata : 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-27, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Cellular automata : 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Computational methods in systems biology : international conference, CMSB 2006, Trento, Italy, October 18-19, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Multi-agent-based simulation VI : international workshop, MABS 2005, Utrecht, The Netherlands, July 25, 2005 : revised and invited papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Modeling and retrieval of context : second international workshop, MRC 2005, Edinburgh, UK, July 31 - August 1, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
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
91
NTK
Médium
90
Kniha
1
Rukopis
Signatura
Q - Věda
Autor
4
Alexandrov, Vassil, 1962-
4
Shi, Yong, 1956-
3
Chopard, Bastien, 1959-
3
Ganža, Viktor Grigor'jevič, 1956-
3
Hämäläinen, Timo D.
3
Mayr, Ernst W., 1950-
více ...
3
Sloot, Peter M. A., 1956-
3
Vassiliadis, Stamatis, 1951-
3
Vorožcov, Jevgenij Vasil'jevič, 1946-
2
Antunes, Luis
2
Bandini, Stefania, 1956-
2
Bubak, Marian
2
Lirkov, Ivan, 1963-
2
Margenov, Svetozar, 1953-
2
Matas, Richard
2
Wang, Qing, 1964-
2
Waśniewski, Jerzy, 1931-
2
Západočeská univerzita
2
Škoda Výzkum (firma)
1
Akehurst, David H.
1
Alur, Rajeev, 1966-
1
Arató, Mátyás, 1931-
1
Arbab, F. (Farhad)
1
Ardissono, Liliana
1
Asarin, Jevgenij Aleksandrovič, 1962-
1
Baik, Doo-Kwon
1
Beilner, Heinz
1
Bemporad, Alberto, 1970-
1
Bereković, Mladen
1
Bicchi, Antonio, 1959-
Zobrazit vše ...
méně ...
Jazyk
86
angličtina
4
němčina
2
čeština
Žánr
sborníky konferencí
Rok vydání
Od:
do:
PSH
simulace a modelování
19
umělá inteligence
17
softwarové inženýrství
16
výpočetní technika
14
počítačové sítě
14
programování
více ...
9
agenti
9
databázové systémy
9
vědeckotechnické výpočty
8
vyhledávání informací
7
architektura výpočetních systémů
7
bioinformatika
7
distribuované zpracování
7
hybridní počítače
7
programovací jazyky
6
počítače
6
robotika
6
software
6
znalostní systémy
6
zpracování dat
5
matematická logika
5
numerická analýza
5
počítačová grafika
4
aplikační programy
4
aplikovaná matematika
4
automatizované systémy řízení
4
biologie
4
informatika
4
informační systémy
4
matematické modely
Zobrazit vše ...
méně ...
×
Načítá se...