Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 504
  1. Till Mossakowski; Markus Roggenbach; Lutz Schröder

    Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

    In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by …

  2. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

  3. iGreen -- Vom Segen und Fluch eines interdisziplinären Forschungsprojekts

    In: LU aktuell, Vol. 2013, No. 6, Page 34, Bundesverband Lohnunternehmen e.V. 6/2013.

  4. Evgeny Bogdanov; Carsten Ullrich; Erik Isaksson; Matthias Palmér; Denis Gillet

    Towards PLEs through Widget Spaces in Moodle

    In: Computer Science and Information Systems Journal, Vol. 11, No. 1, Pages 443-460, ComSIS Consortium, 2013.

  5. Europa, Deine Sprachen.

    In: Philipp Otto. Das Netz 2013/2014. Pages 128-131, iRights Media, Berlin, 12/2013.

  6. Eine Strategie zur Förderung der digitalen Langzeitarchivierung

    In: Paul Klimpel; Jürgen Keiper. Was bleibt? Nachhaltigkeit der Kultur in der Digitalen Welt. Eine Publikation des Internet und …

  7. The State of Computational Morphology for Europe's Languages and the META-NET Strategic Research Agenda

    In: Cerstin Mahlow; Michael Piotrowski (Hrsg.). Communications in Computer and Information Science, Vol. Systems and Frameworks for Computational …

  8. Christoph Schulz

    Naturalised Information

    In: Phyllis Illari (Hrsg.). The Philosophy of Information: A Simple Introduction. Chapter 3, Pages 43-53, Online Edition, 9/2013.

  9. Yutaka Arakawa; T. Scheffler; Stephan Baumann; Andreas Dengel

    Social Tourist Map -Discovering Popular Point of Interests for Tourism from Social Data-

    In: IPSJ Symp. on Multimedia, Distributed, Cooperative and Mobile Systems . Multimedia, Distributed, Cooperative and Mobile Systems (DICOMO), Pages …