Ihre Suche erzielte 8 Treffer.

Ergebnisse
	1.	Program analysis and compilation, theory and practice essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday Thomas Reps; Mooly Sagiv; Jörg Bauer (eds.) von Reps, Thomas [oth] Wilhelm, Reinhard [GefeierteR] Sagiv, Mooly [oth] Bauer, Jörg [oth] Reps, Thomas W, 1956- [Hrsg.] Reihen: Festschrift \| ; 4444 \| Lecture notes in computer science ; 4444 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12032570 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Cover Zentralblatt MATH Inhaltstext Table of contents only Publisher description 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 4444. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Static analysis 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings Hanne Riis Nielson; Gilberto Filé (eds.) von Riis Nielson, Hanne [oth] Filé, Gilberto [oth] Nielson, Hanne Riis [Hrsg.] SAS 14 2007 Lyngby-Tårbaek [oth] Reihen: ; 463400 \| Lecture notes in computer science ; 4634 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12103201 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis 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 4634. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Advances in computer science - ASIAN 2006 secure software and related issues ; 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006 ; revised selected papers Mitsu Okada; Ichiro Satoh (eds.) von Okada, Mitsuhiro, 1954- [oth] Satoh, Ichiro [oth] Okada, Mitsu [Hrsg.] Asian Computing Science Conference 11 2006 Tokio [oth] Reihen: ; 443500 \| Lecture notes in computer science ; 4435 Materialtyp: Text; Format: Druck Sprache: Englisch Verlagsnummer: 12210770 Verlag: Berlin Heidelberg [u.a.] Springer 2007 Online-Ressourcen: Inhaltsverzeichnis Cover Zentralblatt MATH Inhaltstext Publisher description Table of contents 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 4435. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Softwaremethoden zur Rückwärtsfehlerbehebung in Hochleistungsparallelrechnern mit verteiltem Speicher Joachim Hönig Reihen: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) / Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) ; 27,3 \| ; 27,3 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Erlangen 1994, 1994 Hochschulschriftenvermerk: Zugl.: Erlangen-Nürnberg, Univ., Diss., 1994 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) Erlangen-Nürnberg UNI INF Arbeitsberichte Bd. 27/3. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Semantik Theorie sequentieller und paralleler Programmierung Eike Best von Best, Eike, 1951- [aut] Reihen: Lehrbücher Informatik Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Braunschweig Wiesbaden Vieweg 1995 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Cover Inhaltstext Zentralblatt MATH Inhaltstext 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) BESt e 1995:1 2.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Semantics of sequential and parallel programs Eike Best von Best, Eike [aut] Best, Eike. Semantik <engl.> Reihen: Prentice Hall international series in computer science Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: London [u.a.] Prentice Hall 1996 Online-Ressourcen: 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) BESt e 1996:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	7.	A demand-driven solver for constraint-based control flow analysis von Christian W. Probst von Probst, Christian W [aut] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken COD-Verl. 2002 Hochschulschriftenvermerk: Zugl.: Saarbrücken, Univ., Diss., 2002 Weitere Titel: demand-driven constraint-based Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis 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) 2002 Probst, Christian W.. Nicht verfügbar: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik): restricted use (1). Vormerken Zum Korb hinzufügen (Entfernen)
	8.	Information flow control for Java a comprehensive approach based on path conditions in dependence graphs by Christian Hammer von Hammer, Christian [aut] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Karlsruhe Universitätsverlag 2009 Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 2009 Online-Ressourcen: Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (5)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) HAM ch 2009:1 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha