Ergebnisse
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
|
|
|
25.
|
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit Einführung in die Theorie der rekursiven Funktionen Hans Hermes von Reihen: ; 87,2 | Heidelberger Taschenbücher ; 87.1971
Auflage: 2. Auflage, rev. Aufl. von Bd. 109
Materialtyp:  Text; Format:
Druck Sprache: Deutsch Verlag: Berlin Heidelberg New York Springer 1971
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) HER h 1971:1 2.Ex, ... Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HER h 1971:1 1.Ex.
|
|
|
26.
|
|
|
|
27.
|
|
|
|
28.
|
|
|
|
29.
|
|
|
|
30.
|
|
|
|
31.
|
|
|
|
32.
|
Computations in higher types Johan Moldestad von Reihen: ; 57400 | Lecture notes in mathematics ; 574
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Berlin [u.a.] Springer 1977
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) LNM 574.
|
|
|
33.
|
|
|
|
34.
|
|
|
|
35.
|
|
|
|
36.
|
|
|
|
37.
|
|
|
|
38.
|
|
|
|
39.
|
|
|
|
40.
|
On global univalence theorems T. Parthasarathy von Reihen: ; 97700 | Lecture notes in mathematics ; 977
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Berlin, Heidelberg [usw.] Springer 1983
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) LNM 977.
|
