Jump to main content

yr 〜
yr

Search results 5

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

Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings
Paper図書
Laurent Fribourg (ed.)Springerc2001
Other Libraries in Japan
  • Author Heading... Science Logic Fribourg, Laurent

Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings

Logic program synthesis and transformation-- Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings
Paper図書
Laurent Fribourg, Franco Turini (Eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author Heading...Transformation Fribourg, Laurent Turini, Franco International ...

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 f...

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- ...

Reached to the end of result.

RSS