Skip to contents Nielson, Flemming [Author]; Nielson, Hanne Riis [Author]; Hankin, Chris [Author] Principles of program analysis : with 51 tables - [Corr. 2. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005 Nielson, Flemming [Author]; Nielson, Hanne Riis [Author]; Hankin, Chris [Author] Principles of program analysis : with 51 tables Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Lucas, Jürgen [Author] Ein interaktives Werkzeug für das Verstehen und die Analyse modularer Programme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1991 Yahav, Eran [Editor] ; SAS 18 2011 Venedig Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6887 Van Hentenryck, Pascal [Editor] ; SAS 4 1997 Paris Static analysis : 4th international symposium, SAS '97, Paris, France, September 8 - 10, 1997 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1302 Mycroft, Alan [Editor] ; SAS 2 1995 Glasgow Static analysis : Second International Symposium; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 983 Le Charlier, Baudouin [Editor] ; SAS 1 1994 Namur Static analysis : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 864 Aldini, Alessandro [Editor] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 10 2010 Bertinoro Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21 - 26, 2010; advanced lectures 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 ; 6154 Trapp, Martin [Author] Optimierung objektorientierter Programme : Übersetzungstechniken, Analysen und Transformationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Xpert.press Dam, Mads [Editor] ; LOMAPS Workshop 5 1996 Stockholm Analysis and verification of multiple-agent languages : Stockholm, Sweden, June 24-26, 1996 ; 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, 1997 Published in: Lecture notes in computer science ; 1192 Knuth, Donald Ervin [Author] Stable marriage and its relation to other combinatorial problems : an introduction to the mathematical analysis of algorithms - [Engl. ed., reprint. with corr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Providence, RI: American Mathematical Society, 1997 Published in: Université de Montréal: CRM proceedings & lecture notes ; 10,repr Mathys, Peter [Author] Analysis of Random-Access algorithms Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1984 Yourdon, Edward [Author]; Constantine, Larry L. [Author] Structured design : fundamentals of a discipline of computer program and systems design Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Englewood Cliffs, NJ: Prentice-Hall, 1979 Shankar, Natarajan [Editor]; Woodcock, Jim [Other] ; VSTTE 2 2008 Toronto Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 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 ; 5295 Šen, Aleksandr Ch [Author] ; Shen, Alexander [Other] Algorithms and programming : problems and solutions - [Repr. of the 1997 ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Berlin [u.a.]: Birkhäuser, 2008 Published in: Modern Birkhäuser classics 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 Schmücker, Astrid [Author] Analyse und Transformation von Hornklausel-Programmen unter Verwendung von Templateketten Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1986 Mehlhorn, Kurt [Author] Data structures and algorithms Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 19XX- Published in: EATCS monographs on theoretical computer science ; . Palsberg, Jens [Editor] ; SAS 7 2000 Santa Barbara, Calif Static analysis : 7th International Symposium ; proceedings 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: Lecture notes in computer science ; 1824 Cousot, Radhia [Editor] ; SAS 3 1996 Aachen Static analysis : third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1145
Nielson, Flemming [Author]; Nielson, Hanne Riis [Author]; Hankin, Chris [Author] Principles of program analysis : with 51 tables - [Corr. 2. print.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2005
Nielson, Flemming [Author]; Nielson, Hanne Riis [Author]; Hankin, Chris [Author] Principles of program analysis : with 51 tables Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999
Lucas, Jürgen [Author] Ein interaktives Werkzeug für das Verstehen und die Analyse modularer Programme Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1991
Yahav, Eran [Editor] ; SAS 18 2011 Venedig Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6887
Van Hentenryck, Pascal [Editor] ; SAS 4 1997 Paris Static analysis : 4th international symposium, SAS '97, Paris, France, September 8 - 10, 1997 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1302
Mycroft, Alan [Editor] ; SAS 2 1995 Glasgow Static analysis : Second International Symposium; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1995 Published in: Lecture notes in computer science ; 983
Le Charlier, Baudouin [Editor] ; SAS 1 1994 Namur Static analysis : proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 864
Aldini, Alessandro [Editor] ; International School on Formal Methods for the Design of Computer, Communication, and Software Systems 10 2010 Bertinoro Formal methods for quantitative aspects of programming languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21 - 26, 2010; advanced lectures 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 ; 6154
Trapp, Martin [Author] Optimierung objektorientierter Programme : Übersetzungstechniken, Analysen und Transformationen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Xpert.press
Dam, Mads [Editor] ; LOMAPS Workshop 5 1996 Stockholm Analysis and verification of multiple-agent languages : Stockholm, Sweden, June 24-26, 1996 ; 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, 1997 Published in: Lecture notes in computer science ; 1192
Knuth, Donald Ervin [Author] Stable marriage and its relation to other combinatorial problems : an introduction to the mathematical analysis of algorithms - [Engl. ed., reprint. with corr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Providence, RI: American Mathematical Society, 1997 Published in: Université de Montréal: CRM proceedings & lecture notes ; 10,repr
Mathys, Peter [Author] Analysis of Random-Access algorithms Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1984
Yourdon, Edward [Author]; Constantine, Larry L. [Author] Structured design : fundamentals of a discipline of computer program and systems design Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Englewood Cliffs, NJ: Prentice-Hall, 1979
Shankar, Natarajan [Editor]; Woodcock, Jim [Other] ; VSTTE 2 2008 Toronto Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 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 ; 5295
Šen, Aleksandr Ch [Author] ; Shen, Alexander [Other] Algorithms and programming : problems and solutions - [Repr. of the 1997 ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Berlin [u.a.]: Birkhäuser, 2008 Published in: Modern Birkhäuser classics
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
Schmücker, Astrid [Author] Analyse und Transformation von Hornklausel-Programmen unter Verwendung von Templateketten Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 1986
Mehlhorn, Kurt [Author] Data structures and algorithms Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 19XX- Published in: EATCS monographs on theoretical computer science ; .
Palsberg, Jens [Editor] ; SAS 7 2000 Santa Barbara, Calif Static analysis : 7th International Symposium ; proceedings 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: Lecture notes in computer science ; 1824
Cousot, Radhia [Editor] ; SAS 3 1996 Aachen Static analysis : third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1996 Published in: Lecture notes in computer science ; 1145
> Media type Skip to next facet Books (371) Wert ausschließen Thesis (27) Wert ausschließen Articles (17) Wert ausschließen Electronic Resources (3) Wert ausschließen Journals / Newspapers / Series (1) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (15) Wert ausschließen Stack Collection (103) Wert ausschließen Ask for availability (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (105) Wert ausschließen Branch Library of Educationen (5) Wert ausschließen Central Library (5) Wert ausschließen Branch Library of Forestry (2) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution - Share Alike (CC BY-SA) (6) Wert ausschließen Attribution (CC BY) (4) Wert ausschließen In Copyright (1) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (1) Wert ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (139) Wert ausschließen Without Specification (159) Wert ausschließen Show more show less
> Language Skip to next facet English (332) Wert ausschließen German (86) Wert ausschließen Not determined (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (222) Wert ausschließen Mathmatics (78) Wert ausschließen Technology (20) Wert ausschließen General (12) Wert ausschließen Pedagogy (10) Wert ausschließen Sociology (8) Wert ausschließen Economics (5) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (3) Wert ausschließen Sports science (3) Wert ausschließen Biology (2) Wert ausschließen Geography (2) Wert ausschließen Medicine (2) Wert ausschließen Political science (2) Wert ausschließen Psychology (2) Wert ausschließen General sciences (1) Wert ausschließen Germanic and Scandinavian studies (1) Wert ausschließen History (1) Wert ausschließen Agriculture and forestry, horticulture, fisheries, housekeeping (1) Wert ausschließen Musicology (1) Wert ausschließen Philosophy (1) Wert ausschließen Physics (1) Wert ausschließen Jurisprudence (1) Wert ausschließen Theology and religious studies (1) Wert ausschließen Show more show less
> Creator Skip to next facet Steffen, Bernhard (12) Wert ausschließen Holz, Thorsten (10) Wert ausschließen Cousot, Radhia (9) Wert ausschließen Barthe, Gilles (6) Wert ausschließen Palsberg, Jens (6) Wert ausschließen Cortesi, Agostino (5) Wert ausschließen Fakultät für Elektrotechnik und Informationstechnik (5) Wert ausschließen Hutchison, David (5) Wert ausschließen Kanade, Takeo (5) Wert ausschließen Kittler, Josef (5) Wert ausschließen Kleinberg, Jon (5) Wert ausschließen Mattern, Friedemann (5) Wert ausschließen Mitchell, John C. (5) Wert ausschließen Müller-Olm, Markus (5) Wert ausschließen Naor, Moni (5) Wert ausschließen Nierstrasz, Oscar (5) Wert ausschließen Pandu Rangan, C. (5) Wert ausschließen Sudan, Madhu (5) Wert ausschließen Terzopoulos, Demetri (5) Wert ausschließen Tygar, Doug (5) Wert ausschließen Vardi, Moshe Y. (5) Wert ausschließen Weikum, Gerhard (5) Wert ausschließen Araki, Keijiro (4) Wert ausschließen Cousot, Patrick (4) Wert ausschließen Giacobazzi, Roberto (4) Wert ausschließen Hankin, Chris (4) Wert ausschließen Levi, Giorgio (4) Wert ausschließen Nielson, Hanne Riis (4) Wert ausschließen Podelski, Andreas (4) Wert ausschließen Robak, Steffi (4) Wert ausschließen Seidel, Raimund (4) Wert ausschließen Ur, Shmuel (4) Wert ausschließen Wies, Thomas (4) Wert ausschließen Woodcock, Jim (4) Wert ausschließen Yi, Kwangkeun (4) Wert ausschließen Backes, Werner (3) Wert ausschließen Barnett, Mike (3) Wert ausschließen Bin, Eyal (3) Wert ausschließen Davies, Jim (3) Wert ausschließen Filè, Gilberto (3) Wert ausschließen Fleige, Marion (3) Wert ausschließen Gieseke, Wiltrud (3) Wert ausschließen Hund, Ralf (3) Wert ausschließen Jhala, Ranjit (3) Wert ausschließen Jones, Neil D. (3) Wert ausschließen Knoop, Jens (3) Wert ausschließen Kowalewski, Stefan (3) Wert ausschließen Liu, Shaoying (3) Wert ausschließen Logozzo, Francesco (3) Wert ausschließen Margaria, Tiziana (3) Wert ausschließen Martin, Florian (3) Wert ausschließen Marwedel, Peter (3) Wert ausschließen Mycroft, Alan (3) Wert ausschließen Raiser, Frank (3) Wert ausschließen Richter, Dirk (3) Wert ausschließen Rybalchenko, Andrey (3) Wert ausschließen Scheidig, Falk (3) Wert ausschließen Schmidt, David A. (3) Wert ausschließen Schrader, Josef (3) Wert ausschließen Schulte, Wolfram (3) Wert ausschließen Seitter, Wolfgang (3) Wert ausschließen Shao, Zhong (3) Wert ausschließen Shkaravska, Olha (3) Wert ausschließen Universität Bochum (3) Wert ausschließen Volpers, Helmut (3) Wert ausschließen Wilhelm, Reinhard (3) Wert ausschließen Zuck, Lenore D. (3) Wert ausschließen Aldini, Alessandro (2) Wert ausschließen Alpuente, María (2) Wert ausschließen Banach, Richard (2) Wert ausschließen Barringer, Howard (2) Wert ausschließen Bauer, Jörg (2) Wert ausschließen Bieber, Ronald (2) Wert ausschließen Blazy, Sandrine (2) Wert ausschließen Bos, Herbert (2) Wert ausschließen Bousquet, Olivier (2) Wert ausschließen Breitman, Karin K. (2) Wert ausschließen Butler, Michael (2) Wert ausschließen Cavalcanti, Ana (2) Wert ausschließen Cook, Byron (2) Wert ausschließen Dal Lago, Ugo (2) Wert ausschließen Dam, Mads (2) Wert ausschließen Danelutto, Marco (2) Wert ausschließen Danvy, Olivier (2) Wert ausschließen Degano, Pierpaolo (2) Wert ausschließen Degen, Markus (2) Wert ausschließen Deutsches Institut für Erwachsenenbildung -DIE- e.V. Leibniz-Zentrum für Lebenslanges Lernen (2) Wert ausschließen Dong, Jin Song (2) Wert ausschließen Drossopoulou, Sophia (2) Wert ausschließen Dwyer, Matthew (2) Wert ausschließen ETAPS 10 2007 Braga (2) Wert ausschließen ETAPS 11 2008 Budapest (2) Wert ausschließen Eekelen, Marko C. van (2) Wert ausschließen Emerson, E. Allen (2) Wert ausschließen Esparza, Javier (2) Wert ausschließen Fahringer, Thomas (2) Wert ausschließen Falcone, Ylies (2) Wert ausschließen Felden, Timm (2) Wert ausschließen Fitzgerald, John (2) Wert ausschließen Freiling, Felix C. (2) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (323) Wert ausschließen Lizenzfreie Online-Ressourcen (51) Wert ausschließen Diss online (46) Wert ausschließen BASE - Bielefeld Academic Search Engine (35) Wert ausschließen Scientific publications of the Saarland University (UdS) (7) Wert ausschließen SSOAR Social Science Open Access Repository (6) Wert ausschließen Passau University: OPUS (5) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (5) Wert ausschließen RUB-Repository (Ruhr-Universität Bochum) (4) Wert ausschließen Qucosa (3) Wert ausschließen Sächsische Bibliografie (3) Wert ausschließen University of Freiburg: FreiDok (3) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (2) Wert ausschließen wbv Publikation (CrossRef) (2) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen Digital Library Thüringen (1) Wert ausschließen EconStor (German National Library of Economics, ZBW) (1) Wert ausschließen Eldorado - Repositorium der TU Dortmund (1) Wert ausschließen Fachkatalog Technikgeschichte (1) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (1) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (1) Wert ausschließen Münster University (WWU): miami (1) Wert ausschließen OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg (1) Wert ausschließen Share it - Open Access und Forschungsdaten-Repositorium der Hochschulbibliotheken in Sachsen-Anhalt (1) Wert ausschließen University of Bern (CrossRef) (1) Wert ausschließen Verlag C.H.Beck oHG (CrossRef) (1) Wert ausschließen mediarep (1) Wert ausschließen noah.nrw (1) Wert ausschließen Show more show less