Zobrazuji výsledky
1 - 20
z
22
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
Doporučená témata:
algebra
PSH:
softwarové inženýrství
Zrušit filtry
Zobrazit filtry (2)
Doporučená témata:
algebra
PSH:
softwarové inženýrství
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í:
algebra
softwarové inženýrství
22
matematická logika
15
informatika
14
umělá inteligence
8
vyhledávání v datech
8
algoritmizace
7
více ...
formální jazyky
7
programovací jazyky
7
software
6
počítače
5
diskrétní matematika
3
robotika
3
operační systémy
2
programování
2
XML
1
aplikovaná matematika
1
matematická analýza
1
matematický software
1
matematika
1
počítačová algebra
1
počítačová architektura
1
sémantický web
1
sémantika
1
vyhledávání informací
1
znalostní management
1
znalostní systémy
1
zpracování dat
1
méně ...
Zobrazuji výsledky
1 - 20
z
22
pro vyhledávání '
'
, doba hledání: 0,06 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Foundations of software science and computation structures : 7th international conferences, FOSSACS 2004 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2004
Umístění:
Načítá se...
Získat plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the joint European Conferences on Theory and Practice of So...
Vydáno:
2002
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Foundations of software science and computation structures : 4th international conference, FOSSACS 2001, held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2001
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 6th international conferenceg, FOSSACS 2003 held as part of the Joint European Conferences on Ttheory and Practice of S...
Vydáno:
2003
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Foundations of software science and computation structures : 8th international conferences, FOSSACS 2005 held as part of the Joint European Conferences on Theory and Practice of So...
Vydáno:
2005
Umístění:
Načítá se...
Plný text
Kniha
Uloženo v:
Recent trends in algebraic development techniques : 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebra and coalgebra in computer science : second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings
Vydáno:
2007
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:
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...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal concept analysis : 10th international conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
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:
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:
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:
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 : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Algebraic informatics : 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : proceedings
Vydáno:
2011
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 : 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:
1
2
Další »
[2]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
22
NTK
Médium
15
E-kniha
7
Kniha
Signatura
7
Q - Věda
Autor
15
SpringerLink (online služba)
1
Aceto, Luca, 1961-
1
Anna Ingólfsdóttir, 1952-
1
Baixeries, Jaume
1
Bozapalidis, Symeon
1
Cellier, Peggy
více ...
1
Distel, Felix
1
Domenach, Florent
1
Drossopoulou, Sophia
1
Engberg, Uffe, 1959-
1
Ferré, Sébastien
1
Fiadeiro, José Luiz, 1961-
1
Ganter, Bernhard, 1949-
1
Gordon, Andrew D., 1964-
1
Haveraaen, Magne
1
Heckel, Reiko, 1968-
1
Honsell, Furio
1
Ignatov, Dmitrij Igorevič, 1983-
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
Missaoui, Rokia, 1949-
1
Montanari, Ugo, 1943-
1
Mossakowski, Till
1
Mosses, Peter D., 1948-
Zobrazit vše ...
méně ...
Jazyk
22
angličtina
Žánr
15
elektronicke knihy
12
sborníky konferencí
1
eseje
Rok vydání
Od:
do:
PSH
22
algebra
softwarové inženýrství
15
matematická logika
14
informatika
8
umělá inteligence
8
vyhledávání v datech
více ...
7
algoritmizace
7
formální jazyky
7
programovací jazyky
6
software
5
počítače
3
robotika
2
operační systémy
2
programování
1
XML
1
aplikovaná matematika
1
matematická analýza
1
matematika
1
sémantický web
1
vyhledávání informací
1
znalostní management
1
znalostní systémy
1
zpracování dat
Zobrazit vše ...
méně ...
×
Načítá se...