Zobrazuji výsledky
1 - 17
z
17
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
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
AND
aplikovaná matematika
Doporučená témata:
softwarové inženýrství
Médium:
Kniha
Zrušit filtry
Zobrazit filtry (7)
Autor:
NOT
Hlavsa, Václav, 1905-1986
Žánr:
NOT
monografie
Jazyk:
NOT
finština
PSH:
NOT
počítačová grafika
AND
aplikovaná matematika
Doporučená témata:
softwarové inženýrství
Médium:
Kniha
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
17
softwarové inženýrství
DNA
5
znalostní systémy
5
algoritmizace
4
biologie
4
databázové systémy
4
více ...
sémantický web
3
informatika
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
vyhledávání informací
1
výpočty
1
znalostní management
1
zpracování dat
1
méně ...
Zobrazuji výsledky
1 - 17
z
17
pro vyhledávání '
'
, doba hledání: 0,09 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:
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:
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
17
NTK
Médium
Kniha
Signatura
17
Q - Věda
Autor
2
Asperti, Andrea, 1961-
1
Agrawal, Manindra, 1966-
1
Araki, Keijiro, 1954-
1
Bancerek, Grzegorz, 1966-
1
Baumeister, Hubert
1
Borwein, Jonathan M., 1951-2016
více ...
1
Buchberger, Bruno, 1942-
1
Carbone, Alessandra
1
Chen, Junghuei, 1960-
1
Davenport, J. H. (James Harold), 1953-
1
Dimov, Ivan, 1963-
1
Eckstein, Jutta
1
Farmer, William M.
1
Ferretti, Claudio, 1965-
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-
1
Nilsson, Gerda
1
Ohuchi, Azuma
1
Owe, Olaf
1
Pierce, Niles A., 1971-
1
Reif, John H.
Zobrazit vše ...
méně ...
Jazyk
17
angličtina
Žánr
10
sborníky konferencí
2
sborníky
Rok vydání
Od:
do:
PSH
aplikovaná matematika
17
softwarové inženýrství
5
DNA
5
znalostní systémy
4
algoritmizace
4
biologie
více ...
4
databázové systémy
3
sémantický web
2
informatika
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
vyhledávání informací
1
výpočty
1
znalostní management
1
zpracování dat
Zobrazit vše ...
méně ...
×
Načítá se...