本文に飛ぶ

年 〜
年

検索結果 45 件

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)
紙図書
Springerc2013.<M17-13-3343>
国立国会図書館
  • 件名Ada (Computer program language)--Congresses. Computer software--Reliabilit...

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)
紙図書
Springerc2012.<M17-12-4090>
国立国会図書館
  • 件名...y--Congresses. Ada (Computer program language)--Congresses. Software engineering--Congres...

Proceedings of the ACM SIGAda annual international conference (SIGAda 2004) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 14-18, 2004 : Double Tree Hotel -- Atlanta/Buckhead : Atlanta, Georgia, USA. : 2004 annual international conference of ACM's Special Interest Group on Ada (SIGAda) : Nov 2004, Atlanta, GA.

Proceedings of the ACM SIGAda annual international conference (SIGAda 2004) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 14-18, 2004 : Double Tree Hotel -- Atlanta/Buckhead : Atlanta, Georgia, USA. : 2004 annual international conference of ACM's Special Interest Group on Ada (SIGAda) : Nov 2004, Atlanta, GA.
紙図書
ACM Pressc2004.<M17-06-864>
国立国会図書館

HILT 2014 : proceedings of the ACM conference on high integrity language technology : October 18-21, 2014 : Portland, OR, USA : ACM SIGAda's annual international conference high integrity language technology : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : Oct 2014, Portland, OR.

HILT 2014 : proceedings of the ACM conference on high integrity language technology : October 18-21, 2014 : Portland, OR, USA : ACM SIGAda's annual international conference high integrity language technology : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : Oct 2014, Portland, OR.
紙図書
The Association for Computing Machinery[2014]<M17-16-52>
国立国会図書館
  • 件名...n--Congresses. Ada (Computer program language)--Congresses. Computer software--Reliabilit...

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)
紙図書
Springerc2006.<M17-06-1898>
国立国会図書館

HILT'13 : proceedings of the ACM conference on high integrity language technology : November 10-14, 2013 : Pittsburgh, PA, USA : ACM SIGAda's annual international conference high integrity language technology : HILT 2013 : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : HILT'13 tutorial : Nov 2013, Pittsburgh, PA.

HILT'13 : proceedings of the ACM conference on high integrity language technology : November 10-14, 2013 : Pittsburgh, PA, USA : ACM SIGAda's annual international conference high integrity language technology : HILT 2013 : annual international conference of the ACM Special Interest Group on the Ada Programming Language (SIGAda) : HILT'13 tutorial : Nov 2013, Pittsburgh, PA.
紙図書
The Association for Computing Machinery[2013]<M17-16-51>
国立国会図書館
  • 件名...n--Congresses. Ada (Computer program language)--Congresses. Computer software--Reliabilit...

ACM SIGAda annual international conference (SIGAda 2001) : proceedings : September 30-October 4, 2001 : Twin Cities Best Western The Thunderbird Hotel & Convention Center : Bloomington, MN USA. : Sep 2001, Bloomington, MN.

ACM SIGAda annual international conference (SIGAda 2001) : proceedings : September 30-October 4, 2001 : Twin Cities Best Western The Thunderbird Hotel & Convention Center : Bloomington, MN USA. : Sep 2001, Bloomington, MN.
紙図書
Association for Computing Machineryc2001.<M17-03-2808>
国立国会図書館

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)
紙図書
Springerc2001.<M17-03-4649>
国立国会図書館

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)
紙図書
Springerc2004.<M17-04-3044>
国立国会図書館

SIGAda 2000 : international conference : 12-16 November, 2000 : Johns Hopkins University/Applied Physics Laboratory : Laurel, MD. Nov 2000, Laurel, MD.

SIGAda 2000 : international conference : 12-16 November, 2000 : Johns Hopkins University/Applied Physics Laboratory : Laurel, MD. Nov 2000, Laurel, MD.
記録メディア電子資料
ACMc2000.<M17-YH-08-187>
国立国会図書館

Ada in Europe : first International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings / Marcel Toussaint, ed. (Lecture notes in computer science)

Ada in Europe : first International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings / Marcel Toussaint, ed. (Lecture notes in computer science)
紙図書
Springer-Verlagc1994.<M15-A9541>
国立国会図書館

Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada sans frontières", Paris, France, June 14-18, 1993 : proceedings / Michel Gauthier (ed.). (Lecture notes in computer science)

Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada sans frontières", Paris, France, June 14-18, 1993 : proceedings / Michel Gauthier (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1993.<M15-A8821>
国立国会図書館

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings / J. van Katwijk (ed.). (Lecture notes in computer science)

Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings / J. van Katwijk (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1992.<M15-A8222>
国立国会図書館

Ada, the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13-17, 1991 : proceedings / Dimitris Christodoulakis (ed.). (Lecture notes in computer science)

Ada, the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13-17, 1991 : proceedings / Dimitris Christodoulakis (ed.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1991.<M15-A7532>
国立国会図書館

ACM SIGAda Annual International Conference : SIGAda '06 : November 12-16, 2006, Albuquerque, New Mexico, USA [: pbk]

ACM SIGAda Annual International Conference : SIGAda '06 : November 12-16, 2006, Albuquerque, New Mexico, USA [: pbk]
紙図書
Association for Computing Machineryc2006
全国の図書館

Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA

Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2005) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 13-17, 2005, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA
紙図書
sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP, SIGCAS, SIGCSE, SIGPLAN, SIGSOFT & Ada EuropeACM Pressc2005
全国の図書館

Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2004) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 14-18, 2004, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA [: pbk]

Proceedings of the ACM SIGAda Annual International Conference (SIGAda 2004) : the engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies : November 14-18, 2004, Double Tree Hotel-Atlanta/Buckhead, Atlanta, Georgia, USA [: pbk]
紙図書
sponsored by the ACM Special Interest Group on Ada (SIGAda) ; in cooperation with SIGAPP ... [et al.]Association for Computing Machineryc2004
全国の図書館

System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds. (Lecture notes in computer science)

System development and Ada / CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds. (Lecture notes in computer science)
紙図書
Springer-Verlagc1987.<M15-A3663>
国立国会図書館

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis. (Lecture notes in computer science)

Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis. (Lecture notes in computer science)
紙図書
Springer-Verlag1984.<M15-A2883>
国立国会図書館

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
紙図書
Johann Blieberger, Alfred Strohmeier (eds.)Springerc2002
全国の図書館
RSS