Zobrazuji výsledky
1 - 12
z
12
pro vyhledávání '
"software"
'
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
Jazyk:
NOT
čeština
PSH:
matematická logika
AND
algebra
Zrušit filtry
Zobrazit filtry (3)
Jazyk:
NOT
čeština
PSH:
matematická logika
AND
algebra
Hlavní strana
Vyhledávání: "software"
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
algebra
12
matematická logika
12
informatika
10
softwarové inženýrství
10
umělá inteligence
6
vyhledávání v datech
6
formální jazyky
4
více ...
počítače
4
programovací jazyky
3
algoritmizace
2
programování
2
XML
1
aplikovaná matematika
1
diskrétní matematika
1
logické programování
1
matematická analýza
1
matematický software
1
matematika
1
operační systémy
1
robotika
1
software
1
sémantický web
1
znalostní management
1
znalostní systémy
1
zpracování dat
1
méně ...
Zobrazuji výsledky
1 - 12
z
12
pro vyhledávání '
"software"
'
, doba hledání: 0,07 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Specification, algebra, and
software
: essays dedicated to Kokichi Futatsugi
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Programming languages and systems : 17th European symposium on programming, ESOP 2008, held as part of the Joint European conferences on theory and practice of
software
, ETAPS 2008, Budapest, Hungary, March 29...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-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:
Towards mechanized mathematical assistants : 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Formal Concept Analysis : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic Informatics : Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Concept Analysis : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal Concept Analysis : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-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
E-kniha
Uloženo v:
Formal Concept Analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal concept analysis : 11th international conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Relations and kleene algebra in computer science : 11th International conference on relational methods in computer science, RelMiCS 2009, and 6th International conference on applic...
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
12
NTK
Médium
10
E-kniha
2
Kniha
Signatura
2
Q - Věda
Autor
10
SpringerLink (online služba)
2
Meseguer, José
1
Baixeries, Jaume
1
Berghammer, Rudolf, 1952-
1
Bozapalidis, Symeon
1
Cellier, Peggy
více ...
1
Distel, Felix
1
Drossopoulou, Sophia
1
Ferré, Sébastien
1
Futatsugi, Kokichi
1
Ganter, Bernhard, 1949-
1
Iida, Shusaku
1
Jaoua, Ali Mohamed
1
Jouannaud, Jean-Pierre, 1947-
1
Jäschke, Robert
1
Kauers, Manuel
1
Kuznetsov, Sergei O
1
Medina, Raoul
1
Möller, Bernhard, 1953-
1
Ob“jedkov, Sergej Aleksandrovič
1
Ogata, Kazuhiro
1
Ojeda Aciego, Manuel, 1967-
1
Rahonis, George
1
Rudolph, Sebastian
1
Sacarea, Christian, 1970-
1
Schmidt, Stefan
1
Valtchev, Petko
Zobrazit vše ...
méně ...
Jazyk
12
angličtina
Žánr
10
elektronicke knihy
4
sborníky konferencí
1
eseje
1
sborníky
Rok vydání
Od:
do:
PSH
algebra
matematická logika
10
informatika
10
softwarové inženýrství
6
umělá inteligence
6
vyhledávání v datech
více ...
4
formální jazyky
4
počítače
3
programovací jazyky
2
algoritmizace
2
programování
1
XML
1
aplikovaná matematika
1
logické programování
1
matematická analýza
1
matematika
1
operační systémy
1
robotika
1
software
1
sémantický web
1
znalostní management
1
znalostní systémy
1
zpracování dat
Zobrazit vše ...
méně ...
×
Načítá se...