Zobrazuji výsledky
1 - 20
z
118
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
NOT
strojní součásti a spoje
AND
programovací jazyky
Oblast:
NOT
Ostrava (Česko)
NOT
Brno (Česko)
Doporučená témata:
umělá inteligence
AND
matematická logika
Autor:
NOT
Huang, De-Shuang
Zrušit filtry
Zobrazit filtry (8)
PSH:
NOT
baroko
NOT
strojní součásti a spoje
AND
programovací jazyky
Oblast:
NOT
Ostrava (Česko)
NOT
Brno (Česko)
Doporučená témata:
umělá inteligence
AND
matematická logika
Autor:
NOT
Huang, De-Shuang
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í:
matematická logika
programovací jazyky
118
umělá inteligence
informatika
117
softwarové inženýrství
64
programování
57
počítače
45
více ...
robotika
40
formální jazyky
36
algoritmizace
16
vyhledávání v datech
13
systémy řízení báze dat
6
agenti
4
multiagentní systémy
4
operační systémy
4
počítačová simulace
4
aplikační programy
3
podnikové informační systémy
3
strojová lingvistika
3
numerická analýza
2
počítačová architektura
2
počítačová lingvistika
2
programovací jazyk Java
2
software
2
vyhledávání informací
2
zpracování obrazů
2
UML
1
XML
1
architektura výpočetních systémů
1
bioinformatika
1
méně ...
Zobrazuji výsledky
1 - 20
z
118
pro vyhledávání '
'
, doba hledání: 0,13 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...
Vydáno:
2014
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software, services, and systems : essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
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:
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, Marc...
Vydáno:
2006
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Software language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Computer science logic : 21st international workshop, CSL 2007, 16th Annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Vydáno:
2007
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Data engineering and management : second international conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers
Vydáno:
2012
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:
Machine learning and data mining in pattern recognition : 6th international conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009 : proceedings
Vydáno:
2009
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Vydáno:
2005
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings
Vydáno:
2012
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Compiler construction : 17th international conference, CC 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, Ma...
Vydáno:
2008
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Unifying theories of programming : third international symposium, UTP 2010, Shanghai, China, November 15-16, 2010 : proceedings
Vydáno:
2010
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Constraint solving and language processing : 7th international workshop, CSLP 2012, Orléans, France, September 13-14, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Hardware and software: verification and testing : 8th International Haifa verification conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : revised selected papers
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
1
2
3
4
5
6
Další »
[6]
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Sbírka
118
NTK
Médium
118
E-kniha
Autor
118
SpringerLink (online služba)
5
Voronkov, Andrei, 1959-
2
Fages, François
2
Governatori, Guido
2
Rossi, Francesca
2
Schrijvers, Tom
více ...
2
Torre, Leon van der
2
Torroni, Paolo
1
Altenkirch, Thorsten
1
Althoff, Klaus-Dieter
1
Andres, Frederic
1
Archibald, Margaret
1
Azevedo, Francisco de Moura e Castro Ascensão de, 1969-
1
Baader, Franz
1
Bacardit, Jaume
1
Barahona, Pedro, 1954-
1
Barais, Olivier
1
Beckert, Bernhard
1
Beek, Peter van
1
Benhamou, Frédéric
1
Berardi, Stefano
1
Bergmann, Ralph
1
Bernadó-Mansilla, Ester
1
Bertacco, Valeria
1
Bessière, Christian
1
Biere, Armin, 1967-
1
Birkedal, Lars
1
Bjørner, Nikolaj
1
Blume, Matthias
1
Bodik, Rastislav
Zobrazit vše ...
méně ...
Jazyk
118
angličtina
Žánr
118
elektronicke knihy
45
sborníky konferencí
1
eseje
1
monografie
Rok vydání
Od:
do:
PSH
118
matematická logika
programovací jazyky
118
umělá inteligence
117
informatika
64
softwarové inženýrství
57
programování
více ...
45
počítače
40
robotika
36
formální jazyky
16
algoritmizace
13
vyhledávání v datech
6
systémy řízení báze dat
4
agenti
4
operační systémy
4
počítačová simulace
3
aplikační programy
3
podnikové informační systémy
3
strojová lingvistika
2
numerická analýza
2
programovací jazyk Java
2
software
2
vyhledávání informací
2
zpracování obrazů
1
UML
1
XML
1
architektura výpočetních systémů
1
bioinformatika
1
hardware
1
jazykověda
1
matematická lingvistika
Zobrazit vše ...
méně ...
×
Načítá se...