Jump to main content

yr 〜
yr

Search results 444

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)
Paper図書
Springer[2018]<M17-20-853>
National Diet Library
  • Subject HeadingFormal languages--Congresses. Formal languages.

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)
Paper図書
Springer[2014]<M17-15-734>
National Diet Library
  • Subject HeadingFormal languages--Congresses. Formal languages.

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)
Paper図書
Springer[2015]<M17-16-575>
National Diet Library
  • Subject HeadingFormal languages--Congresses. ......ical Logic and Formal Languages. Algorithm An......puter Science. Formal languages.

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)
Paper図書
Springer[2014]<M17-15-1479>
National Diet Library
  • Subject Heading...)--Congresses. Formal languages--Congresses. Formal languages. Formal methods (Computer sc...

Descriptional complexity of formal systems : 17th international workshop, DCFS 2015 : Waterloo, ON, Canada, June 25-27, 2015 : proceedings : official event of the International Federation for Information Processing and IFIP Working Group 1.2 (Descriptional Complexity) : Jun 2015, Waterloo, Canada. (Lecture Notes in Computer Science ; 9118)

Descriptional complexity of formal systems : 17th international workshop, DCFS 2015 : Waterloo, ON, Canada, June 25-27, 2015 : proceedings : official event of the International Federation for Information Processing and IFIP Working Group 1.2 (Descriptional Complexity) : Jun 2015, Waterloo, Canada. (Lecture Notes in Computer Science ; 9118)
Paper図書
Springer[2015]<M17-16-379>
National Diet Library
  • Subject Heading...)--Congresses. Formal languages--Congresses. ......ical Logic and Formal Languages. Logics and M......puter Science. Formal languages. Formal methods (Computer sc...

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)
Paper図書
Springerc2013.<M17-13-3350>
National Diet Library
  • Subject HeadingFormal languages--Congresses.

Handbook of software engineering

Handbook of software engineering
Paper図書
Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.Springer[2019]<M154-B232>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...ical Logic and Formal Languages. Systems and Data Security.

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)
Paper図書
Springerc2011.<M17-12-419>
National Diet Library
  • Subject HeadingFormal languages--Congresses.

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)
Paper図書
Springer[2015]<M17-15-2006>
National Diet Library
  • Subject HeadingMachine theory--Congresses. Formal languages--Congresses. Mathematical li...

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)
Paper図書
Springerc2010.<M17-10-4284>
National Diet Library
  • Subject HeadingFormal 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.
Paper図書
World Scientificc2010.<M17-13-1262>
National Diet Library
  • Subject HeadingFormal languages--Congresses.
  • Author Heading...p on Automata, Formal Languages and Algebraic Systems (2008 ...

Information search, integration, and personalization : 12th international workshop, ISIP 2018 : Fukuoka, Japan, May 14-15, 2018 : revised selected papers : May 2018, Fukuoka, Japan. (Communications in Computer and Information Science ; 1040)

Information search, integration, and personalization : 12th international workshop, ISIP 2018 : Fukuoka, Japan, May 14-15, 2018 : revised selected papers : May 2018, Fukuoka, Japan. (Communications in Computer and Information Science ; 1040)
Paper図書
Springer[2019]<M17-21-667>
National Diet Library
  • Subject Heading...ical Logic and Formal Languages. Data Mining and Knowledge D...

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015 : Wrocław, Poland, September 21-24, 2015 : proceedings : Sep 2015, Wrocław, Poland. (Lecture Notes in Computer Science ; 9323. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015 : Wrocław, Poland, September 21-24, 2015 : proceedings : Sep 2015, Wrocław, Poland. (Lecture Notes in Computer Science ; 9323. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-636>
National Diet Library
  • Subject Heading...ical Logic and Formal Languages. Programming Techniques. Sof...

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)
Paper図書
Springerc2014.<M17-14-2123>
National Diet Library
  • Subject HeadingMachine theory--Congresses. Formal languages--Congresses. Mathematical li...

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)
Paper図書
Springerc2009.<M17-10-303>
National Diet Library
  • Subject HeadingFormal languages -- Congresses.

オートマトン・言語理論 第2版 新装版

オートマトン・言語理論 第2版 新装版
Paper図書
富田悦次, 横森貴 共著森北出版2023.10<M121-M715>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）オートマトン理論 Formal languages
  • Alternative TitleAUTOMATA AND FORMAL LANGUAGES
  • Alternative TitleAUTOMATA AND FORMAL LANGUAGES

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)
Paper図書
Springerc2013.<M17-13-2759>
National Diet Library
  • Subject HeadingMachine theory--Congresses. Formal languages--Congresses. Mathematical li...

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)
Paper図書
Springerc2008.<M17-08-2331>
National Diet Library
  • Subject HeadingFormal languages -- Congresses.

Artificial general intelligence : 8th international conference, AGI 2015 : Berlin, Germany, July 22-25, 2015 : proceedings : AGI-15 : AGI2015 : Jul 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9205. Lecture Notes in Artificial Intelligence)

Artificial general intelligence : 8th international conference, AGI 2015 : Berlin, Germany, July 22-25, 2015 : proceedings : AGI-15 : AGI2015 : Jul 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9205. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-502>
National Diet Library
  • Subject Heading...ical Logic and Formal Languages. Algorithm Analysis and Prob...

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)
Paper図書
Springer[2015]<M17-16-587>
National Diet Library
  • Subject Heading...ical Logic and Formal Languages. Mathematics of Computing. A...
RSS