Home Advanced Search

Advanced Search - Page 1

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Lawrence C. Paulson (auth.), Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
Isabelle: A Generic Theorem Prover
  • DJVU
  • English
  • Year: 1994
  • Author: Lawrence C. Paulson (eds.)
Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gerwin Klein (auth.), Matt Kaufmann, Lawrence C. Paulson (eds.)
Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Ernie Cohen (auth.), Renate A. Schmidt (eds.)
Sexuelle Verwahrlosung: Empirische Befunde – Gesellschaftliche Diskurse – Sozialethische Reflexionen
  • PDF
  • German
  • Year: 2010
  • Author: Michael Schetsche, Renate-Berenike Schmidt (auth.), Michael Schetsche, Renate-Berenike Schmidt (eds.)
Europe in 12 lessons
  • PDF
  • English
  • Author: Fontaine Pascal.
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Pascal Fontaine
12 Europos pamokų
  • EPUB
  • Lithuanian
  • Year: 2012
  • Author: Pascal Fontaine
Lebensthema Sexualität: Sexuelle Einstellungen, Erfahrungen und Karrieren jüngerer Frauen
  • PDF
  • German
  • Year: 2003
  • Author: Renate-Berenike Schmidt (auth.)
search