Campusbibliothek

Ihre Suche erzielte 4 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Static analysis third international workshop; proceedings WSA '93, Padova, Italy, September 22 - 24, 1993. Patrick Cousot ... (ed.) von Reihen: ; 72400 | Lecture notes in computer science ; 724
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1993
Online-Ressourcen:
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 724.
Vormerken Zum Korb hinzufügen
2.
Static analysis 8th international symposium, Paris, France, July 16 - 18, 2001 ; proceedings SAS 2001. Patrick Cousot (ed.) von Reihen: ; 212600 | Lecture notes in computer science ; 2126
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • SAS 2001
Online-Ressourcen:
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 2126.
Vormerken Zum Korb hinzufügen
3.
Abstract interpretation 28.08. - 01.09.95 Patrick Cousot ... (ed.) von Reihen: ; 123 | Dagstuhl-Seminar-Report ; 123
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes 1995
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) Wadern, Dagstuhl IBFI SR 123.
Vormerken Zum Korb hinzufügen
4.
Principles of abstract interpretation Patrick Cousot von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge, Massachusetts London,England The MIT Press [2021]Copyright-Datum: © 2021
Online-Ressourcen:
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) COU p3 2021: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) COU p3 2021:1 1.Ex.
Listen:
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha