Aufgrund einer technischen Störung musste die Rheinland-Pfälzische Bibliographie in ihrer bisherigen Form abgeschaltet werden und auf eine neue Oberfläche umziehen. Bitte beachten Sie, dass es sich hierbei um eine Version handelt, in der noch nicht alle Funktionen umgesetzt sind. Wir sind bestrebt, dies fortlaufend zu verbessern.
3 Treffer — zeige 1 bis 3:

Abbildung von grUML nach XSD soamig [Elektronische Ressource] Großmann, Eckhard; Institut für Softwaretechnik / Koblenz 2009

Algorithmen und Werkzeuge für Petrinetze [Elektronische Ressource] Philippi, Stephan; Workshop Algorithmen und Werkzeuge für Petrinetze / 14 / 2007 / Koblenz; 14. Workshop Algorithmen und Werkzeuge für Petrinetze; Institut für Softwaretechnik / Koblenz 2007

Hyper Tableaux with equality [Elektronische Ressource] Baumgartner, Peter; Furbach, Ulrich / 1948-; Pelzer, Björn; Universität Koblenz-Landau / Institut für Informatik 2007

Ergebnisse eingrenzen:

Erscheinungsjahr


Regionen

  • Lade Regionen...

Sachgebiete

  • Lade Sachgebiete...

Schlagwörter

  • Lade Schlagwörter...

Publikationstypen

  • Lade Publikationstypen...

Medientypen

  • Lade Medientypen...