Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
59 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

59 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Reliable software technologies: proceedings
    Ada Europe 2003, 8th Ada Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16 - 20, 2003. Jean-Pierre Rosen ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Ada for distributed systems
    ed. by Colin Atkinson ..
    Cambridge [u.a.]: Cambridge Univ. Pr, 1988
    Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Reliable software technologies: proceedings
    Ada Europe '97, 1997 Ada Europe International Conference on Reliable Software Technologies, London, UK, June 2 - 6, 1997. Keith Hardy ; Jim Briggs (ed.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Reliable software technologies: proceedings
    Ada Europe '96 - 1996 Ada Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10 - 14, 1996. Alfred Strohmeier (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Reliable software technologies: proceedings
    Ada Europe '99, 1999 Ada Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 - 11, 1999. Michael González Harbour ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Programming with specifications: an introduction to ANNA, a language for specifying ADA programs
    David Luckham
    New York [u.a.]: Springer, 1990
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Selecting an ADA compilation system
    ed. by J. Dawes ..
    Cambridge [u.a.]: Cambridge Univ. Pr, 1990
    Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    ANNA: a language for annotating Ada programs ; reference manual
    David C. Luckham ..
    Berlin [u.a.]: Springer, 1987
    Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Programmiermethodik mit Ada
    G. Goos ; G. Persch ; J. Uhl
    Berlin [u.a.]: Springer, 1987
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Einführung in die Programmiersprache Ada
    Manfred Nagl
    2., neubearb. u. erw. Aufl.. - Braunschweig [u.a.]: Vieweg, 1988
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Data structures and algorithms: an object oriented approach using Ada 95
    John Beidler
    New York [u.a.]: Springer, 1997
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Reliable software technologies: proceedings
    Ada Europe 2001, 6th Ada Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14 - 18, 2001. Dirk Craeynest ... (eds.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Software engineering with Ada
    Booch, Grady (1955-)
    2. ed.. - Menlo Park, Calif [u.a.]: Benjamin/Cummings, c 1987
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Reliable software technologies: proceedings
    Ada Europe 2000, 5th Ada Europe International Conference [on Reliable Software Technologies], Potsdam, Germany, June 26 - 30, 2000. Hubert B. Keller ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    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 ... (ed.)
    Berlin [u.a.]: Springer, [2006]
    Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    High integrity Ada: the SPARK approach
    John Barnes
    Harlow, England [u.a.]: Addison-Wesley, 1997
    Monographie, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Ada: a developmental approach
    Fintan Culwin
    2. ed.. - London [u.a.]: Prentice Hall, 1997
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Reliable software technologies - Ada-Europe 2004: proceedings
    9th Ada Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14 - 18, 2004. Albert Llamosí ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Ada: a programmer's guide with microcomputer examples
    James Stanley ..
    Reading, Mass. [u.a.]: Addison-Wesley, 1985
    Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Ada: Konzepte und Anwendungsbeispiele aus der Prozeßautomatisierung
    Günther Bengel
    Düsseldorf: VDI-Verlag, 1986
    Fallstudiensammlung, Monographie, Fallsammlung, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -