Zobrazuji výsledky
1 - 20
z
28
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
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
Filtry: 4
programovací jazyky
NOT
softwarové inženýrství
NOT
software
NOT
internet
PSH:
NOT
překladače
AND
algoritmizace
AND
matematická logika
Zrušit filtry
Zobrazit filtry (8)
Oblast:
NOT
Bergamo (Itálie)
Doporučená témata:
Filtry: 4
programovací jazyky
NOT
softwarové inženýrství
NOT
software
NOT
internet
PSH:
NOT
překladače
AND
algoritmizace
AND
matematická logika
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í:
algoritmizace
28
matematická logika
28
programovací jazyky
informatika
27
počítače
18
programování
15
umělá inteligence
14
více ...
formální jazyky
13
robotika
7
diskrétní matematika
4
numerická analýza
4
vyhledávání v datech
4
systémy řízení báze dat
3
agenti
2
multiagentní systémy
2
sémantický web
2
algebra
1
aplikační programy
1
bioinformatika
1
matematika
1
ontologie (informatika)
1
sémantika programovacích jazyků
1
teorie informace
1
vyhledávání informací
1
zpracování obrazů
1
méně ...
Zobrazuji výsledky
1 - 20
z
28
pro vyhledávání '
'
, doba hledání: 0,11 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Compositionality : The significant difference. International symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997. Revised lectures
Vydáno:
1998
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Formal theories of information : from Shannon to semantic information theory and general concepts of information
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
The mathematics of language : 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009 : revised select...
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Principles and practice of constraint programming : 18th international conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Conceptual structures: knowledge visualization and reasoning : 16th International conference on conceptual structures, ICCS 2008, Toulouse, France, July 7-11, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint handling rules : current research topics
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
MICAI 2008: advances in artificial intelligence : 7th Mexican international conference on artificial intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Re...
Vydáno:
2011
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Foundations of information and knowledge systems : 6th international symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Scalable uncertainty management : second international conference, SUM 2008, Naples, Italy, October 1-3, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Artificial intelligence an international perspective : an international perspective
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, R...
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Recent Advances in Constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25,...
Vydáno:
2005
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:
Fundamentals of Computation Theory : 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Inductive logic programming : 19th international conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings
Vydáno:
2006
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
28
NTK
Médium
27
E-kniha
1
Kniha
Signatura
1
Q - Věda
Autor
27
SpringerLink (online služba)
2
Fages, François
2
Rossi, Francesca
1
Archibald, Margaret
1
Arun-Kumar, S
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
více ...
1
Barahona, Pedro, 1954-
1
Berghammer, Rudolf, 1952-
1
Bramer, M. A. (Max A.), 1948-
1
Brattka, Vasco
1
Charatonik, Witold
1
Dau, Frithjof
1
Dawar, Anuj, 1966-
1
De Raedt, Luc, 1964-
1
Ebert, Christian
1
Eklund, Peter W., 1962-
1
Faltings, Boi V
1
Filliâtre, Jean-Christophe
1
Frühwirth, Thom, 1962-
1
Gao, Yuan
1
Garg, Naveen
1
Gelbukh, Alexander, 1962-
1
Goranko, Valentin
1
Greco, Sergio, 1955-
1
Gębala, Maciej
1
Haemmerlé, Ollivier
1
Ibarra, Oscar H., 1941-
1
Jaoua, Ali Mohamed
1
Jäger, Gerhard
1
Kutyłowski, Mirosław
Zobrazit vše ...
méně ...
Jazyk
28
angličtina
Žánr
27
elektronicke knihy
12
sborníky konferencí
2
monografie
Rok vydání
Od:
do:
PSH
algoritmizace
matematická logika
28
programovací jazyky
27
informatika
18
počítače
15
programování
více ...
14
umělá inteligence
13
formální jazyky
7
robotika
4
numerická analýza
4
vyhledávání v datech
3
systémy řízení báze dat
2
agenti
2
sémantický web
1
algebra
1
aplikační programy
1
bioinformatika
1
matematika
1
sémantika programovacích jazyků
1
teorie informace
1
vyhledávání informací
1
zpracování obrazů
Zobrazit vše ...
méně ...
×
Načítá se...