Zobrazuji výsledky
1 - 20
z
38
pro vyhledávání '
"numerická analýza"
'
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
PSH:
matematická logika
Zrušit filtry
Zobrazit filtry (1)
PSH:
matematická logika
Hlavní strana
Vyhledávání: "numerická analýza"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
matematická logika
38
numerická analýza
38
informatika
32
algoritmizace
19
umělá inteligence
19
formální jazyky
8
operační systémy
6
více ...
počítače
5
robotika
5
rozpoznávání obrazců
5
programovací jazyky
4
vyhledávání v datech
4
software
3
softwarové inženýrství
3
diskrétní matematika
2
matematika
2
zpracování obrazů
2
algebra
1
analytická geometrie
1
aplikovaná matematika
1
diferenciální počet
1
matematická analýza
1
matematické programování
1
množiny
1
nomografie
1
počítačová grafika
1
počítačová simulace
1
programování
1
strojové učení
1
systémy řízení báze dat
1
méně ...
Alternativní vyhledávání
:
numericka »
numerical
Zobrazuji výsledky
1 - 20
z
38
pro vyhledávání '
"numerická analýza"
'
, doba hledání: 0,09 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Types for proofs and programs : international workshop TYPES '94, Bastad, Sweden, June 6-10, 1994 : selected papers
Vydáno:
1995
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Types for proofs and programs : International workshop, TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers
Vydáno:
1996
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Types for proofs and programs : international Workshop TYPES '96, Aussois, France, December 15-19, 1996. Selected papers
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Types for proofs and programs : International workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998. Selected papers
Vydáno:
1999
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematical Foundations of Computer Science 2013 : 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematical Foundations of Computer Science 2012 : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Mathematical foundations of computer science 2015 : 40th international symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer Science - Theory and Applications : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Principles and Practice of Constraint Programming : 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Transactions on Rough Sets XVII
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rough Sets and Current Trends in Computing : 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012.Proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, R...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25,...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Rough Sets and Current Trends in Computing : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
38
NTK
Médium
31
E-kniha
7
Kniha
Signatura
7
Q - Věda
Autor
31
SpringerLink (online služba)
5
Peters, James F., 1936-
4
Skowron, Andrzej
3
Nguyen, Hung Son
2
Csuhaj-Varjú, Erzsébet
2
Dietzfelbinger, Martin
více ...
2
Fages, François
2
Li, Tianrui
2
Rossi, Francesca
2
Yang, Yan
2
Yao, JingTao
2
Ésik, Zoltán
2
Ślȩzak, Dominik
1
Altenkirch, Thorsten
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
1
Bacchus, Fahiem
1
Barahona, Pedro, 1954-
1
Bazan, Jan G
1
Beckmann, Arnold
1
Beklemishev, Lev D.
1
Bello, Rafael
1
Berardi, Stefano
1
Biere, Armin, 1967-
1
Calmet, Jacques
1
Chatterjee, Krishnendu
1
Coppo, Mario, 1947-
1
Cornelis, Chris
1
Demri, Stéphane
1
Dybjer, Peter
1
Díaz, Josep, 1950-
Zobrazit vše ...
méně ...
Jazyk
37
angličtina
1
čeština
Žánr
31
elektronicke knihy
10
sborníky konferencí
4
sborníky
1
příručky
1
učebnice vysokých škol
Rok vydání
Od:
do:
PSH
matematická logika
38
numerická analýza
32
informatika
19
algoritmizace
19
umělá inteligence
8
formální jazyky
více ...
6
operační systémy
5
počítače
5
robotika
5
rozpoznávání obrazců
4
programovací jazyky
4
vyhledávání v datech
3
software
3
softwarové inženýrství
2
matematika
2
zpracování obrazů
1
algebra
1
analytická geometrie
1
aplikovaná matematika
1
diferenciální počet
1
matematická analýza
1
matematické programování
1
počítačová grafika
1
počítačová simulace
1
programování
1
systémy řízení báze dat
1
teorie pravděpodobnosti
1
teorie vyčíslitelnosti
1
učící se systémy
1
výpočetní technika
Zobrazit vše ...
méně ...
×
Načítá se...