Zobrazuji výsledky
1 - 18
z
18
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
aplikační programy
Autor:
NOT
SpringerLink (online služba)
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
aplikační programy
Autor:
NOT
SpringerLink (online služba)
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
18
matematická logika
18
umělá inteligence
6
matematika
5
počítače
5
počítačová věda
5
softwarové inženýrství
5
více ...
algoritmy
4
matematické modely
4
svazy
4
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 - 18
z
18
pro vyhledávání '
'
, doba hledání: 0,10 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 2004 : 21th Annual Symposium on Theoretical Aspects of Computer Science Montpellier, France, March 25-27, 2004 : proceedings
Vydáno:
2004
Umístění:
Načítá se...
Získat 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
18
NTK
Médium
18
Kniha
Signatura
18
Q - Věda
Autor
2
Diekert, Volker, 1955-
2
Durand, Bruno
2
Habib, M. (Michel), 1951-
2
Liben-Nowell, David
1
Alt, Helmut, 1950-
1
Asarin, Jevgenij Aleksandrovič, 1962-
více ...
1
Bouyer, Patricia, 1976-
1
Cooper, S. B. (S. Barry), 1943-2015
1
Eklund, Peter W., 1962-
1
Embley, David W.
1
Futatsugi, Kokichi
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
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
16
angličtina
2
čeština
1
němčina
Žánr
13
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
5
počítače
5
softwarové inženýrství
více ...
4
matematické modely
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
programovací jazyky
Zobrazit vše ...
méně ...
×
Načítá se...
