Jump to main content

yr 〜
yr

Search results 84

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)
Paper図書
Springer[2014]<M17-15-1257>
National Diet Library
  • Author Heading...ün, G. (Gwen) Inria.

Code source

Code source
Paper図書
INRIAEDP Sciencesc2007
Other Libraries in Japan

Biomedical simulation : 6th international symposium, ISBMS 2014 : Strasbourg, France, October 16-17, 2014 : proceedings : Oct 2014, Strasbourg, France. (Lecture Notes in Computer Science ; 8789)

Biomedical simulation : 6th international symposium, ISBMS 2014 : Strasbourg, France, October 16-17, 2014 : proceedings : Oct 2014, Strasbourg, France. (Lecture Notes in Computer Science ; 8789)
Paper図書
Springer[2014]<M17-15-1266>
National Diet Library
  • Author HeadingISBMS 2014 (2014 : Strasbourg, France) Bello, Fernando. Cotin, Stéphane. Inria. SHACRA Team.

Programming of future generation computers : 1st France-Japanese artificial intelligence and science symposium : Oct 1986, Tokyo, Japan.

Programming of future generation computers : 1st France-Japanese artificial intelligence and science symposium : Oct 1986, Tokyo, Japan.
Paper図書
North-Holland1988.<M17-88-1595>
National Diet Library
  • Author HeadingICOT. INRIA.

Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2014 : Nancy, France, September 15-19, 2014 : proceedings : European conferences on machine learning (ECML) and on principles and practice of knowledge discovery in data bases (PKDD) : ECML/PKDD : Sep 2014, Nancy, France. (Lecture Notes in Computer Science ; 8724-8726. Lecture Notes in Artificial Intelligence)

Machine learning and knowledge discovery in databases : European conference, ECML PKDD 2014 : Nancy, France, September 15-19, 2014 : proceedings : European conferences on machine learning (ECML) and on principles and practice of knowledge discovery in data bases (PKDD) : ECML/PKDD : Sep 2014, Nancy, France. (Lecture Notes in Computer Science ; 8724-8726. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-555>
National Diet Library

Reversible computation : 7th international conference, RC 2015 : Grenoble, France, July 16-17, 2015 : proceedings : RC events : Jul 2015, Grenoble, France. (Lecture Notes in Computer Science ; 9138)

Reversible computation : 7th international conference, RC 2015 : Grenoble, France, July 16-17, 2015 : proceedings : RC events : Jul 2015, Grenoble, France. (Lecture Notes in Computer Science ; 9138)
Paper図書
Springer[2015]<M17-16-396>
National Diet Library

Proceedings, 33rd technology of object-oriented languages and systems, TOOLS 33, June 5-8, 2000, Mont-Saint-Michel, France :case

Proceedings, 33rd technology of object-oriented languages and systems, TOOLS 33, June 5-8, 2000, Mont-Saint-Michel, France :case
Paper図書
edited by Richard Mitchell ... [et al.] ; sponsored by DGA ...[et al.] ; in cooperation with INRIA, Interactive Software EngineeringIEEE Computer Society2000
Other Libraries in Japan

15th IFAC symposium on system identification 2009 : Saint-Malo, France : 6-8 July 2009. : SYSID 2009 : Jul 2009, Saint-Malo, France.

15th IFAC symposium on system identification 2009 : Saint-Malo, France : 6-8 July 2009. : SYSID 2009 : Jul 2009, Saint-Malo, France.
Paper図書
IFACc2009.<M17-10-3181>
National Diet Library

2015 2nd international conference on information and communication technologies for disaster management : (ICT-DM 2015) : Rennes, France : 30 November-2 December 2015 : ICT DM 2015 : Nov 2015, Rennes, France.

2015 2nd international conference on information and communication technologies for disaster management : (ICT-DM 2015) : Rennes, France : 30 November-2 December 2015 : ICT DM 2015 : Nov 2015, Rennes, France.
Paper図書
IEEE[2015]<M17-17-1123>
National Diet Library

Proceedings, 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998 microfiche

Proceedings, 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998 microfiche
Paper図書
sponsors IFIP WG 10.3, IEEE Computer Society, INRIA, ACM ...etc.IEEE Computer Society Pressc1998
Other Libraries in Japan

Algorithms in bioinformatics : 13th international workshop, WABI 2013 : Sophia Antipolis, France, September 2-4, 2013 : proceedings : ALGO 2013 conference meetings : Sep 2013, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 8126. Lecture Notes in Bioinformatics)

Algorithms in bioinformatics : 13th international workshop, WABI 2013 : Sophia Antipolis, France, September 2-4, 2013 : proceedings : ALGO 2013 conference meetings : Sep 2013, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 8126. Lecture Notes in Bioinformatics)
Paper図書
Springerc2013.<M17-14-749>
National Diet Library

ACM symposium on virtual reality software and technology : (VRST 2008) : Bordeaux, France : 27-29 October 2008. : Oct 2008, Bordeaux, France.

ACM symposium on virtual reality software and technology : (VRST 2008) : Bordeaux, France : 27-29 October 2008. : Oct 2008, Bordeaux, France.
Paper図書
Association for Computing Machineryc2008.<M17-09-2075>
National Diet Library

