Schreck, Pascal
[Herausgeber:in];
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
[Verfasser:in];
de Groot, Jim
[Verfasser:in];
Venema, Yde
[Verfasser:in]
;
Nick Bezhanishvili and Jim de Groot and Yde Venema
[Mitwirkende:r]
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
[Verfasser:in];
Ishihara, Hajime
[Verfasser:in];
Negri, Sara
[Verfasser:in];
Schuster, Peter M.
[Verfasser:in]
;
Thierry Coquand and Hajime Ishihara and Sara Negri and Peter M. Schuster
[Mitwirkende:r]
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
[Verfasser:in];
Negri, Sara
[Verfasser:in];
Orlandelli, Eugenio
[Verfasser:in]
;
Giulio Fellin and Sara Negri and Eugenio Orlandelli
[Mitwirkende:r]
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