Zobrazuji výsledky
1 - 10
z
10
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:
Q - Věda
Doporučená témata:
algoritmizace
AND
aplikovaná matematika
Zrušit filtry
Zobrazit filtry (3)
Signatura:
Q - Věda
Doporučená témata:
algoritmizace
AND
aplikovaná matematika
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í:
algoritmizace
aplikovaná matematika
softwarové inženýrství
4
matematické programování
3
algoritmy
2
bioinformatika
2
bionika
2
více ...
experimenty
2
genetické algoritmy
2
neuronové počítače
2
strojové učení
2
teorie pravděpodobnosti
2
DNA
1
algebra
1
aplikovaná biologie
1
datové sítě
1
geometrická algebra
1
informatika
1
kombinatorika
1
komunikační technologie
1
kvantové výpočty
1
lineární algebra
1
matematická optimalizace
1
matematika
1
numerická analýza
1
numerická matematika
1
objektově orientované programování
1
počítačová algebra
1
počítačové sítě
1
programování
1
méně ...
Zobrazuji výsledky
1 - 10
z
10
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
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:
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:
Mathematics for future computing and communications
Vydáno:
2022
Umístění:
Načítá se...
Kniha
Načítá se...
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:
Computer algebra and geometric algebra with applications : 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, Chin...
Vydáno:
2004
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Probabilistic numerics : computation as machine learning
Autor
Hennig, Philipp
Vydáno:
2022
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Combinatorics, algorithms, probabilistic and experimental methodologies : first international symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007 : revised selected papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Unconventional computation : 6th international conference, UC 2007, Kingston, Canada, August 13-17, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Unconventional computation : 5th international conference, UC 2006, York, UK, September 4-8, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
10
NTK
Médium
10
Kniha
Signatura
Q - Věda
Autor
1
Akl, Selim G., 1948-
1
Araki, Keijiro, 1954-
1
Calude, Cristian, 1952-
1
Chen, Bo
1
Gnesi, Stefania, 1954-
1
Heng, Liao
více ...
1
Hennig, Philipp
1
Kersting, Hans, 1990-
1
Kreowski, Hans-Jörg, 1949-
1
Krogdahl, Stein
1
Li, Hongbo
1
Lyche, Tom, 1943-
1
Mandrioli, Dino, 1949-
1
Mao, Chengde
1
McColl, Bill
1
Olver, Peter J., 1952-
1
Osborne, Michael A.
1
Owe, Olaf
1
Paterson, Michael S., 1942-
1
Sommer, Gerald, 1945-
1
Yokomori, Takashi
1
Zhang, Guochuan, 1966-
Zobrazit vše ...
méně ...
Jazyk
10
angličtina
Žánr
5
sborníky konferencí
2
sborníky
1
kolektivní monografie
1
učebnice vysokých škol
Rok vydání
Od:
do:
PSH
10
algoritmizace
10
aplikovaná matematika
4
softwarové inženýrství
3
matematické programování
2
bioinformatika
2
bionika
více ...
2
experimenty
2
genetické algoritmy
2
neuronové počítače
2
teorie pravděpodobnosti
1
DNA
1
algebra
1
aplikovaná biologie
1
informatika
1
kombinatorika
1
matematika
1
numerická analýza
1
objektově orientované programování
1
počítačové sítě
1
programování
1
simulace a modelování
1
software
1
stochastické procesy
1
teorie složitosti
1
umělá inteligence
1
učící se systémy
1
výpočetní technika
1
zpracování dat
Zobrazit vše ...
méně ...
×
Načítá se...