Home Advanced Search

Advanced Search - Page 1

Static Analysis: 5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Oliver Rüthing (auth.), Giorgio Levi (eds.)
Grundlagen der höheren Informatik: Induktives Vorgehen
  • PDF
  • German
  • Year: 2014
  • Author: Bernhard Steffen, Oliver Rüthing, Malte Isberner (auth.)
Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • PDF
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Joshua D. Guttman (auth.), Bernhard Steffen, Giorgio Levi (eds.)
Interacting Code Motion Transformations: Their Impact and Their Complexity
  • PDF
  • English
  • Year: 1998
  • Author: O Rüthing (auth.)
TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
  • PDF
  • English
  • Year: 1987
  • Author: Ingo Wegener (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)
International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
  • DJVU
  • English
  • Year: 1982
  • Author: Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)
International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
  • PDF
  • English
  • Year: 1982
  • Author: Marco Bellia, Pierpaolo Degano, Giorgio Levi (auth.), Mariangiola Dezani-Ciancaglini, Ugo Montanari (eds.)
Mathematical Foundations of Advanced Informatics. Volume 1 Inductive Approaches
  • PDF
  • english
  • Year: 2018
  • Author: Bernhard Steffen, Oliver Rüthing, Michael Huth
Autonome Mobile Systeme 2001: 17. Fachgespräch Stuttgart, 11./12. Oktober 2001
  • PDF
  • German
  • Year: 2001
  • Author: Robert Cupec, Oliver Lorch, Günther Schmidt (auth.), Paul Levi, Michael Schanz (eds.)
search