yr 〜
yr

Search results 282

Implementation and application of automata : 18th international conference, CIAA 2013 : Halifax, NS, Canada, July 16-19, 2013 : proceedings : Jul 2013, Halifax, Canada. (Lecture Notes in Computer Science ; 7982)

Implementation and application of automata : 18th international conference, CIAA 2013 : Halifax, NS, Canada, July 16-19, 2013 : proceedings : Jul 2013, Halifax, Canada. (Lecture Notes in Computer Science ; 7982)
Paper図書
Springerc2013.<M17-14-564>
National Diet Library

Implementation and application of automata : 20th international conference, CIAA 2015 : Umeå, Sweden, August 18-21, 2015 : proceedings : Aug 2015, Umeå, Sweden. (Lecture Notes in Computer Science ; 9223)

Implementation and application of automata : 20th international conference, CIAA 2015 : Umeå, Sweden, August 18-21, 2015 : proceedings : Aug 2015, Umeå, Sweden. (Lecture Notes in Computer Science ; 9223)
Paper図書
Springer[2015]<M17-16-514>
National Diet Library

Implementation and application of automata : 16th international conference, CIAA 2011 : Blois, France, July 13-16, 2011 : proceedings : CIAA meeting : Jul 2011, Blois, France. (Lecture Notes in Computer Science ; 6807)

Implementation and application of automata : 16th international conference, CIAA 2011 : Blois, France, July 13-16, 2011 : proceedings : CIAA meeting : Jul 2011, Blois, France. (Lecture Notes in Computer Science ; 6807)
Paper図書
Springerc2011.<M17-12-47>
National Diet Library

Implementation and application of automata : 19th international conference, CIAA 2014 : Giessen, Germany, July 30-August 2, 2014 : proceedings : Jul 2014, Giessen, Germany. (Lecture Notes in Computer Science ; 8587)

Implementation and application of automata : 19th international conference, CIAA 2014 : Giessen, Germany, July 30-August 2, 2014 : proceedings : Jul 2014, Giessen, Germany. (Lecture Notes in Computer Science ; 8587)
Paper図書
Springer[2014]<M17-15-603>
National Diet Library

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

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings : ABZ2014 : Jun 2014, Toulouse, France. (Lecture Notes in Computer Science ; 8477)

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings : ABZ2014 : Jun 2014, Toulouse, France. (Lecture Notes in Computer Science ; 8477)
Paper図書
Springer[2014]<M17-15-591>
National Diet Library

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

Implementation and application of automata : 14th international conference, CIAA 2009 : Sydney, Australia, July 14-17, 2009 : proceedings. : Jul 2009, Sydney, Australia. (Lecture Notes in Computer Science ; 5642)

Implementation and application of automata : 14th international conference, CIAA 2009 : Sydney, Australia, July 14-17, 2009 : proceedings. : Jul 2009, Sydney, Australia. (Lecture Notes in Computer Science ; 5642)
Paper図書
Springerc2009.<M17-10-385>
National Diet Library
  • Subject HeadingMachine theory -- Congresses.

2012 IEEE 53rd annual symposium on foundations of computer science : (FOCS 2012) : New Brunswick, New Jersey, USA : 20-23 October 2012 : Oct 2012, New Brunswick, NJ.

2012 IEEE 53rd annual symposium on foundations of computer science : (FOCS 2012) : New Brunswick, New Jersey, USA : 20-23 October 2012 : Oct 2012, New Brunswick, NJ.
Paper図書
IEEEc2012.<M17-13-2595>
National Diet Library

2014 IEEE 55th annual symposium on foundations of computer science : (FOCS 2014) : Philadelphia, Pennsylvania, USA : 18-21 October 2014 : Oct 2014, Philadelphia, PA.

2014 IEEE 55th annual symposium on foundations of computer science : (FOCS 2014) : Philadelphia, Pennsylvania, USA : 18-21 October 2014 : Oct 2014, Philadelphia, PA.
Paper図書
IEEE[2014]<M17-15-1462>
National Diet Library

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

Implementation and application of automata : 15th international conference, CIAA 2010 : Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers. : CIAA meeting : Aug 2010, Winnipeg, Canada. (Lecture Notes in Computer Science ; 6482)

Implementation and application of automata : 15th international conference, CIAA 2010 : Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers. : CIAA meeting : Aug 2010, Winnipeg, Canada. (Lecture Notes in Computer Science ; 6482)
Paper図書
Springerc2011.<M17-11-2109>
National Diet Library
  • Subject HeadingMachine theory -- Congresses. Automat <Automatentheorie> Th...

2015 IEEE 56th annual symposium on foundations of computer science (FOCS 2015) : Berkeley, California, USA : 17-20 October 2015 : Oct 2015, Berkeley, CA.

2015 IEEE 56th annual symposium on foundations of computer science (FOCS 2015) : Berkeley, California, USA : 17-20 October 2015 : Oct 2015, Berkeley, CA.
Paper図書
IEEE[2015]<M17-17-915>
National Diet Library

Implementation and application of automata : 12th international conference, CIAA 2007 : Prague, Czech Republic, July 16-18, 2007 : revised selected papers. : Jul 2007, Prague, Czech Republic. (Lecture Notes in Computer Science ; 4783)

Implementation and application of automata : 12th international conference, CIAA 2007 : Prague, Czech Republic, July 16-18, 2007 : revised selected papers. : Jul 2007, Prague, Czech Republic. (Lecture Notes in Computer Science ; 4783)
Paper図書
Springerc2007.<M17-08-510>
National Diet Library
  • Subject HeadingMachine theory -- Congresses.

Prediction and discovery : AMS-IMS-SIAM joint summer research conference : machine and statistical learning: prediction and discovery : June 25-29, 2006 : Snowbird, Utah. : Jun 2006, Snowbird, UT. (Contemporary Mathematics ; 443)

Prediction and discovery : AMS-IMS-SIAM joint summer research conference : machine and statistical learning: prediction and discovery : June 25-29, 2006 : Snowbird, Utah. : Jun 2006, Snowbird, UT. (Contemporary Mathematics ; 443)
Paper図書
American Mathematical Societyc2007.<M17-08-82>
National Diet Library
  • Subject HeadingMachine theory -- Congresses.

2010 IEEE 51st annual symposium on foundations of computer science : (FOCS 2010) : Las Vegas, Nevada, USA : 23-26 October 2010. : Oct 2010, Las Vegas, NV.

2010 IEEE 51st annual symposium on foundations of computer science : (FOCS 2010) : Las Vegas, Nevada, USA : 23-26 October 2010. : Oct 2010, Las Vegas, NV.
Paper図書
IEEEc2010.<M17-11-1456>
National Diet Library
  • Subject HeadingElectronic data processing -- Congresses. Machine theory -- Congresses.

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)
Paper図書
Springerc2009.<M17-10-523>
National Diet Library
  • Subject HeadingMachine theory -- Congresses. Formal languages -- Congresse...

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)
Paper図書
Springerc2013.<M17-14-574>
National Diet Library

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)
Paper図書
Springerc2011.<M17-12-46>
National Diet Library

2009 50th annual IEEE symposium on foundations of computer science : (FOCS 2009) : Atlanta, Georgia, USA : 25-27 October 2009. : Oct 2009, Atlanta, GA.

2009 50th annual IEEE symposium on foundations of computer science : (FOCS 2009) : Atlanta, Georgia, USA : 25-27 October 2009. : Oct 2009, Atlanta, GA.
Paper図書
IEEEc2009.<M17-10-3499>
National Diet Library
  • Subject HeadingElectronic data processing -- Congresses. Machine theory -- Congresses.