Zobrazuji výsledky
1 - 11
z
11
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:
NOT
programování
AND
algebra
Doporučená témata:
softwarové inženýrství
NOT
algoritmizace
Zrušit filtry
Zobrazit filtry (5)
Jazyk:
NOT
čeština
PSH:
NOT
programování
AND
algebra
Doporučená témata:
softwarové inženýrství
NOT
algoritmizace
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
11
softwarové inženýrství
matematická logika
9
informatika
8
umělá inteligence
6
vyhledávání v datech
6
počítače
3
více ...
software
2
aplikovaná matematika
1
formální jazyky
1
matematická analýza
1
matematický software
1
matematika
1
programovací jazyky
1
robotika
1
znalostní management
1
znalostní systémy
1
zpracování dat
1
méně ...
Zobrazuji výsledky
1 - 11
z
11
pro vyhledávání '
"software"
'
, doba hledání: 0,06 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:
Foundations of
software
science and computation structures : 4th international conference, FOSSACS...
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Algebra and coalgebra in computer acience : 5th international conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-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:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
11
NTK
Médium
9
E-kniha
2
Kniha
Signatura
2
Q - Věda
Autor
9
SpringerLink (online služba)
1
Baixeries, Jaume
1
Bozapalidis, Symeon
1
Cellier, Peggy
1
Distel, Felix
1
Ferré, Sébastien
více ...
1
Ganter, Bernhard, 1949-
1
Heckel, Reiko, 1968-
1
Honsell, Furio
1
Iida, Shusaku
1
Jäschke, Robert
1
Kauers, Manuel
1
Kuznetsov, Sergei O
1
Medina, Raoul
1
Meseguer, José
1
Miculan, Marino
1
Milius, Stefan
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
11
angličtina
Žánr
9
elektronicke knihy
3
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
algebra
11
softwarové inženýrství
9
matematická logika
8
informatika
6
umělá inteligence
6
vyhledávání v datech
více ...
3
počítače
2
software
1
aplikovaná matematika
1
formální jazyky
1
matematická analýza
1
matematika
1
programovací jazyky
1
robotika
1
znalostní management
1
znalostní systémy
1
zpracování dat
Zobrazit vše ...
méně ...
×
Načítá se...