年 〜
年

検索結果 160 件

Developments in language theory : 22nd international conference, DLT 2018 : Tokyo, Japan, September 10-14, 2018 : proceedings : 100th anniversary commemorative events of University of Electro-Communications (UEC) : Sep 2018, Fuchu, Japan. (Lecture Notes in Computer Science ; 11088)

Developments in language theory : 22nd international conference, DLT 2018 : Tokyo, Japan, September 10-14, 2018 : proceedings : 100th anniversary commemorative events of University of Electro-Communications (UEC) : Sep 2018, Fuchu, Japan. (Lecture Notes in Computer Science ; 11088)
紙図書
Springer[2018]<M17-20-853>
国立国会図書館

Developments in language theory : 18th international conference, DLT 2014 : Ekaterinburg, Russia, August 26-29, 2014 : proceedings : Aug 2014, Ekaterinburg, Russia. (Lecture Notes in Computer Science ; 8633)

Developments in language theory : 18th international conference, DLT 2014 : Ekaterinburg, Russia, August 26-29, 2014 : proceedings : Aug 2014, Ekaterinburg, Russia. (Lecture Notes in Computer Science ; 8633)
紙図書
Springer[2014]<M17-15-734>
国立国会図書館

Developments in language theory : 17th international conference, DLT 2013 : Marne-la-Vallée, France, June 18-21, 2013 : proceedings : Jun 2013, Marne-la-Vallée, France. (Lecture Notes in Computer Science ; 7907)

Developments in language theory : 17th international conference, DLT 2013 : Marne-la-Vallée, France, June 18-21, 2013 : proceedings : Jun 2013, Marne-la-Vallée, France. (Lecture Notes in Computer Science ; 7907)
紙図書
Springerc2013.<M17-13-3350>
国立国会図書館

Developments in language theory : 15th international conference, DLT 2011 : Milan, Italy, July 19-22, 2011 : proceedings : Jul 2011, Milan, Italy. (Lecture Notes in Computer Science ; 6795)

Developments in language theory : 15th international conference, DLT 2011 : Milan, Italy, July 19-22, 2011 : proceedings : Jul 2011, Milan, Italy. (Lecture Notes in Computer Science ; 6795)
紙図書
Springerc2011.<M17-12-419>
国立国会図書館

Language and automata theory and applications : 9th international conference, LATA 2015 : Nice, France, March 2-6, 2015 : proceedings : Mar 2015, Nice, France. (Lecture Notes in Computer Science ; 8977)

Language and automata theory and applications : 9th international conference, LATA 2015 : Nice, France, March 2-6, 2015 : proceedings : Mar 2015, Nice, France. (Lecture Notes in Computer Science ; 8977)
紙図書
Springer[2015]<M17-15-2006>
国立国会図書館

Developments in language theory : 14th international conference, DLT 2010 : London, ON, Canada, August 17-20, 2010 : proceedings. : Aug 2010, London, Canada. (Lecture Notes in Computer Science ; 6224)

Developments in language theory : 14th international conference, DLT 2010 : London, ON, Canada, August 17-20, 2010 : proceedings. : Aug 2010, London, Canada. (Lecture Notes in Computer Science ; 6224)
紙図書
Springerc2010.<M17-10-4284>
国立国会図書館
  • 件名Formal languages -- Congresses.

Automata, formal languages and algebraic systems : proceedings of AFLAS 2008 : Kyoto, Japan, 20-22 September 2008 : international workshop on automata, formal languages and algebraic systems : Sep 2008, Kyoto, Japan.

Automata, formal languages and algebraic systems : proceedings of AFLAS 2008 : Kyoto, Japan, 20-22 September 2008 : international workshop on automata, formal languages and algebraic systems : Sep 2008, Kyoto, Japan.
紙図書
World Scientificc2010.<M17-13-1262>
国立国会図書館

Language and automata theory and applications : 8th international conference, LATA 2014 : Madrid, Spain, March 10-14, 2014 : proceedings : Mar 2014, Madrid, Spain. (Lecture Notes in Computer Science ; 8370)

Language and automata theory and applications : 8th international conference, LATA 2014 : Madrid, Spain, March 10-14, 2014 : proceedings : Mar 2014, Madrid, Spain. (Lecture Notes in Computer Science ; 8370)
紙図書
Springerc2014.<M17-14-2123>
国立国会図書館

Developments in language theory : 13th international conference, DLT 2009 : Stuttgart, Germany, June 30-July 3, 2009 : proceedings. : Jun 2009, Stuttgart, Germany. (Lecture Notes in Computer Science ; 5583)

Developments in language theory : 13th international conference, DLT 2009 : Stuttgart, Germany, June 30-July 3, 2009 : proceedings. : Jun 2009, Stuttgart, Germany. (Lecture Notes in Computer Science ; 5583)
紙図書
Springerc2009.<M17-10-303>
国立国会図書館
  • 件名Formal languages -- Congresses.

Language and automata theory and applications : 7th international conference, LATA 2013 : Bilbao, Spain, April 2-5, 2013 : proceedings : Apr 2013, Bilbao, Spain. (Lecture Notes in Computer Science ; 7810)

Language and automata theory and applications : 7th international conference, LATA 2013 : Bilbao, Spain, April 2-5, 2013 : proceedings : Apr 2013, Bilbao, Spain. (Lecture Notes in Computer Science ; 7810)
紙図書
Springerc2013.<M17-13-2759>
国立国会図書館

Descriptional complexity of formal systems : 16th international workshop, DCFS 2014 : Turku, Finland, August 5-8, 2014 : proceedings : Aug 2014, Turku, Finland. (Lecture Notes in Computer Science ; 8614)

