Jump to main content

yr 〜
yr

Search results 25

Reliable software technologies--Ada-Europe 2014 : 19th Ada-Europe international conference on reliable software technologies : Paris, France, June 23-27, 2014 : proceedings : Jun 2014, Paris, France. (Lecture Notes in Computer Science ; 8454)

Reliable software technologies--Ada-Europe 2014 : 19th Ada-Europe international conference on reliable software technologies : Paris, France, June 23-27, 2014 : proceedings : Jun 2014, Paris, France. (Lecture Notes in Computer Science ; 8454)
Paper図書
Springer[2014]<M17-15-752>
National Diet Library
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies (19th : 2014 : Paris, France)...

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)
Paper図書
Springer[2015]<M17-16-371>
National Diet Library
  • Summary, etc....gs of the 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015, held in Mad...
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies (20th : 2015 : Madrid, Spain)...

Reliable software technologies -- Ada-Europe 2012 : 17th Ada-Europe international conference on reliable software technologies : Stockholm, Sweden, June 11-15, 2012 : proceedings : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7308)

Reliable software technologies -- Ada-Europe 2012 : 17th Ada-Europe international conference on reliable software technologies : Stockholm, Sweden, June 11-15, 2012 : proceedings : Jun 2012, Stockholm, Sweden. (Lecture Notes in Computer Science ; 7308)
Paper図書
Springerc2012.<M17-12-4090>
National Diet Library
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies (17th : 2012 : Stockholm, Swe...

Reliable software technologies -- Ada-Europe 2009 : 14th Ada-Europe international conference on reliable software technologies : Brest, France, June 8-12, 2009 : proceedings. : Jun 2009, Brest, France. (Lecture Notes in Computer Science ; 5570)

Reliable software technologies -- Ada-Europe 2009 : 14th Ada-Europe international conference on reliable software technologies : Brest, France, June 8-12, 2009 : proceedings. : Jun 2009, Brest, France. (Lecture Notes in Computer Science ; 5570)
Paper図書
Springerc2009.<M17-09-2114>
National Diet Library
  • Author Heading...rmarrec, Yvon. Ada-Europe International Conference on Reliable Software Technologies (14th : 2009 : Brest, France)

Reliable software technologies -- Ada Europe 2013 : 18th Ada-Europe international conference on reliable software technologies : Berlin, Germany, June 10-14 2013, proceedings : Jun 2013, Berlin, Germany. (Lecture Notes in Computer Science ; 7896)

Reliable software technologies -- Ada Europe 2013 : 18th Ada-Europe international conference on reliable software technologies : Berlin, Germany, June 10-14 2013, proceedings : Jun 2013, Berlin, Germany. (Lecture Notes in Computer Science ; 7896)
Paper図書
Springerc2013.<M17-13-3343>
National Diet Library
  • Additional Title...pe 2013 : 18th Ada-Europe international conference on reliable software technologies : Berlin, Germany, June 2013,...
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies (18th : 2013 : Berlin, German...

Reliable software technologies -- Ada-Europe 2008 : 13th Ada-Europe international conference on reliable software technologies : Venice, Italy, June 16-20, 2008 : proceedings. : Jun 2008, Venice, Italy. (Lecture Notes in Computer Science ; 5026)

Reliable software technologies -- Ada-Europe 2008 : 13th Ada-Europe international conference on reliable software technologies : Venice, Italy, June 16-20, 2008 : proceedings. : Jun 2008, Venice, Italy. (Lecture Notes in Computer Science ; 5026)
Paper図書
Springerc2008.<M17-08-1932>
National Diet Library
  • Author Heading...a, T. (Tullio) Ada-Europe International Conference on Reliable Software Technologies (13th : 2008 : Venice, Italy)

Reliable software technologies -- Ada-Europe 2007 : 12th Ada-Europe international conference on reliable software technologies : Geneva, Switzerland, June 25-29, 2007 : proceedings. : Jun 2007, Geneva, Switzerland. (Lecture Notes in Computer Science ; 4498)

Reliable software technologies -- Ada-Europe 2007 : 12th Ada-Europe international conference on reliable software technologies : Geneva, Switzerland, June 25-29, 2007 : proceedings. : Jun 2007, Geneva, Switzerland. (Lecture Notes in Computer Science ; 4498)
Paper図書
Springerc2007.<M17-07-1741>
National Diet Library
  • Author Heading...rdon, Fabrice. Ada-Europe International Conference on Reliable Software Technologies (12th : 2007 : Geneva, Switze...

Reliable software technologies -- Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies : Edinburgh, UK, June 20-24, 2011 : proceedings : Jun 2011, Edinburgh, UK. (Lecture Notes in Computer Science ; 6652)

Reliable software technologies -- Ada-Europe 2011 : 16th Ada-Europe international conference on reliable software technologies : Edinburgh, UK, June 20-24, 2011 : proceedings : Jun 2011, Edinburgh, UK. (Lecture Notes in Computer Science ; 6652)
Paper図書
Springerc2011.<M17-12-15>
National Diet Library
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies (16th : 2011 : Edinburgh, Sco...

Reliable software technologies -- Ada-Europe 2010 : 15th Ada-Europe international conference on reliable software technologies : Valencia, Spain, June 14-18, 2010 : proceedings. : Jun 2010, Valencia, Spain. (Lecture Notes in Computer Science ; 6106)

Reliable software technologies -- Ada-Europe 2010 : 15th Ada-Europe international conference on reliable software technologies : Valencia, Spain, June 14-18, 2010 : proceedings. : Jun 2010, Valencia, Spain. (Lecture Notes in Computer Science ; 6106)
Paper図書
Springerc2010.<M17-10-3346>
National Diet Library
  • Author Heading... Group on Ada. Ada-Europe International Conference on Reliable Software Technologies (15th : 2010 : Valencia, Spai...

Reliable software technologies -- Ada-Europe 2006 : 11th Ada-Europe international conference on reliable software technologies : Porto, Portugal, June 5-9, 2006 : proceedings. : Jun 2006, Porto, Portugal. (Lecture Notes in Computer Science ; 4006)

Reliable software technologies -- Ada-Europe 2006 : 11th Ada-Europe international conference on reliable software technologies : Porto, Portugal, June 5-9, 2006 : proceedings. : Jun 2006, Porto, Portugal. (Lecture Notes in Computer Science ; 4006)
Paper図書
Springerc2006.<M17-06-1898>
National Diet Library
  • Author Heading...Michael, 1960- Ada-Europe International Conference on Reliable Software Technologies (11th : 2006 : Porto, Portuga...

Reliable software technologies -- Ada-Europe 2004 : 9th Ada-Europe international conference on reliable software technologies : Palma de Mallorca, Spain, June 14-18, 2004 : proceedings. : Jun 2004, Palma de Mallorca, Spain. (Lecture Notes in Computer Science ; 3063)

Reliable software technologies -- Ada-Europe 2004 : 9th Ada-Europe international conference on reliable software technologies : Palma de Mallorca, Spain, June 14-18, 2004 : proceedings. : Jun 2004, Palma de Mallorca, Spain. (Lecture Notes in Computer Science ; 3063)
Paper図書
Springerc2004.<M17-04-3044>
National Diet Library
  • Author Heading... Alfred, 1946- Ada-Europe International Conference on Reliable Software Technologies (9th : 2004 : Palma de Mallor...

Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies Geneva, Switzerland, June 25-29, 2007 : proceedings

Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies Geneva, Switzerland, June 25-29, 2007 : proceedings
Paper図書
Nabil Abdennadher, Fabrice Kordon (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies Abdennadher, Nabil Kordon, Fa...

Reliable software technologies -- Ada-Europe 2003 : 8th Ada-Europe international conference on reliable software technologies : Toulouse, France, June 16-20, 2003 : proceedings. : Jun 2003, Toulouse, France. (Lecture Notes in Computer Science ; 2655)

Reliable software technologies -- Ada-Europe 2003 : 8th Ada-Europe international conference on reliable software technologies : Toulouse, France, June 16-20, 2003 : proceedings. : Jun 2003, Toulouse, France. (Lecture Notes in Computer Science ; 2655)
Paper図書
Springerc2003.<M17-04-556>
National Diet Library
  • Author Heading... Alfred, 1946- Ada-Europe International Conference on Reliable Software Technologies (8th : 2003 : Toulouse, Franc...

Reliable software technologies -- ADA-Europe 2002 : 7th Ada-Europe international conference on reliable software technologies. : Jun 2002, Vienna, Austria. (Lecture Notes in Computer Science ; 2361)

Reliable software technologies -- ADA-Europe 2002 : 7th Ada-Europe international conference on reliable software technologies. : Jun 2002, Vienna, Austria. (Lecture Notes in Computer Science ; 2361)
Paper図書
Springer2002.<M17-03-65>
National Diet Library
  • Author Heading...versität Wien. Ada-Europe International Conference on Reliable Software Technologies (7th : 2002 : Vienna, Austria...

Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings

Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings
Paper図書
Luís Miguel Pinho, Michael González Harbour (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies Pinho, Luís Miguel González-H...

Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings

Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings
Paper図書
Tullio Vardanega, Andy Wellings (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies Vardanega, T. (Tullio) Wellin...

Reliable software technologies - Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings

Reliable software technologies - Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
Paper図書
Albert Llamosí, Alfred Strohmeier (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies Llamosí, Albert Strohmeier, A...

Reliable software technologies -- Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Reliable software technologies -- Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings
Paper図書
Johann Blieberger, Alfred Strohmeier (eds.)Springerc2002
Other Libraries in Japan
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies Blieberger, Johann Strohmeier...

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings

Reliable software technologies - Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : proceedings
Paper図書
Jean-Pierre Rosen, Alfred Strohmeier (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies Rosen, Jean-Pierre Strohmeier...

Reliable software technologies-Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings

Reliable software technologies-Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings
Paper図書
Dirk Craeynest, Alfred Strohmeier (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingAda-Europe International Conference on Reliable Software Technologies Craeynest, Dirk Strohmeier, A...
RSS