Computer vision/computer graphics collaboration techniques : 4th international conference, MIRAGE 2009 : Rocquencourt, France, May 4-6, 2009 : proceedings. : May 2009, Rocquencourt, France. (Lecture Notes in Computer Science ; 5496)

Computer vision/computer graphics collaboration techniques : 4th international conference, MIRAGE 2009 : Rocquencourt, France, May 4-6, 2009 : proceedings. : May 2009, Rocquencourt, France. (Lecture Notes in Computer Science ; 5496)
Paper図書
Springerc2009.<M17-10-1659>
National Diet Library

Functional imaging and modeling of the heart : 5th international conference, FIMH 2009 : Nice, France, June 3-5, 2009 : proceedings. : Jun 2009, Nice, France. (Lecture Notes in Computer Science ; 5528)

Functional imaging and modeling of the heart : 5th international conference, FIMH 2009 : Nice, France, June 3-5, 2009 : proceedings. : Jun 2009, Nice, France. (Lecture Notes in Computer Science ; 5528)
Paper図書
Springerc2009.<M17-10-747>
National Diet Library

Computer vision/computer graphics collaboration techniques : 5th international conference, MIRAGE 2011 : Rocquencourt, France, October 10-11, 2011 : proceedings : Oct 2011, Rocquencourt, France. (Lecture Notes in Computer Science ; 6930)

Computer vision/computer graphics collaboration techniques : 5th international conference, MIRAGE 2011 : Rocquencourt, France, October 10-11, 2011 : proceedings : Oct 2011, Rocquencourt, France. (Lecture Notes in Computer Science ; 6930)
Paper図書
Springerc2011.<M17-12-1308>
National Diet Library

Active and programmable networks : IFIP TC6 7th international working conference, IWAN 2005 : Sophia Antipolis, France, November 21-23, 2005 : revised papers. : Nov 2005, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 4388)

Active and programmable networks : IFIP TC6 7th international working conference, IWAN 2005 : Sophia Antipolis, France, November 21-23, 2005 : revised papers. : Nov 2005, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 4388)
Paper図書
Springerc2009.<M17-09-1665>
National Diet Library

Computer vision/computer graphics collaboration techniques : third international conference, MIRAGE 2007 : Rocquencourt, France, March 28-30, 2007 : proceedings. : Mar 2007, Rocquencourt, France. (Lecture Notes in Computer Science ; 4418)

Computer vision/computer graphics collaboration techniques : third international conference, MIRAGE 2007 : Rocquencourt, France, March 28-30, 2007 : proceedings. : Mar 2007, Rocquencourt, France. (Lecture Notes in Computer Science ; 4418)
Paper図書
Springerc2007.<M17-07-2927>
National Diet Library

Medical image computing and computer-assisted intervention -- MICCAI 2012 : 15th international conference : Nice, France, October 1-5, 2012 : proceedings : 15th international conference on medical image computing and computer assisted intervention : Oct 2012, Nice, France. (Lecture Notes in Computer Science ; 7510-7512)

Medical image computing and computer-assisted intervention -- MICCAI 2012 : 15th international conference : Nice, France, October 1-5, 2012 : proceedings : 15th international conference on medical image computing and computer assisted intervention : Oct 2012, Nice, France. (Lecture Notes in Computer Science ; 7510-7512)
Paper図書
Springerc2012.<M17-13-1488>
National Diet Library

Latent variable analysis and signal separation : 9th international conference, LVA/ICA 2010 : St. Malo, France, September 27-30, 2010 : proceedings. : SiSEC 2010 : SiSEC2010 : 2010 community-based signal separation evaluation campaign : Sep 2010, St. Malo, France. (Lecture Notes in Computer Science ; 6365)

Latent variable analysis and signal separation : 9th international conference, LVA/ICA 2010 : St. Malo, France, September 27-30, 2010 : proceedings. : SiSEC 2010 : SiSEC2010 : 2010 community-based signal separation evaluation campaign : Sep 2010, St. Malo, France. (Lecture Notes in Computer Science ; 6365)
Paper図書
Springerc2010.<M17-11-254>
National Diet Library

Euro-Par 2007 workshops : parallel processing : HPPC 2007, UNICORE Summit 2007, and VHPC 2007 : Rennes, France, August 28-31, 2007 : revised selected papers. : Euro-Par conference : 1st workshop on highly parallel processing on a chip : workshop on virtualization/xen in high-performance cluster and grid computing : workshops on virtualization/xen in HPC cluster and grid computing environments : Aug 2007, Rennes, France. (Lecture Notes in Computer Science ; 4854)

Euro-Par 2007 workshops : parallel processing : HPPC 2007, UNICORE Summit 2007, and VHPC 2007 : Rennes, France, August 28-31, 2007 : revised selected papers. : Euro-Par conference : 1st workshop on highly parallel processing on a chip : workshop on virtualization/xen in high-performance cluster and grid computing : workshops on virtualization/xen in HPC cluster and grid computing environments : Aug 2007, Rennes, France. (Lecture Notes in Computer Science ; 4854)
Paper図書
Springerc2008.<M17-08-2314>
National Diet Library
RSS