Home Advanced Search

Advanced Search - Page 1

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Jürgen Giesl, Thomas Ströder (auth.), Elvira Albert (eds.)
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Yoshihito Toyama (auth.), Jürgen Giesl (eds.)
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)
Probleme der Verhütung von Viruserkrankungen: Symposion an der Universitätskinderklinik Würzburg vom 2. bis 4. Juni 1966
  • PDF
  • German
  • Year: 1967
  • Author: S. Gard (auth.), J. Ströder, W. Henle (eds.)
Construction of global Lyapunov functions using radial basis functions
  • PDF
  • English
  • Year: 2007
  • Author: Peter Giesl (auth.)
Algebraic Informatics: Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2007
  • Author: Jürgen Albert, German Tischler (auth.), Symeon Bozapalidis, George Rahonis (eds.)
Rollenspiele in Kommunikations- und Verhaltenstrainings
  • PDF
  • German
  • Year: 1994
  • Author: Thomas Bliesener (auth.), Thomas Bliesener, Ruth Brons-Albert (eds.)
Handbuch Informationstechnologie in Banken
  • PDF
  • German
  • Year: 1999
  • Author: Jürgen Moormann (auth.), Prof. Dr. Jürgen Moorman, Thomas Fischer (eds.)
search