UnibroschüreEngl-Korr.qxd

First Page		Document Content
Date: 2015-06-16 05:49:13 University of Hanover Gottfried Wilhelm Leibniz Scientific Community Hanover Institute of technology Gottfried Leibniz Leibniz TU9 Hannoverimpuls QUEST Education States of Germany Academia		UnibroschüreEngl-Korr.qxd Add to Reading List Source URL: www.international.uni-hannover.de Download Document from Source Website File Size: 2,54 MB Share Document on Facebook

	LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games DocID: 1xW2u - View Document
	LEIBNIZ HOMOLOGY OF LIE ALGEBRAS AS FUNCTOR HOMOLOGY ERIC HOFFBECK AND CHRISTINE VESPA Abstract. We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from DocID: 1xVSt - View Document
	Improving the Adoption of Software Engineering Practices Through Persuasive Interventions Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades DocID: 1xVuG - View Document
	LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability DocID: 1xVbZ - View Document
	Visual Positions of Links and Clicks on Wikipedia Dimitar Dimitrov Philipp Singer GESIS – Leibniz Institute for the Social Sciences DocID: 1xUZh - View Document