Jump to main content

yr 〜
yr

Search results 53

Trends in functional programming : 14th international symposium, TFP 2013 : Provo, UT, USA, May 14-16, 2013 : revised selected papers : May 2013, Provo, UT. (Lecture Notes in Computer Science ; 8322)

Trends in functional programming : 14th international symposium, TFP 2013 : Provo, UT, USA, May 14-16, 2013 : revised selected papers : May 2013, Provo, UT. (Lecture Notes in Computer Science ; 8322)
Paper図書
Springerc2014.<M17-14-1759>
National Diet Library
  • Subject Heading...s. Funktionale Programmierung.

Robot programming by demonstration : a probabilistic approach / Sylvain Calinon. 1st ed. (Engineering sciences. Micro- and nanotechnology)

Robot programming by demonstration : a probabilistic approach / Sylvain Calinon. 1st ed. (Engineering sciences. Micro- and nanotechnology)
Paper図書
EPFL Pressc2009.<M131-B49>
National Diet Library
  • Subject HeadingRobots -- Programming. Automatische Programmierung. Industrieroboter.

Objects, models, components, patterns : 48th international conference, TOOLS 2010 : Malaga, Spain, June 28-July 2, 2010 : proceedings. : 48th TOOLS Europe conference : Jun 2010, Malaga, Spain. (Lecture Notes in Computer Science ; 6141)

Objects, models, components, patterns : 48th international conference, TOOLS 2010 : Malaga, Spain, June 28-July 2, 2010 : proceedings. : 48th TOOLS Europe conference : Jun 2010, Malaga, Spain. (Lecture Notes in Computer Science ; 6141)
Paper図書
Springerc2010.<M17-10-3744>
National Diet Library
  • Subject Heading...ektorientierte Programmierung. Entwurfsmuster.

Computer science logic : 24th international workshop, CSL 2010 : 19th annual conference of the EACSL : Brno, Czech Republic, August 23-27, 2010 : proceedings. : annual conference of the European Association for Computer Science Logic : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6247. Advanced Research in Computing and Software Science)

Computer science logic : 24th international workshop, CSL 2010 : 19th annual conference of the EACSL : Brno, Czech Republic, August 23-27, 2010 : proceedings. : annual conference of the European Association for Computer Science Logic : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6247. Advanced Research in Computing and Software Science)
Paper図書
Springerc2010.<M17-10-4384>
National Diet Library
  • Subject Heading...ogic. Logische Programmierung. Programmierlogik. Brünn <2010...

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009 : Coimbra, Portugal, September 2009 : revised selected papers. : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 6037)

Logic-based program synthesis and transformation : 19th international symposium, LOPSTR 2009 : Coimbra, Portugal, September 2009 : revised selected papers. : Sep 2009, Coimbra, Portugal. (Lecture Notes in Computer Science ; 6037)
Paper図書
Springerc2010.<M17-10-2807>
National Diet Library
  • Subject Heading...orie. Logische Programmierung. Programmsynthese. Programmtra...

Generative and transformational techniques in software engineering 3 : international summer school, GTTSE 2009 : Braga, Portugal, July 6-11, 2009 : revised papers. : Jul 2009, Braga, Portugal. (Lecture Notes in Computer Science ; 6491. Tutorial)

Generative and transformational techniques in software engineering 3 : international summer school, GTTSE 2009 : Braga, Portugal, July 6-11, 2009 : revised papers. : Jul 2009, Braga, Portugal. (Lecture Notes in Computer Science ; 6491. Tutorial)
Paper図書
Springerc2011.<M17-11-2114>
National Diet Library
  • Subject Heading.... Automatische Programmierung. Programmiersprache. Entwurfss...

Advances in computer games : 12th international conference, ACG 2009 : Pamplona, Spain, May 11-13, 2009 : revised papers. : May 2009, Pamplona, Spain. (Lecture Notes in Computer Science ; 6048)

Advances in computer games : 12th international conference, ACG 2009 : Pamplona, Spain, May 11-13, 2009 : revised papers. : May 2009, Pamplona, Spain. (Lecture Notes in Computer Science ; 6048)
Paper図書
Springerc2010.<M17-11-140>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...Computerspiel. Programmierung. Taipei <2005>

Advanced functional programming : 6th international school, AFP 2008 : Heijen, the Netherlands, May 19-24, 2008 : revised lectures. : tutorial on parallel and concurrent programming in Haskell : 2008 summer school on advanced functional programming : May 2008, Heijen, the Netherlands. (Lecture Notes in Computer Science ; 5832. Tutorial)

Advanced functional programming : 6th international school, AFP 2008 : Heijen, the Netherlands, May 19-24, 2008 : revised lectures. : tutorial on parallel and concurrent programming in Haskell : 2008 summer school on advanced functional programming : May 2008, Heijen, the Netherlands. (Lecture Notes in Computer Science ; 5832. Tutorial)
Paper図書
Springerc2009.<M17-10-1840>
National Diet Library
  • Subject Heading...s. Funktionale Programmierung. Heijen (2008) Kongress.

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings : LPAR-19 workshop : Dec 2013, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 19th international conference, LPAR-19 : Stellenbosch, South Africa, December 14-19, 2013 : proceedings : LPAR-19 workshop : Dec 2013, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 8312. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-14-1560>
National Diet Library
  • Subject Heading...genz. Logische Programmierung. Programmierlogik.

Programming multi-agent systems : 6th international workshop, ProMAS 2008 : Estoril, Portugal, May 13, 2008 : revised invited and selected papers. : agent contest 2008 : AC08 : 2nd multi-agent programming contest : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5442. Lecture Notes in Artificial Intelligence. Hot Topics)

