東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Ada )
該当件数:28件
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)
Berlin : Springer , [2001]. - New York. - (Lecture notes in computer science ; 2219)
図書
The Programming language Ada : reference manual / proposed standard document, United States Department of Defense
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 106)
The Programming language Ada reference manual : American National Standards Institute, Inc., ANSI/MIL-STD-1815A-1983 / [United States Department of Defense]
: gw,: us. - Berlin : Springer-Verlag , 1983. - (Lecture notes in computer science ; 155)
DIANA : an intermediate language for Ada / edited by G. Goos ... [et al.]
: gw,: us. - Rev. version. - Berlin ; New York : Springer-Verlag , 1983. - (Lecture notes in computer science ; 161)
Ada 95 reference manual : language and standard libraries : International standard ISO/IEC 8652:1995(E) / S. Tucker Taft, Robert A. Duff (eds.)
Berlin : Springer , 1995. - New York. - (Lecture notes in computer science ; 1246)
Ada in action : with practical programming examples / Do-While Jones
New York : J. Wiley , c1989
Rendezvous with Ada : a programmer's introduction / David Naiditch
New York : Wiley , c1989
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 1246)
Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint (ed.)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1031)
Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings / J. van Katwijk (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 603)
Ada : the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13-17, 1991 : proceedings / Dimitris Christodoulakis, (ed.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 499)
Programming with specifications : an introduction to ANNA, a language for specifying Ada programs / David Luckham
New York : Springer-Verlag , c1990. - (Texts and monographs in computer science)
Ada in Europe : First International Eurospace-Ada Europe Symposium, Copenhagen, Denmark, September 26-30, 1994 : proceedings / Marcel Toussaint (ed.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 887)
Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada Sans Frontières", Paris, France, June 14-18, 1993 : proceedings / Michel Gauthier (ed.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 688)
Ada : an introduction / Sabina Saib
New York : Holt, Rinehart and Winston , c1985. - [Tokyo] : Holt-Saunders Japan
A review of Ada tasking / Alan Burns, Andrew M. Lister, Andrew J. Wellings
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 262)
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 98)
ANNA : a language for annotating Ada programs : reference manual / David C. Luckham ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 260)
Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings / Michael González Harbour, Juan A. de la Puente (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1622)
Reliable software technologies- Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings / Dirk Craeynest, Alfred S
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2043)
Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings / Alfred Strohmeier (ed.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1088)
Reliable software technologies, Ada-Europe '98 : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings / Lars Asplund, (ed.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1411)
Reliable software technologies, Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings / Keith Hardy, Jim Briggs, (eds.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1251)
Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings / Hubert B. Keller, Erhard Plödereder (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1845)
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1984. - (Lecture notes in computer science ; 180)
System development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986 : proceedings / A.N. Habermann, U. Montanari (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 275)