Jump to main content

yr 〜
yr

Search results 4

Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France. (Lecture Notes in Computer Science ; 6528)

Formal verification of object-oriented software : international conference, FoVeOOS 2010 : Paris, France, June 28-30, 2010 : revised selected papers. : Jun 2010, Paris, France. (Lecture Notes in Computer Science ; 6528)
Paper図書
Springerc2011.<M17-11-1891>
National Diet Library
  • Author Heading...ert, Bernhard. Marché, Claude. FoVeOOS 2010 (2010 : Paris, ...

Barrages : crues de rupture et protection civile

Barrages : crues de rupture et protection civile
Paper図書
Claude Marche ; préface de Gérard VerzeniPresses internationales Polytechniquec2004
Other Libraries in Japan
  • Author HeadingMarche, Claude

Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures

Constraints in computational logics : theory and applications : International Summer School, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures
Digital図書
Hubert Comon, Claude Marché, Ralf Treinen (eds.)Springer1899
Other Libraries in Japan
  • Author HeadingCCL Comon, Hubert Marché, Claude Treinen, Ralf

LE PROTEE (PROTEUS ANGUINUS LAURENTI 1768) RECHRCHES MORPHOLOGIQUES ET COMPARATIVES SUR L'APPAREIL HYOBRANCHIAL

LE PROTEE (PROTEUS ANGUINUS LAURENTI 1768) RECHRCHES MORPHOLOGIQUES ET COMPARATIVES SUR L'APPAREIL HYOBRANCHIAL
Paper博士論文
Marche, Claude.Université Paul Sabatier (Université de Toulouse III)1976.<M-DIFR-1307>
National Diet Library
  • Author HeadingMarche, Claude.

Reached to the end of result.

RSS