Your search returned 34 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
DIANA : an intermediate language for ADA / edited by G. Goos [and others]. by Series: Lecture notes in computer science ; 161.
Edition: Rev. version.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1983
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Consolidated Ada reference manual : language and standard libraries : international standard ISO/IEC 8652/1995(E) with technical corrigendum 1 / S. Tucker Taft [and others] (eds.). by Series: Lecture notes in computer science ; 2219.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Hong Kong : Springer-Verlag, [2001]
Other title:
  • ISO/IEC 8652:1995(E) with COR. 1:2000 - Ada reference manual
  • Ada reference manual, ISO/IEC 8652:1995(E) with COR. 1:2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
4.
The programming language Ada : reference manual ; ANSI/MIL-STD-1815A-1983 ; approved 17 February 1983 / American National Standards Institute ; [ed. board D. Barstow ... et al. ; by the Ada design team, chairman: Jean D. Ichbiah]. by Series: Lecture notes in computer science ; 155.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 1983
Other title:
  • Programming language ADA reference manual
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
6.
7.
Reliable software technology : Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005 : proceedings / Tullio Vardanega, Andy Wellings (eds.). by Series: Lecture notes in computer science ; 3555.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • Ada-Europe 2005
  • 10th Ada-Europe International Conference on Reliable Software Technologies
  • Tenth Ada-Europe International Conference on Reliable Software Technologies
  • Ada-Europe International Conference on Reliable Software Technologies
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
9.
Reliable software technologies : Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings / Luís Miguel Pinho, Michael González Harbour (eds.). by Series: Lecture notes in computer science ; 4006.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • Ada-Europe 2006
  • 11th Ada-Europe International Conference on Reliable Software Technologies
  • Eleventh Ada-Europe International Conference on Reliable Software Technologies
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Ada 2005 reference manual : language and standard libraries : international standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1 / S. Tucker Taft [and others] (eds.). by Series: Lecture notes in computer science ; 4348.
Edition: 2005 ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • Ada 2005
  • International standard ISO/IEC 8652/1995 (E) with technical corrigendum 1 and amendment 1
  • Ada reference manual : ISO/IEC 8652:1995(E) with technical corrigendum 1 and amendment 1
  • ISO/IEC 8652:1995(E) with technical corrigendum 1 and amendment 1
  • Consolidated Ada reference manual
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Ada 2005 rationale : the language, the standard libraries / John Barnes. by Series: Lecture notes in computer science ; 5020. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Ada in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings / Marcel Toussaint, ed. by Series: Lecture notes in computer science ; 1031.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
14.
Towards a formal description of Ada / edited by D. Bjørner and O.N. Oest. by Series: Lecture notes in computer science ; 98.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, 1980
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
16.
Reliable software technologies-Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings / Fabrice Kordon, Yvon Kermarrec (eds.). by Series: Lecture notes in computer science ; 5570.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12685325
Publication details: Berlin ; New York : Springer, 2009
Other title:
  • Ada-Europe 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
An Attribute grammar for the semantic analysis of ADA / J. Uhl [and others]. by Series: Lecture notes in computer science ; 139.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, 1982
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
18.
The Programming language Ada : reference manual : proposed standard document, United States Department of Defense. by Series: Lecture notes in computer science ; 106.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 1981, ©1980
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, the Netherlands, June 1-5, 1992 : proceedings / J. van Katwijk (ed.). by Series: Lecture notes in computer science ; 603.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1992
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Ada 95 quality and style / Christine Ausnit-Hood [and others], eds. by Series: Lecture notes in computer science ; 1344.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha