Suche verfeinern
-
Teilbibliothek
- Mathematik und Infor… (51)
- Stammgelände (23)
- Ohne Zuordnung (11)
-
Dokumenttyp
- Buch (83)
- Dissertation, Hochsc… (29)
- Konferenzbericht (24)
- E-Book (11)
- E-Medien (11)
- Mehr anzeigen …
-
Fach
- Informatik (84)
- Mathematik (7)
-
Schlagwort
- Abstrakter Datentyp (29)
- Typentheorie (16)
- Beweistheorie (12)
- Algebraische Spezifi… (11)
- Datentyp (11)
- Mehr anzeigen …
-
Jahr
- <=1986 (13)
- 1987 - 1991 (23)
- 1992 - 1996 (34)
- >=1997 (14)
-
Sprache
- Englisch (58)
- Deutsch (17)
- Ohne Zuordnung (9)
-
Verfasser
- Berardi, Stefano (4)
- Astesiano, Egidio (2)
- Cardelli, Luca (2)
- Coquand, Thierry (2)
- Dybjer, Peter (2)
- Ehrich, Hans-Dieter (2)
- Ehrig, Hartmut (2)
- Geuvers, Herman (2)
- Giménez, Eduardo (2)
- Harrison, Rachel (2)
- Jones, Mark P. (2)
- Kahn, Gilles (2)
- Lipeck, Udo W. (2)
- Loeckx, Jacques (2)
- Padawitz, Peter (2)
- Sannella, Donald (2)
- Schmid, Hans A. (2)
- Stubbs, Daniel F. (2)
- Uhl, Jürgen (2)
- Webre, Neil W. (2)
- Weigel, Inge (2)
- Allen, Stuart (1)
- Altenkirch, Thorsten (1)
- Amadio, Roberto M. (1)
- Atkinson, Malcolm P. (1)
- Mehr anzeigen …
- Institution
Volltextzugriff auf E-Medien
Authentifizierung: erforderlich
TUM-Mitarbeiter und Studierende:
Externe Kundinnen und Kunden:
Lesesaal-PCs nutzen
Ihre IP-Adresse: 18.224.63.61
Werkzeugkasten
- Fachliche Suche mit der TUM-Systematik
- Standorte ermitteln mit der Standortliste
- OPAC-FAQ
Nicht das Richtige gefunden?
chat loading...