Výsledky vyhledávání

Obálka

Natural language understanding

Autor Allen, James Vydáno: 1995

Kniha

Obálka

Advances in natural language processing : 6th international conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008 : proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Functional and logic programming : 11th international symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings

Vydáno: 2012

Plný text

E-kniha

Obálka

Leveraging applications of formal methods, verification and validation : technologies for mastering change : 6th international symposium, ISoLA 2014, Imperial, Corfu, Greece, Octob...

Vydáno: 2014

Plný text

E-kniha

Obálka

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

Plný text

E-kniha

Obálka

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

Plný text

E-kniha

Obálka

Mathematical foundations of computer science 2010 : 35th international symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

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

Plný text

E-kniha

Obálka

Certified programs and proofs : third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings

Vydáno: 2013

Plný text

E-kniha

Obálka

Logics in artificial intelligence : 11th European conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008 : proceedings

Vydáno: 2008

Plný text

E-kniha

Obálka

Software language engineering : 5th international conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers

Vydáno: 2013

Plný text

E-kniha

Obálka

Computer science logic : 21st international workshop, CSL 2007, 16th Annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings

Vydáno: 2007

Plný text

E-kniha

Obálka

Declarative agent languages and technologies VII : 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers

Vydáno: 2010

Plný text

E-kniha

Obálka

Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings

Vydáno: 2011

Plný text

E-kniha

Obálka

Data engineering and management : second international conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers

Vydáno: 2012

Plný text

E-kniha

Obálka

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers

Vydáno: 2006

Plný text

E-kniha

Obálka

Machine learning and data mining in pattern recognition : 6th international conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers

Vydáno: 2005

Plný text

E-kniha

Obálka

Language and automata theory and applications : 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010 : proceedings

Vydáno: 2010

Plný text

E-kniha

Obálka

Software engineering for self-adaptive systems

Vydáno: 2009

Plný text

E-kniha

1
2
3
4
5
6
7
8
9
Další »
[9]