Programming multi-agent systems : 6th international workshop, ProMAS 2008 : Estoril, Portugal, May 13, 2008 : revised invited and selected papers. : agent contest 2008 : AC08 : 2nd multi-agent programming contest : May 2008, Estoril, Portugal. (Lecture Notes in Computer Science ; 5442. Lecture Notes in Artificial Intelligence. Hot Topics)
Paper図書
Springerc2009.<M17-10-1717>
National Diet Library
  • Subject Heading...agentensystem. Programmierung. Systemplattform. Estoril (200...

Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA. (Lecture Notes in Computer Science ; 5649)

Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA. (Lecture Notes in Computer Science ; 5649)
Paper図書
Springerc2009.<M17-10-1487>
National Diet Library

Simulation, modeling, and programming for autonomous robots : second international conference, SIMPAR 2010 : Darmstadt, Germany, November 15-18, 2010 : proceedings. : Nov 2010, Darmstadt, Germany. (Lecture Notes in Computer Science ; 6472. Lecture Notes in Artificial Intelligence)

Simulation, modeling, and programming for autonomous robots : second international conference, SIMPAR 2010 : Darmstadt, Germany, November 15-18, 2010 : proceedings. : Nov 2010, Darmstadt, Germany. (Lecture Notes in Computer Science ; 6472. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2010.<M17-11-2103>
National Diet Library
  • Subject Heading...r. Simulation. Programmierung. Systemplattform. Darmstadt <2...

Distributed computing : 23rd international symposium, DISC 2009 : Elche, Spain, September 23-25, 2009 : proceedings. : Sep 2009, Elche, Spain. (Lecture Notes in Computer Science ; 5805)

Distributed computing : 23rd international symposium, DISC 2009 : Elche, Spain, September 23-25, 2009 : proceedings. : Sep 2009, Elche, Spain. (Lecture Notes in Computer Science ; 5805)
Paper図書
Springerc2009.<M17-10-1770>
National Diet Library
  • Subject Heading...009> Verteilte Programmierung. Verteilter Algorithmus. Verte...

Perspectives of systems informatics : 7th international Andrei Ershov memorial conference, PSI 2009 : Novosibirsk, Russia, June 15-19, 2009 : revised papers. : 7th international Andrei Ershov memorial conference on perspectives of system informatics akademgorodok : Jun 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5947)

Perspectives of systems informatics : 7th international Andrei Ershov memorial conference, PSI 2009 : Novosibirsk, Russia, June 15-19, 2009 : revised papers. : 7th international Andrei Ershov memorial conference on perspectives of system informatics akademgorodok : Jun 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5947)
Paper図書
Springerc2010.<M17-10-2796>
National Diet Library
  • Subject Heading...-- Congresses. Programmierung. Softwareentwicklung. Systemen...

Knowledge representation for agents and multi-agent systems : first international workshop, KRAMAS 2008 : Sydney, Australia, September 17, 2008 : revised selected papers. : KR 2008 : Sep 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5605. Lecture Notes in Artificial Intelligence)

Knowledge representation for agents and multi-agent systems : first international workshop, KRAMAS 2008 : Sydney, Australia, September 17, 2008 : revised selected papers. : KR 2008 : Sep 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5605. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-1725>
National Diet Library
  • Subject Heading...agentensystem. Programmierung. Wissensrepräsentation. Kongre...

Die elektronische Person : Entwurf eines Zurechnungs- und Haftungssubjekts für den Einsatz autonomer Systeme im Rechtsverkehr : print 1. Aufl

Die elektronische Person : Entwurf eines Zurechnungs- und Haftungssubjekts für den Einsatz autonomer Systeme im Rechtsverkehr : print 1. Aufl
Paper図書
Cornelius KleinerNomos2021
Other Libraries in Japan

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010 : Bologna, Italy, June 14-18, 2010 : proceedings. : Jun 2010, Bologna, Italy. (Lecture Notes in Computer Science ; 6140)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010 : Bologna, Italy, June 14-18, 2010 : proceedings. : Jun 2010, Bologna, Italy. (Lecture Notes in Computer Science ; 6140)
Paper図書
Springerc2010.<M17-11-150>
National Diet Library
  • Subject Heading...ng. Constraint-Programmierung. Bologna <2010>

Parallel computing technologies : 10th international conference, PaCT 2009 : Novosibirsk, Russia, August 31-September 4, 2009 : proceedings. : PaCT-2009 : Aug 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5698)

Parallel computing technologies : 10th international conference, PaCT 2009 : Novosibirsk, Russia, August 31-September 4, 2009 : proceedings. : PaCT-2009 : Aug 2009, Novosibirsk, Russia. (Lecture Notes in Computer Science ; 5698)
Paper図書
Springerc2009.<M17-10-2818>
National Diet Library

Computers and games : 7th international conference, CG 2010 : Kanazawa, Japan, September 24-26, 2010 : revised selected papers. : 7th computer and games conference : CG2010 : Sep 2010, Kanazawa, Japan. (Lecture Notes in Computer Science ; 6515)

Computers and games : 7th international conference, CG 2010 : Kanazawa, Japan, September 24-26, 2010 : revised selected papers. : 7th computer and games conference : CG2010 : Sep 2010, Kanazawa, Japan. (Lecture Notes in Computer Science ; 6515)
Paper図書
Springerc2011.<M17-11-2127>
National Diet Library
  • Subject Heading...Computerspiel. Programmierung. Spieltheorie. Spielstrategie....

Einfach Programmieren lernen mit Scratch

Einfach Programmieren lernen mit Scratch
Paper図書児童書
von Diana und Philipp Knodel, mit Illustrationen von Jan RadermacherCarlsen2020<Y11-D441>
National Diet Library
RSS