Schreck, Pascal
[HerausgeberIn];
Narboux, Julien
[Sonstige Person, Familie und Körperschaft];
Richter-Gebert, Jürgen
[Sonstige Person, Familie und Körperschaft]
;
ADG 8 2010 München
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Basel; Boston; Berlin: Birkhäuser, 2002
Bezhanishvili, Nick
[VerfasserIn];
de Groot, Jim
[VerfasserIn];
Venema, Yde
[VerfasserIn]
;
Nick Bezhanishvili and Jim de Groot and Yde Venema
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Coquand, Thierry
[VerfasserIn];
Ishihara, Hajime
[VerfasserIn];
Negri, Sara
[VerfasserIn];
Schuster, Peter M.
[VerfasserIn]
;
Thierry Coquand and Hajime Ishihara and Sara Negri and Peter M. Schuster
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Fellin, Giulio
[VerfasserIn];
Negri, Sara
[VerfasserIn];
Orlandelli, Eugenio
[VerfasserIn]
;
Giulio Fellin and Sara Negri and Eugenio Orlandelli
[MitwirkendeR]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Technische Universität Berlin, 2013
Erschienen in:Electronic Communications of the EASST, 61 ; Selected Revised Papers from the 4th International Workshop on Graph Computation Models (GCM 2012)
DIN-Normenausschuss Technische Grundlagen (NATG),
Fundamental Technical Standards Committee,
DIN Deutsches Institut für Normung e. V.,
DIN German Institute for Standardization