Jump to main content

yr 〜
yr

Search results 6

Smart card research and advanced applications : 13th international conference, CARDIS 2014 : Paris, France, November 5-7, 2014 : revised selected papers : 13th smart card research and advanced application conference : Nov 2014, Paris, France. (Lecture Notes in Computer Science ; 8968)

Smart card research and advanced applications : 13th international conference, CARDIS 2014 : Paris, France, November 5-7, 2014 : revised selected papers : 13th smart card research and advanced application conference : Nov 2014, Paris, France. (Lecture Notes in Computer Science ; 8968)
Paper図書
Springer[2015]<M17-15-2005>
National Diet Library
  • Author Heading... Moradi, Amir. Conservatoire National des Arts et Metiers (CNAM)

FM 2012: formal methods : 18th international symposium : Paris, France, August 27-31, 2012 : proceedings : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7436)

FM 2012: formal methods : 18th international symposium : Paris, France, August 27-31, 2012 : proceedings : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7436)
Paper図書
Springerc2012.<M17-13-587>
National Diet Library
  • Author Heading...ethods Europe. Conservatoire National des Arts et Metiers (CNAM) International Symposium of Fo...

Entertainment computing -- ICEC 2009 : 8th international conference : Paris, France, September 3-5, 2009 : proceedings. : Sep 2009, Paris, France. (Lecture Notes in Computer Science ; 5709)

Entertainment computing -- ICEC 2009 : 8th international conference : Paris, France, September 3-5, 2009 : proceedings. : Sep 2009, Paris, France. (Lecture Notes in Computer Science ; 5709)
Paper図書
Springerc2009.<M17-10-1701>
National Diet Library
  • Author HeadingConservatoire National des Arts et Metiers (CNAM) Natkin, Stéphane. Dupire, Jér...

EuroSys'10 : proceedings of the EuroSys 2010 conference : April 13-16, 2010 : Paris, France. : 5th ACM EuroSys conference on computer systems : Apr 2010, Paris, France.

EuroSys'10 : proceedings of the EuroSys 2010 conference : April 13-16, 2010 : Paris, France. : 5th ACM EuroSys conference on computer systems : Apr 2010, Paris, France.
Paper図書
Association for Computing Machineryc2010.<M17-10-4089>
National Diet Library
  • Author Heading...uller, Gilles. Conservatoire National des Arts et Metiers (CNAM) European Conference on Comput...

Formal techniques for networked and distributed systems -- FORTE 2006 : 26th IFIP WG 6.1 international conference : Paris, France, September 26-29, 2006 : proceedings. : 26th IFIP WG 6.1 international conference on formal methods for networked and distributed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4229)

Formal techniques for networked and distributed systems -- FORTE 2006 : 26th IFIP WG 6.1 international conference : Paris, France, September 26-29, 2006 : proceedings. : 26th IFIP WG 6.1 international conference on formal methods for networked and distributed systems : Sep 2006, Paris, France. (Lecture Notes in Computer Science ; 4229)
Paper図書
Springerc2006.<M17-07-191>
National Diet Library
  • Author HeadingConservatoire National des Arts et Metiers (CNAM) . Lab. CEDRIC. Najm, Elie. Pr...

GAAS 96 : 4th European gallium arsenide and related III-V compounds application symposium : Jun 1996, Paris, France.

GAAS 96 : 4th European gallium arsenide and related III-V compounds application symposium : Jun 1996, Paris, France.
Paper図書
<M17-96-2335>
National Diet Library
  • Author HeadingConservatoire National des Arts et Metiers (CNAM) Ile-de-France Microwave Netwo...

Reached to the end of result.

RSS