Blättern nach Person

Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache

Springe zu: 2005 | 1996

Anzahl der Einträge: 2.

2005

Hrsg.: Autexier, Serge ; Cervesato, Iliano ; Mantel, Heiko (2005)
International Journal of Information Security : Special issue on FCS/Verify 2002.
4 (1-2)
Zeitschriftenheft, -band oder -jahrgang, Bibliographie

Cervesato, Iliano (1996)
A linear logical framework.
Buch, Bibliographie

Diese Liste wurde am Tue Dec 17 03:52:53 2024 CET generiert.

OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.

Drucken |

Impressum |

Exportieren als	Atom RSS 1.0 RSS 2.0