Campusbibliothek

Ihre Suche erzielte 7 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
The ProCoS-way towards correct systems Hans Langmaack von Reihen: ; 9506 | Christian-Albrechts-Universität zu Kiel Bericht / Institut für Informatik und Praktische Mathematik ; 9506 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Kiel Inst. für Informatik und Praktische Mathematik 1995
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Kiel UNI INF MATH Nr. 9506.
Vormerken Zum Korb hinzufügen
2.
On correct procedure parameter transmission in higher programming languages Hans Langmaack von Reihen: ; 1972,3 | Universität des Saarlandes Bericht / A ; 1972,3 |
Materialtyp: Text Text; Format: Druck
Verlag: Saarbrücken 1972
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) FB 72/03.
Vormerken Zum Korb hinzufügen
3.
Translation of ALGOL 60 A. A. Grau; U. Hill; H. Langmaack von Reihen: ; 1 b | Handbook for automatic computation ; 1 b | Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 137
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1967
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GMW 137, ...
Vormerken Zum Korb hinzufügen
4.
Informatik: Programmierung von P. Kandzia und H. Langmaack von Reihen: Teubner Studienbücher Informatik | ; 1800 | Leitfäden der angewandten Mathematik und Mechanik ; 1800
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Stuttgart Teubner 1973
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (4)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) KAN p 1973:1 4.Ex, ...
Vormerken Zum Korb hinzufügen
5.
Formal techniques in real time and fault tolerant systems Third International Symposium, organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19 - 23, 1994, proceedings H. Langmaack ... (eds.) von Reihen: ; 86300 | Lecture notes in computer science ; 863
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
Weitere Titel:
  • real-time fault-tolerant
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 863.
Vormerken Zum Korb hinzufügen
6.
Software construction - foundation and application 13. - 17.1.92 (9203); [Dagstuhl Seminar on Software Construction - Foundation and Application] Hans Langmaack ... (eds.) von Reihen: ; 29 | Dagstuhl-Seminar-Report ; 29
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloß Dagstuhl 1992
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) Wadern, Dagstuhl IBFI SR 29.
Vormerken Zum Korb hinzufügen
7.
On a theorem of McGowan concerning the most recent property of programs P. Kandzia; H. Langmaack von Reihen: ; 1974,7 | Universität des Saarlandes Bericht / A ; 1974,7 |
Materialtyp: Text Text; Format: Druck
Verlag: Saarbrücken Univ. des Saarlandes 1974
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) FB 74/07.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha