Die Rheinland-Pfälzische Bibliographie
Ein Entwicklungsprojekt von lbz & hbz beta
|
|
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; 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 |
Die RPB enthält aktuell 564376 Literaturnachweise | Ein Entwicklungsprojekt von