Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Relational and algebraic methods in computer science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28-October 1, 2015 : proceedings edited by Wolfram Kahl, Michael Winter, José N. Oliveira von RAMiCS 15. 2015 Braga [VerfasserIn] Kahl, Wolfram [HerausgeberIn] Winter, Michael [HerausgeberIn] Oliveira, José N [HerausgeberIn] Reihen: ; 934800 \| Lecture notes in computer science ; 9348 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham Heidelberg Springer [2015] Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Cover Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 9348. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Formal methods - the next 30 years third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings Maurice H. ter Beek, Annabelle McIver, Jose N. Oliveira (eds.) von World Congress on Formal Methods 3. 2019 Porto, Portugal [VerfasserIn] Beek, Maurice H. ter, 1972- [HerausgeberIn] McIver, Annabelle, 1964- [HerausgeberIn] Oliveira, Jose N [HerausgeberIn] Reihen: ; 11800 \| Lecture notes in computer science ; 11800 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cham Springer [2019] Online-Ressourcen: Inhaltsverzeichnis Zentralblatt MATH Inhaltstext Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 11800. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha