Leibniz

Results: 3204



#Item
1LIPIcs  Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games

LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2009-10-23 08:59:09
2LEIBNIZ 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

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

Add to Reading List

Source URL: irma.math.unistra.fr

Language: English - Date: 2014-04-03 05:17:56
3Improving 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

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

Add to Reading List

Source URL: etc.leif.me

Language: English - Date: 2013-02-20 04:41:26
    4LIPIcs  Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability

    LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability

    Add to Reading List

    Source URL: qav.comlab.ox.ac.uk

    Language: English - Date: 2013-12-01 10:22:58
    5Visual Positions of Links and Clicks on Wikipedia Dimitar Dimitrov Philipp Singer  GESIS – Leibniz Institute for the Social Sciences

    Visual Positions of Links and Clicks on Wikipedia Dimitar Dimitrov Philipp Singer GESIS – Leibniz Institute for the Social Sciences

    Add to Reading List

    Source URL: gdac.uqam.ca

    Language: English - Date: 2017-10-04 00:33:35
    6Creating a Shared Understanding of Testing Culture on a Social Coding Site Raphael Pham∗ , Leif Singer∗ , Olga Liskin∗ , Fernando Figueira Filho† , and Kurt Schneider∗ ∗  Leibniz Universität Hannover

    Creating a Shared Understanding of Testing Culture on a Social Coding Site Raphael Pham∗ , Leif Singer∗ , Olga Liskin∗ , Fernando Figueira Filho† , and Kurt Schneider∗ ∗ Leibniz Universität Hannover

    Add to Reading List

    Source URL: etc.leif.me

    Language: English - Date: 2013-04-15 16:52:12
    7

    PDF Document

    Add to Reading List

    Source URL: leibniz-irs.de

    - Date: 2017-05-18 04:28:42
      8

      PDF Document

      Add to Reading List

      Source URL: www.leibniz-infections21.de

      - Date: 2016-05-17 03:55:45
        9

        PDF Document

        Add to Reading List

        Source URL: www.leibniz-healthtech.de

        - Date: 2017-11-02 06:17:09
          10

          PDF Document

          Add to Reading List

          Source URL: jenalib.leibniz-fli.de

          - Date: 1998-06-09 04:15:51