Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren
Datenschutzerklärungen
.
X
Login
Merkliste (
0
)
Startseite
Über uns
Startseite Über uns
Neues aus der SuUB
Geschichte der SuUB
Bibliotheksprofil
Presseinformationen
Freundeskreis
Die Bibliothek in Zahlen
Ausstellungen
Projekte
Ausbildung, Praktika und Stellenangebote
Filme zur Staats- und Universitätsbibliothek Bremen
Service & Beratung
Startseite Service & Beratung
Ausleihe & Fernleihe
Rückgabe & Verlängerung
Schulungen & Führungen
Mein Bibliothekskonto
Bibliotheksausweis
Neu in der Bibliothek?
Informationsmaterialien, Formulare und Pläne zum Download
Öffnungszeiten
Lernort Bibliothek
PC, WLAN, Kopieren, Scannen, Drucken
Kataloge & Sammlungen
Startseite Kataloge & Sammlungen
Historische Sammlungen
Digitale Sammlungen
Fachinformationen
Standorte
Startseite Standorte
Zentrale
Juridicum
Bereichsbibliothek Wirtschaftswissenschaft
Bereichsbibliothek Physik / Elektrotechnik
Teilbibliothek Technik und Sozialwesen
Teilbibliothek Wirtschaft und Nautik
Teilbibliothek Musik
Teilbibliothek Kunst
Teilbibliothek Bremerhaven
Kontakt
Startseite Kontakt
Liste der Ansprechpartner
Open Access & Publizieren
Startseite Open Access & Publizieren
Literaturverwaltung
Literatur Publizieren
Open Access in Bremen
zur Desktop-Version
Toggle navigation
Giacobbe, Andrea
2
Ergebnisse:
Buchkapitel (Online) X
Personensuche
X
Sortierung: Relevanz
Sortierung: Jahr
?
1
FOSSIL : a software tool for the formal synthesis of lya..:
, In:
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
,
Abate, Alessandro
;
Ahmed, Daniele
;
Edwards, Alec
.. - p. 1-11 , 2021
Link:
https://dl.acm.org/doi/1..
?
2
List of contributors:
, In:
Preventing Domestic Homicides
,
Al Jamal, Abir
;
Banman, Victoria
;
Boldo, Vicky
... - p. xiii-xv , 2020
Link:
https://doi.org/10.1016/..
1-2
