Jump to main content

yr 〜
yr

Search results 3

Formal modeling and analysis of timed systems : 11th international conference, FORMATS 2013 : Buenos Aires, Argentina, August 29-31, 2013 : proceedings : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8053)

Formal modeling and analysis of timed systems : 11th international conference, FORMATS 2013 : Buenos Aires, Argentina, August 29-31, 2013 : proceedings : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8053)
Paper図書
Springerc2013.<M17-14-580>
National Diet Library
  • Author HeadingFORMATS 2013 (2013 : Buenos Aires, Argentina) Braberman, Víctor. Fribourg, Laurent, 1957-

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL : Paris, France, September 10-13, 2001, proceedings. : Annual conference of the European Association for Computer Science Logic, CSL 2001 : Sep 2001, Paris, France. (Lecture Notes in Computer Science ; 2142)

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL : Paris, France, September 10-13, 2001, proceedings. : Annual conference of the European Association for Computer Science Logic, CSL 2001 : Sep 2001, Paris, France. (Lecture Notes in Computer Science ; 2142)
Paper図書
Springerc2001.<M17-03-2450>
National Diet Library
  • Author Heading... & ENS Cachan) Fribourg, Laurent, 1957- European Association for Comp...

Logic program synthesis and transformation -- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / Laurent Fribourg, Franco Turini (eds.). (Lecture notes in computer science)

Logic program synthesis and transformation -- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings / Laurent Fribourg, Franco Turini (eds.). (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9542>
National Diet Library
  • Author Heading...: Pisa, Italy) Fribourg, Laurent, 1957- Turini, Franco, 1949- META '9...

Reached to the end of result.

RSS