Zobrazuji výsledky
1 - 9
z
9
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:
NOT
H - Sociální vědy
PSH:
NOT
počítačová grafika
Žánr:
NOT
sborníky konferencí
Doporučená témata:
NOT
počítače
AND
algoritmizace
AND
aplikovaná matematika
Zrušit filtry
Zobrazit filtry (6)
Signatura:
NOT
H - Sociální vědy
PSH:
NOT
počítačová grafika
Žánr:
NOT
sborníky konferencí
Doporučená témata:
NOT
počítače
AND
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
informatika
4
softwarové inženýrství
4
matematika
2
podnikové informační systémy
2
počítačová bezpečnost
2
více ...
strojové učení
2
umělá inteligence
2
algebra
1
datové sítě
1
diferenciální rovnice
1
diferenciální rovnice parciální
1
komunikační technologie
1
kvantové výpočty
1
lineární algebra
1
matematická optimalizace
1
matematické programování
1
numerická analýza
1
numerická matematika
1
objektově orientované programování
1
ochrana zdraví při práci
1
počítačové sítě
1
programování
1
simulace a modelování
1
software
1
spolehlivost
1
stochastické procesy
1
teorie pravděpodobnosti
1
teorie složitosti
1
méně ...
Zobrazuji výsledky
1 - 9
z
9
pro vyhledávání '
'
, doba hledání: 0,15 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:
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:
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:
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:
Current Challenges in Stability Issues for Numerical Differential Equations Cetraro, Italy 2011, Editors: Luca Dieci, Nicola Guglielmi
Autor
Beyn, Wolf-Jürgen
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in Cryptology - ASIACRYPT 2010 : 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceed...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Critical Information Infrastructure Security : Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised 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
9
NTK
Médium
5
Kniha
4
E-kniha
Signatura
5
Q - Věda
Autor
4
SpringerLink (online služba)
1
Abe, Masayuki
1
Araki, Keijiro, 1954-
1
Beyn, Wolf-Jürgen
1
Dieci, Luca
1
Gavrilova, Marina L
více ...
1
Geretshuber, Stefan
1
Gnesi, Stefania, 1954-
1
Guglielmi, Nicola
1
Hairer, Ernst
1
Heng, Liao
1
Hennig, Philipp
1
Kersting, Hans, 1990-
1
Kreowski, Hans-Jörg, 1949-
1
Krogdahl, Stein
1
Lyche, Tom, 1943-
1
Mandrioli, Dino, 1949-
1
McColl, Bill
1
Osborne, Michael A.
1
Owe, Olaf
1
Phan, Cong-Vinh
1
Sanz-Serna, Jesús María
1
Setola, Roberto
1
Tan, C. J. Kenneth
1
Zennaro, Marino
Zobrazit vše ...
méně ...
Jazyk
9
angličtina
Žánr
4
elektronicke knihy
2
sborníky
1
kolektivní monografie
1
učebnice vysokých škol
Rok vydání
Od:
do:
PSH
9
algoritmizace
9
aplikovaná matematika
4
informatika
4
softwarové inženýrství
2
matematika
2
podnikové informační systémy
více ...
2
počítačová bezpečnost
2
umělá inteligence
1
algebra
1
diferenciální rovnice
1
diferenciální rovnice parciální
1
matematické programování
1
numerická analýza
1
objektově orientované programování
1
ochrana zdraví při práci
1
počítačové sítě
1
programování
1
simulace a modelování
1
software
1
spolehlivost
1
stochastické procesy
1
teorie pravděpodobnosti
1
teorie složitosti
1
učící se systémy
1
výpočetní technika
1
řízení jakosti
1
šifrování dat
Zobrazit vše ...
méně ...
×
Načítá se...