Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Logic for programming, artificial intelligence, and reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings Martin Davis ... (ed.) von Davis, Martin, 1928-2023 [Hrsg.] Fehnker, Ansgar [Hrsg.] McIver, Annabelle [Hrsg.] Voronkov, Andrei [Hrsg.] Springer-Verlag GmbH [Verlag] LPAR 20. 2015 Suva [oth] Reihen: ; 945000 \| Lecture notes in computer science ; 9450 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 978-3-662-48898-0 86723631 Verlag: Berlin Heidelberg Springer 2015 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltstext Cover Zentralblatt MATH Inhaltstext Online-Zugang 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 9450. 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