Skip to contents Müller-Olm, Markus [Author] Variations on constants : flow analysis of sequential and parallel programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3800 Palsberg, Jens [Editor]; Su, Zhendong [Other] ; SAS 16 2009 Los Angeles, Calif Static analysis : 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5673 Cousot, Radhia [Editor]; Martel, Matthieu [Other] ; SAS 17 2010 Perpignan Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6337 Alpuente, María [Editor]; Vidal, Germán [Other] ; SAS 15 2008 Valencia Static analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16 - 18, 2008; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5079 Yi, Kwangkeun [Editor] ; SAS 13 2006 Seoul Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4134 Hankin, Chris [Editor]; Siveroni, Igor [Other] ; SAS 12 2005 London Static analysis : 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3672 Vollmer, Jürgen [Author] Analyse und Transformation kontrollflußparalleler Programme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1996 Levi, Giorgio [Editor] ; SAS 5 1998 Pisa Static analysis : 5th International Symposium, SAS '98, Pisa, Italy, September 14 - 16, 1998; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1503 Hönig, Joachim [Author] Softwaremethoden zur Rückwärtsfehlerbehebung in Hochleistungsparallelrechnern mit verteiltem Speicher Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1994 Hilbrich, Robert [Author] Platzierung von Softwarekomponenten auf Mehrkernprozessoren : automatisierte Konstruktion und Analyse für funktionssichere Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Vieweg, [2015] Published in: Research Riis Nielson, Hanne [Other]; Filé, Gilberto [Other]; Nielson, Hanne Riis [Editor] ; SAS 14 2007 Lyngby-Tårbaek Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4634 Böhm, Markus [Author] Entwicklung von Workflow-Typen : ein Leitfaden der methodischen Anwendungsentwicklung am Beispiel ausgewählter Workflow-Aspekte Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Informationstechnologien für die Praxis Krohm, Florian [Author] Ein retargierbarer Compiler für anwendungsspezifische Mikrocontroller - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI-Verl., 1992 Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 6900 Okada, Mitsuhiro [Other]; Satoh, Ichiro [Other]; Okada, Mitsu [Editor] ; Asian Computing Science Conference 11 2006 Tokio 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4435 Reps, Thomas [Other]; Wilhelm, Reinhard [Honoree]; Sagiv, Mooly [Other]; Bauer, Jörg [Other]; Reps, Thomas W. [Editor] Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4444 Menge, Matthias [Author] Moderne Prozessorarchitekturen : Prinzipien und ihre Realisierungen ; mit 12 Tabellen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Giacobazzi, Roberto [Editor] ; SAS 11 2004 Verona Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26 - 28, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3148 Kroll, Andrea [Author] Verifikationseffiziente Implementierung von Verkehrsmanagement : Funktionalität in ATM-Vermittlungsstellen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 2001 Published in: Berichte aus der Kommunikationstechnik Grötker, Thorsten Heiner [Author] Integrierte Modellierung von Kontroll- und Datenfluß Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Logos Verl., 1998 Best, Eike [Author] Semantik : Theorie sequentieller und paralleler Programmierung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1995 Published in: Lehrbücher Informatik
Müller-Olm, Markus [Author] Variations on constants : flow analysis of sequential and parallel programs Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 3800
Palsberg, Jens [Editor]; Su, Zhendong [Other] ; SAS 16 2009 Los Angeles, Calif Static analysis : 16th international symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5673
Cousot, Radhia [Editor]; Martel, Matthieu [Other] ; SAS 17 2010 Perpignan Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6337
Alpuente, María [Editor]; Vidal, Germán [Other] ; SAS 15 2008 Valencia Static analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16 - 18, 2008; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5079
Yi, Kwangkeun [Editor] ; SAS 13 2006 Seoul Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29 - 31, 2006 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4134
Hankin, Chris [Editor]; Siveroni, Igor [Other] ; SAS 12 2005 London Static analysis : 12th international symposium, SAS 2005, London, UK, September 7 - 9, 2005 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3672
Vollmer, Jürgen [Author] Analyse und Transformation kontrollflußparalleler Programme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1996
Levi, Giorgio [Editor] ; SAS 5 1998 Pisa Static analysis : 5th International Symposium, SAS '98, Pisa, Italy, September 14 - 16, 1998; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1503
Hönig, Joachim [Author] Softwaremethoden zur Rückwärtsfehlerbehebung in Hochleistungsparallelrechnern mit verteiltem Speicher Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1994
Hilbrich, Robert [Author] Platzierung von Softwarekomponenten auf Mehrkernprozessoren : automatisierte Konstruktion und Analyse für funktionssichere Systeme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Vieweg, [2015] Published in: Research
Riis Nielson, Hanne [Other]; Filé, Gilberto [Other]; Nielson, Hanne Riis [Editor] ; SAS 14 2007 Lyngby-Tårbaek Static analysis : 14th international symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4634
Böhm, Markus [Author] Entwicklung von Workflow-Typen : ein Leitfaden der methodischen Anwendungsentwicklung am Beispiel ausgewählter Workflow-Aspekte Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2000 Published in: Informationstechnologien für die Praxis
Krohm, Florian [Author] Ein retargierbarer Compiler für anwendungsspezifische Mikrocontroller - [Als Ms. gedr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Düsseldorf: VDI-Verl., 1992 Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 6900
Okada, Mitsuhiro [Other]; Satoh, Ichiro [Other]; Okada, Mitsu [Editor] ; Asian Computing Science Conference 11 2006 Tokio 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 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4435
Reps, Thomas [Other]; Wilhelm, Reinhard [Honoree]; Sagiv, Mooly [Other]; Bauer, Jörg [Other]; Reps, Thomas W. [Editor] Program analysis and compilation, theory and practice : essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4444
Menge, Matthias [Author] Moderne Prozessorarchitekturen : Prinzipien und ihre Realisierungen ; mit 12 Tabellen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005
Giacobazzi, Roberto [Editor] ; SAS 11 2004 Verona Static analysis : 11th international symposium, SAS 2004, Verona, Italy, August 26 - 28, 2004 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 3148
Kroll, Andrea [Author] Verifikationseffiziente Implementierung von Verkehrsmanagement : Funktionalität in ATM-Vermittlungsstellen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: Shaker, 2001 Published in: Berichte aus der Kommunikationstechnik
Grötker, Thorsten Heiner [Author] Integrierte Modellierung von Kontroll- und Datenfluß Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Logos Verl., 1998
Best, Eike [Author] Semantik : Theorie sequentieller und paralleler Programmierung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1995 Published in: Lehrbücher Informatik
> Media type Skip to next facet Books (52) Wert ausschließen Thesis (3) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (5) Wert ausschließen Stack Collection (18) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (21) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (20) Wert ausschließen Without Specification (13) Wert ausschließen Show more show less
> Language Skip to next facet English (38) Wert ausschließen German (17) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (38) Wert ausschließen Mathmatics (13) Wert ausschließen Technology (7) Wert ausschließen Economics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Giacobazzi, Roberto (3) Wert ausschließen Probst, Christian W. (3) Wert ausschließen Theiling, Henrik (3) Wert ausschließen Alpuente, María (2) Wert ausschließen Bauer, Jörg (2) Wert ausschließen Cousot, Radhia (2) Wert ausschließen Goßens, Stefan (2) Wert ausschließen Hammer, Christian (2) Wert ausschließen Hankin, Chris (2) Wert ausschließen Hilbrich, Robert (2) Wert ausschließen Levi, Giorgio (2) Wert ausschließen Martel, Matthieu (2) Wert ausschließen Müller-Olm, Markus (2) Wert ausschließen Nielson, Hanne Riis (2) Wert ausschließen Okada, Mitsu (2) Wert ausschließen Palsberg, Jens (2) Wert ausschließen Reinhard Wilhelm (2) Wert ausschließen Reps, Thomas W. (2) Wert ausschließen Sagiv, Mooly (2) Wert ausschließen Satoh, Ichiro (2) Wert ausschließen Siveroni, Igor (2) Wert ausschließen Su, Zhendong (2) Wert ausschließen Vidal, Germán (2) Wert ausschließen Vollmer, Jürgen (2) Wert ausschließen Wasserrab, Daniel (2) Wert ausschließen Yi, Kwangkeun (2) Wert ausschließen Asian Computing Science Conference 11 2006 Tokio (1) Wert ausschließen Barkalov, Alexander (1) Wert ausschließen Best, Eike (1) Wert ausschließen Brachthäuser, Jonathan Immanuel (1) Wert ausschließen Böhm, Markus (1) Wert ausschließen Cseh, Christian Virgil (1) Wert ausschließen Eberhard Karls Universität Tübingen (1) Wert ausschließen Filè, Gilberto (1) Wert ausschließen Filé, Gilberto (1) Wert ausschließen Gremzow, Carsten (1) Wert ausschließen Grötker, Thorsten Heiner (1) Wert ausschließen Heer, Thomas (1) Wert ausschließen Herkersdorf, Andreas (1) Wert ausschließen Hochberger, Christian (1) Wert ausschließen Hoffmann, Martin (1) Wert ausschließen Hutchison, David (1) Wert ausschließen Hönig, Joachim (1) Wert ausschließen Kanade, Takeo (1) Wert ausschließen Kittler, Josef (1) Wert ausschließen Kleinberg, Jon (1) Wert ausschließen Krohm, Florian (1) Wert ausschließen Kroll, Andrea (1) Wert ausschließen Lohmann, Daniel (1) Wert ausschließen Mattern, Friedemann (1) Wert ausschließen Menge, Matthias (1) Wert ausschließen Mitchell, John C. (1) Wert ausschließen Mohr, Martin (1) Wert ausschließen Nagl, Manfred (1) Wert ausschließen Naor, Moni (1) Wert ausschließen Nierstrasz, Oscar (1) Wert ausschließen Okada, Mitsuhiro (1) Wert ausschließen Pandu Rangan, C. (1) Wert ausschließen Popovskij, Vladimir (1) Wert ausschließen Reps, Thomas (1) Wert ausschließen Riis Nielson, Hanne (1) Wert ausschließen SAS 11 2004 Verona (1) Wert ausschließen SAS 12 2005 London (1) Wert ausschließen SAS 13 2006 Seoul (1) Wert ausschließen SAS 14 2007 Lyngby-Tårbaek (1) Wert ausschließen SAS 15 2008 Valencia (1) Wert ausschließen SAS 16 2009 Los Angeles, Calif (1) Wert ausschließen SAS 17 2010 Perpignan (1) Wert ausschließen SAS 5 1998 Pisa (1) Wert ausschließen Snelting, G. (1) Wert ausschließen Snelting, Gregor (1) Wert ausschließen Staiger-Stöhr, Stefan (1) Wert ausschließen Steffen, Bernhard (1) Wert ausschließen Sudan, Madhu (1) Wert ausschließen Tarbouriech, Sophie (1) Wert ausschließen Terzopoulos, Demetri (1) Wert ausschließen Titarenko, Larysa (1) Wert ausschließen Tygar, Doug (1) Wert ausschließen Vardi, Moshe Y. (1) Wert ausschließen Weikum, Gerhard (1) Wert ausschließen Weiss, Alexander Peter (1) Wert ausschließen Wilhelm, Reinhard (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (44) Wert ausschließen Lizenzfreie Online-Ressourcen (9) Wert ausschließen Diss online (8) Wert ausschließen BASE - Bielefeld Academic Search Engine (3) Wert ausschließen Scientific publications of the Saarland University (UdS) (2) Wert ausschließen OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg (1) Wert ausschließen Show more show less