Zum Inhalt springen Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 4 2010 Heraklion Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 20XX- Erschienen in: Lecture notes in computer science ; . Wählisch, Matthias [VerfasserIn]; Petersen, Hauke [VerfasserIn]; Lenders, Martine [VerfasserIn] ; Freie Universität Berlin Institut für Informatik RAPstore - RIOT App Store für das Internet der Dinge; Teilprojekt: Anwendungsverteilung und Systemintegration : Abschlussbericht zum Projekt RAPstore im Rahmen des Förderprogramms "VIP+" : Berichtszeitraum: 01.April 2017 bis 30. September 2021 Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin: Freie Universität Berlin, Inst. für Informatik, [2021?]
Margaria-Steffen, Tiziana [HerausgeberIn] ; ISoLA 4 2010 Heraklion Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 20XX- Erschienen in: Lecture notes in computer science ; .
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wählisch, Matthias [VerfasserIn]; Petersen, Hauke [VerfasserIn]; Lenders, Martine [VerfasserIn] ; Freie Universität Berlin Institut für Informatik RAPstore - RIOT App Store für das Internet der Dinge; Teilprojekt: Anwendungsverteilung und Systemintegration : Abschlussbericht zum Projekt RAPstore im Rahmen des Förderprogramms "VIP+" : Berichtszeitraum: 01.April 2017 bis 30. September 2021 Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin: Freie Universität Berlin, Inst. für Informatik, [2021?]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Sprache Skip to next facet Englisch (1) Wert ausschließen Deutsch (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Freie Universität Berlin Institut für Informatik (1) Wert ausschließen ISoLA 4 2010 Heraklion (1) Wert ausschließen Lenders, Martine (1) Wert ausschließen Margaria-Steffen, Tiziana (1) Wert ausschließen Petersen, Hauke (1) Wert ausschließen Wählisch, Matthias (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (2) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen zeige weitere weniger zeigen