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
PSH:
NOT
baroko
AND
informatika
AND
matematická logika
Oblast:
NOT
Ostrava (Česko)
Doporučená témata:
NOT
algoritmizace
NOT
programování
Médium:
NOT
E-kniha
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
programování
Médium:
NOT
E-kniha
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
17
matematická logika
17
umělá inteligence
6
matematika
5
matematické modely
4
počítače
4
počítačová věda
4
více ...
softwarové inženýrství
4
svazy
4
algoritmy
3
automaty
3
simulace a modelování
3
diskrétní matematika
2
formální jazyky
2
hybridní počítače
2
robotika
2
sémantický web
2
teorie grafů
2
teorie pravděpodobnosti
2
teorie čísel
2
zpracování dat
2
řízení v reálném čase
2
UML
1
algebra
1
databázové systémy
1
filozofie matematiky
1
grafy
1
historie
1
informační systémy
1
internet
1
méně ...
Zobrazuji výsledky
1 - 17
z
17
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:
Conceptual modeling - ER 2006 : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 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:
STACS 2006 : 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
STACS 2003 : 20th Annual Symposium on Theoretical Aspects of Computer Science Berlin, Germany, February 27 - March 1, 2003 : proceedings
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
STACS 2005 : 22th Annual Symposium on Theoretical Aspects of Computer Science Stuttgart, Germany, February 24-26, 2005 : proceedings
Vydáno:
2005
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
17
Kniha
Signatura
17
Q - Věda
Autor
2
Durand, Bruno
2
Liben-Nowell, David
1
Alt, Helmut, 1950-
1
Asarin, Jevgenij Aleksandrovič, 1962-
1
Bouyer, Patricia, 1976-
1
Cooper, S. B. (S. Barry), 1943-2015
více ...
1
Diekert, Volker, 1955-
1
Eklund, Peter W., 1962-
1
Embley, David W.
1
Futatsugi, Kokichi
1
Ganter, Bernhard, 1949-
1
Godin, Robert
1
Habib, M. (Michel), 1951-
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
Olivé, Antoni, 1946-
1
Ram, Sudha, 1959-
1
Raskin, Jean-François, 1972-
1
Schmid, Jürg, 1944-
1
Schmidt, Stefan E.
1
Thiagarajan, P. S., 1948-
1
Thomas, Wolfgang, 1947-
1
Univerzita Karlova. Matematicko-fyzikální fakulta. Informatická sekce
1
Wechsung, Gerd
Zobrazit vše ...
méně ...
Jazyk
15
angličtina
2
čeština
1
němčina
Žánr
12
sborníky konferencí
2
učebnice
1
elektronicke knihy
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
6
umělá inteligence
5
matematika
4
matematické modely
4
počítače
více ...
4
softwarové inženýrství
4
svazy
3
automaty
3
simulace a modelování
2
formální jazyky
2
hybridní počítače
2
robotika
2
sémantický web
2
teorie grafů
2
teorie pravděpodobnosti
2
teorie čísel
2
zpracování dat
2
řízení v reálném čase
1
UML
1
algebra
1
databázové systémy
1
grafy
1
historie
1
informační systémy
1
internet
1
kryptografie
1
logické programování
1
matematická lingvistika
1
software
Zobrazit vše ...
méně ...
×
Načítá se...