Výsledky vyhledávání - "programovací jazyky"

Alternativní vyhledávání:
programovaci » programovani

Obálka

Advances in artificial intelligence : MICAI 2002 : second Mexican International Conference on Artificial Intelligence, Mérida, Yucatán, Mexico, April 22-26, 2002 : proceedings

Vydáno: 2002

Kniha

Obálka

Artificial intelligence : a modern approach

Autor Russell, Stuart J. Vydáno: 1995

Kniha

Obálka

Mobile robot programming : adventures in Python and C

Autor Bräunl, Thomas, 1962- Vydáno: 2023

Kniha

Obálka

Trends in functional programming : 15th international symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014 : revised selected papers

Vydáno: 2015

Plný text

E-kniha

Obálka

Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings

Vydáno: 2009

Plný text

E-kniha

Obálka

Applications of declarative programming and knowledge management : 15th International conference on applications of declarative programming and knowledge management, INAP 2004, and...

Vydáno: 2005

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

Tools and algorithms for the construction and analysis of systems : 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice...

Vydáno: 2012

Plný text

E-kniha

Obálka

Hardware and software: verification and testing : 7th International Haifa verification conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers

Vydáno: 2012

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

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 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

Recent advances in constraints : 12th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 :...

Vydáno: 2008

Plný text

E-kniha

Obálka

Functional and constraint logic programming : 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers

Vydáno: 2011

Plný text

E-kniha

Obálka

Term rewriting and applications : 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings

Vydáno: 2005

Plný text

E-kniha

Obálka

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers

Vydáno: 2010

Plný text

E-kniha

Obálka

Hands-on AI with Java : smart gaming, robotics and more

Autor Wise, Edwin Vydáno: 2004

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

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

Software engineering for self-adaptive systems

Vydáno: 2009

Plný text

E-kniha