年 〜
年

検索結果 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)
紙図書
Springerc2014.<M17-14-1759>
国立国会図書館
  • 件名...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)
紙図書
EPFL Pressc2009.<M131-B49>
国立国会図書館
  • 件名Robots -- 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)
紙図書
Springerc2010.<M17-10-3744>
国立国会図書館
  • 件名...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)
紙図書
Springerc2010.<M17-10-4384>
国立国会図書館
  • 件名...ogic. Logische Programmierung. Programmierlogik. Brünn <201...

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)
紙図書
Springerc2010.<M17-10-2807>
国立国会図書館
  • 件名...orie. Logische Programmierung. Programmsynthese. Programmtr...

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)
紙図書
Springerc2011.<M17-11-2114>
国立国会図書館
  • 件名.... Automatische Programmierung. Programmiersprache. Entwurfs...

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)
紙図書
Springerc2010.<M17-11-140>
国立国会図書館全国の図書館
  • 件名...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)
紙図書
Springerc2009.<M17-10-1840>
国立国会図書館
  • 件名...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)
紙図書
Springerc2013.<M17-14-1560>
国立国会図書館
  • 件名...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)
紙図書
Springerc2009.<M17-10-1717>
国立国会図書館
  • 件名...nomer Agent -- Programmierung -- Kongress --......entensystem -- Programmierung -- Kongress --......agentensystem. Programmierung. Systemplattform. Estoril (20...

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)
紙図書
Springerc2009.<M17-10-1487>
国立国会図書館
  • 件名Logic programming -- Congresses. Logische Programmierung -- Kongress -- Pasadena <Cali...

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)
紙図書
Springerc2010.<M17-11-2103>
国立国会図書館
  • 件名...r. Simulation. Programmierung. Systemplattform. Darmstadt <...

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)
紙図書
Springerc2009.<M17-10-1770>
国立国会図書館
  • 件名...ses. Verteilte Programmierung -- Kongress --......009> Verteilte Programmierung. Verteilter Algorithmus. Vert...

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)
紙図書
Springerc2010.<M17-10-2796>
国立国会図書館
  • 件名...-- Congresses. Programmierung. Softwareentwicklung. Systeme...

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
紙図書
Cornelius KleinerNomos2021
全国の図書館
  • 件名...onische Person Programmierung Programmiersprache Determinis...
  • 件名（識別子）...onische Person Programmierung Programmiersprache Determinis...

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)
紙図書
Springerc2009.<M17-10-1725>
国立国会図書館
  • 件名...Informatik> -- Programmierung -- Formale Met......entensystem -- Programmierung -- Formale Met......agentensystem. Programmierung. Wissensrepräsentation. Kongr...

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)
紙図書
Springerc2010.<M17-11-150>
国立国会図書館
  • 件名...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)
紙図書
Springerc2009.<M17-10-2818>
国立国会図書館
  • 件名...erarbeitung -- Programmierung -- Nowosibirsk <2009>

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)
紙図書
Springerc2011.<M17-11-2127>
国立国会図書館
  • 件名...Computerspiel. Programmierung. Spieltheorie. Spielstrategie...

Einfach Programmieren lernen mit Scratch

Einfach Programmieren lernen mit Scratch
紙図書児童書
von Diana und Philipp Knodel, mit Illustrationen von Jan RadermacherCarlsen2020<Y11-D441>
国立国会図書館
  • 件名4\p Programmierung 5\p Computerspiel 6\p Lehreri...