Jump to main content

yr 〜
yr

Search results 47

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 ...... Technologies, Ada-Europe 2015, held in Madrid, Spain, ...
  • Author HeadingAda-Europe International ......a, T. (Tullio) Ada-Europe. Ada-Spain.

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
  • Note (General)...he 33rd annual Ada-Europe conference, (...)" -- introd....
  • Additional Title...echnologies -- Ada-Europe 2013 : 18th Ada-Europe international ......, proceedings. Ada-Europe 2013 : Berlin.
  • Author HeadingAda-Europe International ......lenk, Herbert. Ada-Europe. Ada Deutschland.

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 ......, Luís Miguel. Ada-Europe. Ada-Sweden.

Reliable software technologies : Ada-Europe '99 -- : Reliable software technologies : International conference : 4th : Jun 1999, Santander, Spain. (Lecture Notes in Computer Science ; 1622)

Reliable software technologies : Ada-Europe '99 -- : Reliable software technologies : International conference : 4th : Jun 1999, Santander, Spain. (Lecture Notes in Computer Science ; 1622)
Paper図書
Springer1999.<M17-01-0510>
National Diet Library
  • Author HeadingAda-Europe.

Reliable software technologies : International conference : Jun 1996, Montreux, Switzerland. (Lecture Notes in Computer Science ; 1088)

Reliable software technologies : International conference : Jun 1996, Montreux, Switzerland. (Lecture Notes in Computer Science ; 1088)
Paper図書
Springer1996.<M17-00-0338>
National Diet Library
  • Note (General)Papers. Also known as Ada-Europe '96. Index term: software tec...
  • Alternative TitleAlso known as Ada-Europe '96 software technologies ; A...
  • Alternative TitleAlso known as Ada-Europe '96 software technologies ; A...

Ada in Europe : 2nd International symposium : Oct 1995, Frankfurt am Main, Germany. (Lecture Notes in Computer Science ; 1031)

Ada in Europe : 2nd International symposium : Oct 1995, Frankfurt am Main, Germany. (Lecture Notes in Computer Science ; 1031)
Paper図書
Springer1996.<M17-96-1225>
National Diet Library
  • Author HeadingEurospace. Ada-Europe.

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

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
  • Note (General)Papers. " (...) Ada-Europe 2009 -- was part of a series ...
  • Author Heading...rmarrec, Yvon. Ada-Europe International Conference on R...

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

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

Proceedings, ACM SIGAda Annual International Conference (SIGAda 2001), September 30-October 4, 2001, Twin Cities, Best Western the Thunderbird Hotel & Convention Center, Bloomington, MN, USA

Proceedings, ACM SIGAda Annual International Conference (SIGAda 2001), September 30-October 4, 2001, Twin Cities, Best Western the Thunderbird Hotel & Convention Center, Bloomington, MN, USA
Paper図書
sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with Ada Europe ... [et al.]Association for Computing Machineryc2001
Other Libraries in Japan
  • Author HeadingSIGAda (Conference) SIGAda Ada-Europe

SIGAda 2000, proceedings, Johns Hopkins University. Applied Physics Laboratory, Laurel, MD, USA, November 12-16, 2000

SIGAda 2000, proceedings, Johns Hopkins University. Applied Physics Laboratory, Laurel, MD, USA, November 12-16, 2000
Recording Media電子資料
editor, Clyde Roby ; sponsored by ACM's Special Interest Group on the Ada Programming Language ; in cooperation with Ada-Europe ... [et al.] ; corporate sponsors, Ada Core ... [et al.]Association for Computing Machinery[2000]
Other Libraries in Japan
  • Author HeadingSIGAda (Conference) Roby, Clyde SIGAda Ada-Europe Ada Core

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
  • Note (General)Papers. "This year Ada-Europe was combined w...... -- pref. "The Ada-Europe conference represents the mai...
  • Author HeadingAda-Europe International Conference on R...

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

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

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

Proceedings, ACM SIGAda Annual international conference (SIGAda '99), October 17-21, 1999, Crowne Plaza, Redondo Beach & Marina Hotel, Redondo Beach, CA, USA

Proceedings, ACM SIGAda Annual international conference (SIGAda '99), October 17-21, 1999, Crowne Plaza, Redondo Beach & Marina Hotel, Redondo Beach, CA, USA
Paper図書
sponsored by ACM Special Interest Group on Ada (SIGAda)Association for Computing Machineryc1999
Other Libraries in Japan
  • Author Heading...es ACM Sigsoft Ada-Europe

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

Reliable software technologies -- Ada-Europe 2001 : 6th Ada-Europe international conference on reliable software technologies : Leuven, Belgium, May 14-18, 2001 : proceedings. : May 2001, Leuven, Belgium. (Lecture Notes in Computer Science ; 2043)

Reliable software technologies -- Ada-Europe 2001 : 6th Ada-Europe international conference on reliable software technologies : Leuven, Belgium, May 14-18, 2001 : proceedings. : May 2001, Leuven, Belgium. (Lecture Notes in Computer Science ; 2043)
Paper図書
Springerc2001.<M17-03-4649>
National Diet Library
  • Author Heading... Alfred, 1946- Ada-Europe International Conference (6th...

Proceedings, ACM SIGAda Annual international conference (SIGAda '98), (formerly TriAda), November 8-12, 1998, Omni Shoreham Hotel, Washington DC, USA

Proceedings, ACM SIGAda Annual international conference (SIGAda '98), (formerly TriAda), November 8-12, 1998, Omni Shoreham Hotel, Washington DC, USA
Paper図書
sponsored by ACM Special Interest Group on Ada (SIGAda), in cooperation SIGAPP [et. al.]Association for Computing Machineryc1998
Other Libraries in Japan
  • Author Heading...ltimore SIGAda Ada-Europe
RSS