Zobrazuji výsledky
1 - 20
z
20
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
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
monografie
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
Doporučená témata:
softwarové inženýrství
AND
aplikovaná matematika
Sbírka:
NTK
Zrušit filtry
Zobrazit filtry (8)
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
NOT
monografie
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
Doporučená témata:
softwarové inženýrství
AND
aplikovaná matematika
Sbírka:
NTK
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í:
aplikovaná matematika
softwarové inženýrství
DNA
5
algoritmizace
5
znalostní systémy
5
biologie
4
databázové systémy
4
více ...
informatika
4
sémantický web
3
výpočty
2
algebra
1
algoritmy
1
aplikovaná biologie
1
automaty
1
extrémní programování
1
internet
1
matematická analýza
1
matematická logika
1
matematický software
1
metoda Monte Carlo
1
numerická analýza
1
objektově orientované programování
1
počítače
1
počítačová věda
1
programování
1
simulace a modelování
1
software
1
umělá inteligence
1
vyhledávání informací
1
znalostní management
1
méně ...
Zobrazuji výsledky
1 - 20
z
20
pro vyhledávání '
'
, doba hledání: 0,08 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Extreme programming and agile processes in software engineering : 5th international conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
DNA computing : 10th International Workshop on DNA Computing, DNA 10, Milan, Italy, June 7-10, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
DNA computing : 11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Unconventional models of computation : third international conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Rukopis
Načítá se...
Uloženo v:
Foundations of software technology and theoretical computer science : FST TCS 2002 : 22nd conference Kanpur, India, December 12-14, 2002 : proceedings
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mathematical knowledge management : second international conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Numerical methods and applications : 5th international conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002 : revised papers
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
DNA computing : 8th International Workshop on DNA-Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002 : revised papers
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
DNA computing : 12th International Meeting on DNA Computing, DNA 12, Seoul, Korea, June 5-9, 2006 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Mathematical knowledge management : 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
DNA computing : 9th International Workshop on DNA-Based Computers, DNA9, Medison, WI, USA, June 1-3, 2003 : revised papers
Vydáno:
2004
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Economics of grids, clouds, systems, and services : 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on Computational Science XV : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Fundamentals of computation theory : 14th international symposium, FCT 2003, Riga, Malmö, Sweden, August 12-15, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
NTK
Médium
17
Kniha
2
E-kniha
1
Rukopis
Signatura
18
Q - Věda
Autor
2
Asperti, Andrea, 1961-
2
SpringerLink (online služba)
1
Agrawal, Manindra, 1966-
1
Altmann, Jörn
1
Araki, Keijiro, 1954-
1
Bancerek, Grzegorz, 1966-
více ...
1
Baumeister, Hubert
1
Borwein, Jonathan M., 1951-2016
1
Buchberger, Bruno, 1942-
1
Calude, Cristian, 1952-
1
Carbone, Alessandra
1
Chen, Junghuei, 1960-
1
Davenport, J. H. (James Harold), 1953-
1
Dimov, Ivan, 1963-
1
Dinneen, M. J. (Michael J.), 1967-
1
Eckstein, Jutta
1
Farmer, William M.
1
Ferretti, Claudio, 1965-
1
Gavrilova, Marina L
1
Gnesi, Stefania, 1954-
1
Hagiya, Masami, 1957-
1
Kauers, Manuel
1
Kohlhase, Michael, 1964-
1
Kreowski, Hans-Jörg, 1949-
1
Krogdahl, Stein
1
Lingas, A. (Andrzej)
1
Lyche, Tom, 1943-
1
Mandrioli, Dino, 1949-
1
Mao, Chengde
1
Mauri, Giancarlo, 1949-
Zobrazit vše ...
méně ...
Jazyk
20
angličtina
Žánr
11
sborníky konferencí
2
elektronicke knihy
2
sborníky
Rok vydání
Od:
do:
PSH
20
aplikovaná matematika
20
softwarové inženýrství
5
DNA
5
algoritmizace
5
znalostní systémy
4
biologie
více ...
4
databázové systémy
4
informatika
3
sémantický web
2
výpočty
1
algebra
1
aplikovaná biologie
1
automaty
1
extrémní programování
1
internet
1
matematická analýza
1
matematická logika
1
metoda Monte Carlo
1
numerická analýza
1
objektově orientované programování
1
počítače
1
programování
1
simulace a modelování
1
software
1
umělá inteligence
1
vyhledávání informací
1
znalostní management
1
zpracování dat
Zobrazit vše ...
méně ...
×
Načítá se...