Skip to contents Alpuente, María [Author] Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6564 Schmid, Ute [Author] ; Kitzelmann, Emanuel [Other]; Plasmeijer, Rinus [Other] Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 5812 Giacobazzi, Roberto [Author] Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2004 Published in: Lecture notes in computer science ; 314800
Alpuente, María [Author] Logic-Based Program Synthesis and Transformation : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6564
Schmid, Ute [Author] ; Kitzelmann, Emanuel [Other]; Plasmeijer, Rinus [Other] Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010 Published in: Lecture notes in computer science ; 5812
Giacobazzi, Roberto [Author] Static Analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2004 Published in: Lecture notes in computer science ; 314800
> Location Skip to next facet Departmental Library DrePunct (17) Wert ausschließen Show more show less
> Language Skip to next facet English (42) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (20) Wert ausschließen Mathmatics (14) Wert ausschließen Technology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Bruynooghe, Maurice (5) Wert ausschließen Bossi, Annalisa (3) Wert ausschließen Alpuente, María (2) Wert ausschließen Etalle, Sandro (2) Wert ausschließen Flener, Pierre (2) Wert ausschließen Fuchs, Norbert E. (2) Wert ausschließen Giacobazzi, Roberto (2) Wert ausschließen Hanus, Michael (2) Wert ausschließen Hill, Patricia M. (2) Wert ausschließen Hutchison, David (2) Wert ausschließen Kanade, Takeo (2) Wert ausschließen King, Andy (2) Wert ausschließen Kittler, Josef (2) Wert ausschließen Kleinberg, Jon (2) Wert ausschließen Lau, Kung-Kiu (2) Wert ausschließen Mattern, Friedemann (2) Wert ausschließen Mitchell, John C. (2) Wert ausschließen Naor, Moni (2) Wert ausschließen Nierstrasz, Oscar (2) Wert ausschließen Pandu Rangan, C. (2) Wert ausschließen Pettorossi, Alberto (2) Wert ausschließen Steffen, Bernhard (2) Wert ausschließen Sudan, Madhu (2) Wert ausschließen Terzopoulos, Demetri (2) Wert ausschließen Tygar, Doug (2) Wert ausschließen Vardi, Moshe Y. (2) Wert ausschließen Weikum, Gerhard (2) Wert ausschließen Albert, Elvira (1) Wert ausschließen Cousot, Patrick (1) Wert ausschließen De Schreye, Danny (1) Wert ausschließen DeSchreye, Danny (1) Wert ausschließen Falaschi, Moreno (1) Wert ausschließen Gabbrielli, Maurizio (1) Wert ausschließen Gupta, Gopal (1) Wert ausschließen Hermenegildo, Manuel V. (1) Wert ausschließen King, Andrew Malcolm (1) Wert ausschließen Kitzelmann, Emanuel (1) Wert ausschließen LOPSTR 11 2001 Paphos (1) Wert ausschließen LOPSTR 12 2002 Madrid (1) Wert ausschließen LOPSTR 13 2003 Uppsala (1) Wert ausschließen LOPSTR 14 2004 Verona (1) Wert ausschließen LOPSTR 15 2005 London (1) Wert ausschließen LOPSTR 16 2006 Venedig (1) Wert ausschließen LOPSTR 17 2007 Kongens Lyngby (1) Wert ausschließen LOPSTR 18 2008 Valencia (1) Wert ausschließen LOPSTR 19 2009 Coimbra (1) Wert ausschließen LOPSTR 20 2010 Hagenberg im Mühlkreis (1) Wert ausschließen LOPSTR 7 1997 Löwen (1) Wert ausschließen LOPSTR 8 1998 Manchester (1) Wert ausschließen LOPSTR 9 1999 Venedig (1) Wert ausschließen Leuschel, M. (1) Wert ausschließen Leuschel, Michael (1) Wert ausschließen Malik, Robi (1) Wert ausschließen Peña, Ricardo (1) Wert ausschließen Plasmeijer, Rinus (1) Wert ausschließen Proietti, Maurizio (1) Wert ausschließen Puebla, Germàn (1) Wert ausschließen Puebla, Germán (1) Wert ausschließen SAS 11 2004 Verona (1) Wert ausschließen SAS 9 2002 Madrid (1) Wert ausschließen Schmid, Ute (1) Wert ausschließen Schreye, Danny (1) Wert ausschließen Seki, Hirohisa (1) Wert ausschließen Vidal, Germán (1) Wert ausschließen Show more show less