Zobrazuji výsledky
1 - 19
z
19
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
biografie
PSH:
NOT
architektura
AND
počítače
AND
počítačová simulace
Doporučená témata:
NOT
počítačová grafika
AND
matematická logika
Autor:
NOT
Mezinárodní agentura pro atomovou energii
Zrušit filtry
Zobrazit filtry (7)
Žánr:
NOT
biografie
PSH:
NOT
architektura
AND
počítače
AND
počítačová simulace
Doporučená témata:
NOT
počítačová grafika
AND
matematická logika
Autor:
NOT
Mezinárodní agentura pro atomovou energii
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í:
informatika
19
matematická logika
počítače
19
počítačová simulace
19
umělá inteligence
9
bioinformatika
8
formální jazyky
6
více ...
robotika
5
softwarové inženýrství
5
vyhledávání v datech
5
programovací jazyky
4
programování
4
algoritmizace
3
operační analýza
3
rozhodování
3
systémy řízení báze dat
3
informační systémy
2
internet
2
ontologie (informatika)
2
operační systémy
2
XML
1
podnikové informační systémy
1
sémantický web
1
testování
1
vestavěné systémy
1
méně ...
Zobrazuji výsledky
1 - 19
z
19
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
NASA formal methods : 7th international symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unconventional computation and natural computation : 12th international conference, UCNC 2013, Milan, Italy, July 1-5, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Membrane computing : 6th international workshop, WMC 2005, Vienna, Austria, July 18-21, 2005 : revised selected and invited papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The evolution of conceptual modeling : from a historical perspective towards the future of conceptual modeling
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Membrane Computing : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modeling Decisions for Artificial Intelligence : 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modeling Decisions for Artificial Intelligence : Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Model checking software : 17th International SPIN workshop, Enschede, The Netherlands, September 27-29, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Conceptual modeling - ER 2007 : 26th International conference on conceptual modeling, Auckland, New Zealand, November 5-9, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Membrane Computing : 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Membrane Computing : 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Membrane Computing : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Agents for Games and Simulations : Trends in Techniques, Concepts and Design
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Modeling decisions for artificial intelligence : second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Membrane computing : 5th international workshop, WMC 2004, Milan, Italy, June 14-16, 2004 : revised selected and invited papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Membrane Computing : 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
19
NTK
Médium
19
E-kniha
Autor
19
SpringerLink (online služba)
6
Păun, Gheorghe
6
Rozenberg, Grzegorz
6
Salomaa, Arto
3
Torra, Vicenç
2
Gheorghe, Marian
více ...
2
Mauri, Giancarlo, 1949-
2
Narukawa, Yasuo
2
Paun, Gheorghe, 1950-
2
Rozenberg, Grzegorz, 1942-
2
Salomaa, Arto, 1934-
1
Berardi, Stefano
1
Bradshaw, Jeff
1
Corne, David
1
Czarnecki, Krzysztof, 1970-
1
Damiani, Ferruccio
1
Delcambre, Lois, 1950-
1
Dennunzio, Alberto
1
Dignum, Frank
1
Doesburg, Willem van
1
Domingo-Ferrer, Josep
1
Eleftherakis, George
1
Freund, Rudolf
1
Frisco, Pierluigi
1
Havelund, Klaus, 1955-
1
Hedin, Görel
1
Hinze, Thomas
1
Holzmann, Gerald J., 1951-
1
Hoogeboom, Hendrik Jan
1
Joshi, Rajeev
Zobrazit vše ...
méně ...
Jazyk
19
angličtina
Žánr
19
elektronicke knihy
9
sborníky konferencí
Rok vydání
Od:
do:
PSH
19
informatika
19
matematická logika
počítače
počítačová simulace
9
umělá inteligence
8
bioinformatika
více ...
6
formální jazyky
5
robotika
5
softwarové inženýrství
5
vyhledávání v datech
4
programovací jazyky
4
programování
3
algoritmizace
3
operační analýza
3
rozhodování
3
systémy řízení báze dat
2
informační systémy
2
internet
2
operační systémy
1
XML
1
podnikové informační systémy
1
sémantický web
1
testování
1
vestavěné systémy
Zobrazit vše ...
méně ...
×
Načítá se...