本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springer[2018]<M17-20-853>
国立国会図書館
  • 件名Formal 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)
紙図書
Springer[2014]<M17-15-734>
国立国会図書館
  • 件名Formal 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)
紙図書
Springer[2015]<M17-16-575>
国立国会図書館
  • 件名Formal 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)
紙図書
Springer[2014]<M17-15-1479>
国立国会図書館
  • 件名...)--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)
紙図書
Springer[2015]<M17-16-379>
国立国会図書館
  • 件名...)--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)
紙図書
Springerc2013.<M17-13-3350>
国立国会図書館
  • 件名Formal languages--Congresses.

Handbook of software engineering

Handbook of software engineering
紙図書
Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.Springer[2019]<M154-B232>
国立国会図書館全国の図書館
  • 件名...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)
紙図書
Springerc2011.<M17-12-419>
国立国会図書館
  • 件名Formal 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)
紙図書
Springer[2015]<M17-15-2006>
国立国会図書館
  • 件名Machine 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)
紙図書
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>
国立国会図書館
  • 件名Formal languages--Congresses.
  • 著者標目...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)
紙図書
Springer[2019]<M17-21-667>
国立国会図書館
  • 件名...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)
紙図書
Springer[2015]<M17-16-636>
国立国会図書館
  • 件名...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)
紙図書
Springerc2014.<M17-14-2123>
国立国会図書館
  • 件名Machine 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)
紙図書
Springerc2009.<M17-10-303>
国立国会図書館
  • 件名Formal languages -- Congresses.

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

オートマトン・言語理論 第2版 新装版
紙図書
富田悦次, 横森貴 共著森北出版2023.10<M121-M715>
国立国会図書館全国の図書館
  • 典拠情報（件名/「を見よ」参照）オートマトン理論 Formal languages
  • 並列タイトル等（連結）AUTOMATA AND FORMAL LANGUAGES
  • 並列タイトル等AUTOMATA 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)
紙図書
Springerc2013.<M17-13-2759>
国立国会図書館
  • 件名Machine 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)
紙図書
Springerc2008.<M17-08-2331>
国立国会図書館
  • 件名Formal 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)
紙図書
Springer[2015]<M17-16-502>
国立国会図書館
  • 件名...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)
紙図書
Springer[2015]<M17-16-587>
国立国会図書館
  • 件名...ical Logic and Formal Languages. Mathematics of Computing. A...
RSS