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
Žánr:
NOT
učebnice
NOT
disertace
Doporučená témata:
NOT
osobní automobily
NOT
počítačová simulace
AND
algoritmizace
Autor:
NOT
Soušek, Tomáš, 1977-
Signatura:
NOT
B - Filozofie, Psychologie, Náboženství
NOT
H - Sociální vědy
PSH:
aplikovaná matematika
Zrušit filtry
Zobrazit filtry (9)
Žánr:
NOT
učebnice
NOT
disertace
Doporučená témata:
NOT
osobní automobily
NOT
počítačová simulace
AND
algoritmizace
Autor:
NOT
Soušek, Tomáš, 1977-
Signatura:
NOT
B - Filozofie, Psychologie, Náboženství
NOT
H - Sociální vědy
PSH:
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
17
informatika
7
podnikové informační systémy
5
počítačová bezpečnost
5
softwarové inženýrství
5
šifrování dat
4
více ...
diskrétní matematika
3
kryptografie
3
matematické programování
3
algebra
2
algoritmy
2
bioinformatika
2
bionika
2
experimenty
2
genetické algoritmy
2
matematika
2
neuronové počítače
2
strojové učení
2
teorie pravděpodobnosti
2
umělá inteligence
2
DNA
1
aplikovaná biologie
1
datové sítě
1
diferenciální rovnice
1
diferenciální rovnice parciální
1
geometrická algebra
1
kombinatorika
1
komunikační technologie
1
kvantové výpočty
1
méně ...
Zobrazuji výsledky
1 - 17
z
17
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:
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:
Advances in cryptology - ASIACRYPT 2013 : 19th International conference on the theory and application of cryptology and information security, Bengaluru, India, December 1-5, 2013 :...
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
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:
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:
Advances in cryptology - ASIACRYPT 2011 : 17th International conference on the theory and application of cryptology and information security, Seoul, South Korea, December 4-8, 2011...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Advances in cryptology - ASIACRYPT 2012 : 18th International conference on the theory and application of cryptology and information security, Beijing, China, December 2-6, 2012 : p...
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-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
17
NTK
Médium
10
Kniha
7
E-kniha
Signatura
10
Q - Věda
Autor
7
SpringerLink (online služba)
2
Sako, Kazue
2
Wang, Xiaoyun, 1966-
1
Abe, Masayuki
1
Akl, Selim G., 1948-
1
Araki, Keijiro, 1954-
více ...
1
Beyn, Wolf-Jürgen
1
Calude, Cristian, 1952-
1
Chen, Bo
1
Dieci, Luca
1
Gavrilova, Marina L
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
Lee, Dong Hoon
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-
Zobrazit vše ...
méně ...
Jazyk
17
angličtina
Žánr
8
sborníky konferencí
7
elektronicke knihy
2
sborníky
1
kolektivní monografie
1
učebnice vysokých škol
Rok vydání
Od:
do:
PSH
17
algoritmizace
aplikovaná matematika
7
informatika
5
podnikové informační systémy
5
počítačová bezpečnost
5
softwarové inženýrství
více ...
4
šifrování dat
3
kryptografie
3
matematické programování
2
algebra
2
bioinformatika
2
bionika
2
experimenty
2
genetické algoritmy
2
matematika
2
neuronové počítače
2
teorie pravděpodobnosti
2
umělá inteligence
1
DNA
1
aplikovaná biologie
1
diferenciální rovnice
1
diferenciální rovnice parciální
1
kombinatorika
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
Zobrazit vše ...
méně ...
×
Načítá se...