Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...
  • PDF
  • English
  • Year: 2014
  • Author: Carsten Sinz, Uwe Egly
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Matthias Baaz (auth.), Uwe Egly, Chritian G. Fermüller (eds.)
The Paradoxical Breakthrough of Revelation: Interpreting the Divine-Human Interplay in Tillich's Work 1913-1964
  • PDF
  • English
  • Year: 1998
  • Author: Uwe Carsten Scharf
Business Information Systems: 14th International Conference, BIS 2011, Poznań, Poland, June 15-17, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Tamara Mendt, Carsten Sinz, Olga Tveretina (auth.), Witold Abramowicz (eds.)
Process-Driven SOA: Patterns for Aligning Business and IT
  • PDF
  • English
  • Year: 2011
  • Author: Carsten Hentrich, Uwe Zdun
Der Wille zur Demokratie: Traditionslinien und Perspektiven
  • PDF
  • German
  • Year: 1998
  • Author: Carstens, Uwe; Schlüter-Knauer, Carsten
Die Sanierung Ungarns
  • PDF
  • German
  • Year: 1928
  • Author: Josef Sinz
Chronopsychophysiologie: Chronobiologie und Chronomedizin
  • PDF
  • German
  • Year: 1981
  • Author: Rainer Sinz
Zukunft. Klinik. Bau.: Strategische Planung von Krankenhäusern
  • PDF
  • German
  • Year: 2015
  • Author: Carsten Roth, Uwe Dombrowski, M. Norbert Fisch (eds.)
search