Zobrazuji výsledky
1 - 13
z
13
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
PSH:
NOT
baroko
AND
informatika
AND
matematická logika
Oblast:
NOT
Ostrava (Česko)
Doporučená témata:
NOT
algoritmizace
NOT
počítače
Signatura:
Q - Věda
Zrušit filtry
Zobrazit filtry (7)
PSH:
NOT
baroko
AND
informatika
AND
matematická logika
Oblast:
NOT
Ostrava (Česko)
Doporučená témata:
NOT
algoritmizace
NOT
počítače
Signatura:
Q - Věda
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í:
informatika
13
matematická logika
13
matematika
5
umělá inteligence
5
matematické modely
4
svazy
4
automaty
3
více ...
diskrétní matematika
2
hybridní počítače
2
simulace a modelování
2
teorie grafů
2
teorie pravděpodobnosti
2
teorie čísel
2
zpracování dat
2
řízení v reálném čase
2
algebra
1
filozofie matematiky
1
formální jazyky
1
grafy
1
historie
1
kryptografie
1
logické programování
1
matematická lingvistika
1
počítačová věda
1
robotika
1
software
1
sémantický web
1
teorie algoritmů
1
teorie informace
1
vědecká metodologie
1
méně ...
Zobrazuji výsledky
1 - 13
z
13
pro vyhledávání '
'
, doba hledání: 0,05 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Frege conference 1984 : proceedings of the international conference
Vydáno:
1984
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Discrete mathematics for computer science : or (a bit of) the math that computer scientists need to know
Autor
Liben-Nowell, David
Vydáno:
2018
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
MIS 2005 : 15.-22. ledna 2005, Josefův Důl : sborník semináře
Vydáno:
2005
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Diskrétní matematika pro užitou informatiku
Autor
Mezník, Ivan, 1942-
Vydáno:
2013
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal concept analysis : third international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
The once and future Turing : computing the world
Vydáno:
2016
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Concept lattices : second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal concept analysis : 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Algebra, meaning, and computation : essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Connecting discrete mathematics and computer science
Autor
Liben-Nowell, David
Vydáno:
2022
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 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
13
NTK
Médium
13
Kniha
Signatura
Q - Věda
Autor
2
Liben-Nowell, David
1
Asarin, Jevgenij Aleksandrovič, 1962-
1
Bouyer, Patricia, 1976-
1
Cooper, S. B. (S. Barry), 1943-2015
1
Eklund, Peter W., 1962-
1
Futatsugi, Kokichi
více ...
1
Ganter, Bernhard, 1949-
1
Godin, Robert
1
Hodges, Andrew, 1949-
1
Jouannaud, Jean-Pierre, 1947-
1
Kuznecov, Sergej Olegovič
1
Meseguer, José
1
Mezník, Ivan, 1942-
1
Missaoui, Rokia, 1949-
1
Raskin, Jean-François, 1972-
1
Schmid, Jürg, 1944-
1
Schmidt, Stefan E.
1
Thiagarajan, P. S., 1948-
1
Univerzita Karlova. Matematicko-fyzikální fakulta. Informatická sekce
1
Wechsung, Gerd
Zobrazit vše ...
méně ...
Jazyk
11
angličtina
2
čeština
1
němčina
Žánr
8
sborníky konferencí
2
učebnice
1
kolektivní monografie
1
sborníky
1
učebnice vysokých škol
Rok vydání
Od:
do:
Oblast
1
Velká Británie
PSH
informatika
matematická logika
5
matematika
5
umělá inteligence
4
matematické modely
4
svazy
více ...
3
automaty
2
hybridní počítače
2
simulace a modelování
2
teorie grafů
2
teorie pravděpodobnosti
2
teorie čísel
2
zpracování dat
2
řízení v reálném čase
1
algebra
1
formální jazyky
1
grafy
1
historie
1
kryptografie
1
logické programování
1
matematická lingvistika
1
robotika
1
software
1
sémantický web
1
teorie algoritmů
1
teorie informace
Zobrazit vše ...
méně ...
×
Načítá se...