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; Pelzer, Björn; Universität Koblenz-Landau. Institut für Informatik | 2007 |
Die RPB enthält aktuell 566249 Literaturnachweise | Ein Entwicklungsprojekt von