本文に飛ぶ

年 〜
年

検索結果 140 件

Ada 2005 rationale : the language, the standard libraries / John Barnes. (Lecture notes in computer science ; 5020)

Ada 2005 rationale : the language, the standard libraries / John Barnes. (Lecture notes in computer science ; 5020)
紙図書
Springerc2008.<X>
国立国会図書館
  • LCCQA76.73.A35

Concurrent and real-time programming in Ada 2005 / Alan Burns and Andy Wellings.

Concurrent and real-time programming in Ada 2005 / Alan Burns and Andy Wellings.
紙図書
Cambridge University Press2007.<M159-B80>
国立国会図書館
  • LCCQA76.73.A35

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>
国立国会図書館
  • LCCQA76.73.A35

Building parallel, embedded, and real-time applications with Ada : hardback

Building parallel, embedded, and real-time applications with Ada : hardback
紙図書
John W. McCormick, Frank Singhoff, Jérôme HuguesCambridge University Press2011
全国の図書館
  • LCCQA76.73.A35

Ada 95 reference manual : language and standard libraries / S. Tucker Taft, Robert A. Duff, eds. (Lecture notes in computer science ; 1246)

Ada 95 reference manual : language and standard libraries / S. Tucker Taft, Robert A. Duff, eds. (Lecture notes in computer science ; 1246)
紙図書
Springerc1995.<M159-A192>
国立国会図書館
  • LCCQA76.73.A35

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>
国立国会図書館
  • LCCQA76.73.A35

Concurrent and real-time programming in Ada 2005 : hardback

Concurrent and real-time programming in Ada 2005 : hardback
紙図書
Alan Burns and Andy WellingsCambridge University Press2007
全国の図書館
  • LCCQA76.73.A35

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
全国の図書館
  • LCCQA76.73.A35

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>
国立国会図書館
  • LCCQA76.73.A35

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>
国立国会図書館
  • LCCQA76.73.A35

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>
国立国会図書館
  • LCCQA76.73.A35

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
全国の図書館
  • LCCQA76.73.A35

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
全国の図書館
  • LCCQA76.73.A35

A review of Ada tasking / Alan Burns, Andrew M. Lister, Andrew J. Wellings. (Lecture notes in computer science)

A review of Ada tasking / Alan Burns, Andrew M. Lister, Andrew J. Wellings. (Lecture notes in computer science)
紙図書
Springer-Verlagc1987.<M159-A52>
国立国会図書館
  • LCCQA76.73.A35

Consolidated Ada reference manual : language and standard libraries : International Standard ISO/IEC 8652/1995(E) with techinical corrigendum 1

Consolidated Ada reference manual : language and standard libraries : International Standard ISO/IEC 8652/1995(E) with techinical corrigendum 1
紙図書
S. Tucker Taft ... [et al.] (eds.)Springer[2001]
全国の図書館
  • LCCQA76.73.A35

Concurrency in ADA paperback 2nd ed

Concurrency in ADA paperback 2nd ed
紙図書
Alan Burns and Andy WellingsCambridge University Press1998
全国の図書館
  • LCCQA76.73.A35

Ada 95 : the Lovelace tutorial

Ada 95 : the Lovelace tutorial
紙図書
David A. WheelerSpringerc1997
全国の図書館
  • LCCQA76.73.A35

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>
国立国会図書館
  • LCCQA76.73.A35

DIANA : an intermediate language for Ada / edited by G. Goos ... [et al.]. Rev. version. (Lecture notes in computer science)

DIANA : an intermediate language for Ada / edited by G. Goos ... [et al.]. Rev. version. (Lecture notes in computer science)
紙図書
Springer-Verlag1983.<M159-A13>
国立国会図書館
  • LCCQA76.73.A35

Programming and problem solving with Ada

Programming and problem solving with Ada
紙図書
Nell Dale, Chip Weems, John McCormickJones and Bartlett Publishersc1997
全国の図書館
  • LCCQA76.73.A35
RSS