Descriptional complexity of formal systems : 16th international workshop, DCFS 2014 : Turku, Finland, August 5-8, 2014 : proceedings : Aug 2014, Turku, Finland. (Lecture Notes in Computer Science ; 8614)
紙図書
Springer[2014]<M17-15-1479>
国立国会図書館

Developments in language theory : 12th international conference, DLT 2008 : Kyoto, Japan, September 16-19, 2008 : proceedings. : Sep 2008, Kyoto, Japan. (Lecture Notes in Computer Science ; 5257)

Developments in language theory : 12th international conference, DLT 2008 : Kyoto, Japan, September 16-19, 2008 : proceedings. : Sep 2008, Kyoto, Japan. (Lecture Notes in Computer Science ; 5257)
紙図書
Springerc2008.<M17-08-2331>
国立国会図書館
  • 件名Formal languages -- Congresses.

Developments in language theory : 11th international conference, DLT 2007 : Turku, Finland, July 3-6, 2007 : proceedings. : DLT meeting : Jul 2007, Turku, Finland. (Lecture Notes in Computer Science ; 4588)

Developments in language theory : 11th international conference, DLT 2007 : Turku, Finland, July 3-6, 2007 : proceedings. : DLT meeting : Jul 2007, Turku, Finland. (Lecture Notes in Computer Science ; 4588)
紙図書
Springerc2007.<M17-07-2482>
国立国会図書館
  • 件名Formal languages -- Congresses.

Grammatical inference: theoretical results and applications : 10th international colloquium, ICGI 2010 : Valencia, Spain, September 13-16, 2010 : proceedings. : Sep 2010, Valencia, Spain. (Lecture Notes in Computer Science ; 6339. Lecture Notes in Artificial Intelligence)

Grammatical inference: theoretical results and applications : 10th international colloquium, ICGI 2010 : Valencia, Spain, September 13-16, 2010 : proceedings. : Sep 2010, Valencia, Spain. (Lecture Notes in Computer Science ; 6339. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2010.<M17-10-4367>
国立国会図書館
  • 件名Formal languages -- Congresses. Logic, Symbolic and mathemati...

Language and automata theory and applications : third international conference, LATA 2009 : Tarragona, Spain, April 2-8, 2009 : proceedings. : Apr 2009, Tarragona, Spain. (Lecture Notes in Computer Science ; 5457)

Language and automata theory and applications : third international conference, LATA 2009 : Tarragona, Spain, April 2-8, 2009 : proceedings. : Apr 2009, Tarragona, Spain. (Lecture Notes in Computer Science ; 5457)
紙図書
Springerc2009.<M17-10-523>
国立国会図書館
  • 件名Machine theory -- Congresses. Formal languages -- Congresses.

Automata, languages and programming : 38th international colloquium, ICALP 2011 : Zurich, Switzerland, July 4-8, 2011 : proceedings : annual conference of the European Association for Theoretical Computer Science (EATCS) : Jul 2011, Zurich, Switzerland. (Lecture Notes in Computer Science ; 6755-6756. Advanced Research in Computing and Software Science)

Automata, languages and programming : 38th international colloquium, ICALP 2011 : Zurich, Switzerland, July 4-8, 2011 : proceedings : annual conference of the European Association for Theoretical Computer Science (EATCS) : Jul 2011, Zurich, Switzerland. (Lecture Notes in Computer Science ; 6755-6756. Advanced Research in Computing and Software Science)
紙図書
Springerc2011.<M17-12-46>
国立国会図書館

Descriptional complexity of formal systems : 15th international workshop, DCFS 2013 : London, ON, Canada, July 22-25, 2013 : proceedings : annual DCFS workshop : Jul 2013, London, Canada. (Lecture Notes in Computer Science ; 8031)

Descriptional complexity of formal systems : 15th international workshop, DCFS 2013 : London, ON, Canada, July 22-25, 2013 : proceedings : annual DCFS workshop : Jul 2013, London, Canada. (Lecture Notes in Computer Science ; 8031)
紙図書
Springerc2013.<M17-14-574>
国立国会図書館

Developments in language theory : 19th international conference, DLT 2015 : Liverpool, UK, July 27-30, 2015 : proceedings : Jul 2015, Liverpool, UK. (Lecture Notes in Computer Science ; 9168)

Developments in language theory : 19th international conference, DLT 2015 : Liverpool, UK, July 27-30, 2015 : proceedings : Jul 2015, Liverpool, UK. (Lecture Notes in Computer Science ; 9168)
紙図書
Springer[2015]<M17-16-575>
国立国会図書館

Developments in language theory : 10th international conference, DLT 2006 : Santa Barbara, CA, USA, June 26-29, 2006 : proceedings. : Jun 2006, Santa Barbara, CA. (Lecture Notes in Computer Science ; 4036)

Developments in language theory : 10th international conference, DLT 2006 : Santa Barbara, CA, USA, June 26-29, 2006 : proceedings. : Jun 2006, Santa Barbara, CA. (Lecture Notes in Computer Science ; 4036)
紙図書
Springerc2006.<M17-07-201>
国立国会図書館
  • 件名Formal languages -- Congresses.

Descriptional complexity of formal systems : 13th international workshop, DCFS 2011 : Gießen/Limburg, Germany, July 25-27, 2011 : proceedings : Jul 2011, Limburg, Germany. (Lecture Notes in Computer Science ; 6808)

Descriptional complexity of formal systems : 13th international workshop, DCFS 2011 : Gießen/Limburg, Germany, July 25-27, 2011 : proceedings : Jul 2011, Limburg, Germany. (Lecture Notes in Computer Science ; 6808)
紙図書
Springerc2011.<M17-12-421>
国立国会図書館