Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam

1–12 von 86 Ergebnissen

  • 2019

    Metric Temporal Graph Logic over Typed Attributed Graphs

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2019

    The Font Engineering Platform

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2018

    Squimera

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2019

    Die HPI Schul-Cloud

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2018

    Metric Temporal Graph Logic over Typed Attributed Graphs

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2018

    Proceedings of the Fifth HPI Cloud Symposium „Operating

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2018

    Towards version control in object-based systems

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2017

    Proceedings of the 10th Ph.D. Retreat of the HPI Research School

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2017

    Probabilistic Timed Graph Transformation Systems

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2017

    Proceedings of the Fourth HPI Cloud Symposium „Operating

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2017

    k-Inductive Invariant Checking for Graph Transformation Systems

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb
  • 2017

    Symbolic model generation for graph properties

    0,00 

    Nicht steuerbarer Umsatz entsprechend § 1 (1) UStG in Verbindung mit § 2 (3) UStG a.F. Die Universität Potsdam bildet im Rahmen dieser Leistungserbringung keinen Betrieb gewerblicher Art entsprechend § 1 (1) Nr. 6 bzw. § 4 KStG. Im Fall der nachträglichen Einstufung als Betrieb gewerblicher Art behalten wir uns das Recht vor, die Umsatzsteuer ergänzend in Rechnung zu stellen.

    In den Warenkorb