Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Static analysis 23rd international symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings Xavier Rival (ed.) von SAS 23. 2016 Edinburgh [VerfasserIn] Rival, Xavier [HerausgeberIn] Reihen: Advanced research in computing and software science \| ; 983700 \| Lecture notes in computer science ; 9837 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg Springer [2016]Copyright-Datum: © 2016 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 9837. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Introduction to static analysis an abstract interpretation perspective Xavier Rival and Kwangkeun Yi von Rival, Xavier [VerfasserIn] Yi, Kwangkeun [VerfasserIn] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Cambridge, Massachusetts London, England The MIT Press [2020]Copyright-Datum: © 2020 Online-Ressourcen: Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) RIV x 2020:1 2.Ex, ... Verfügbarer Präsenzbestand: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): Nicht ausleihbar (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) RIV x 2020:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha