zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Suchergebnis
Suche verändern
3 Treffer
Suchergebnis
zu den Filteroptionen
Suche nach:
Schlagwort = Programmtransformation und Sammlung = ULB Düsseldorf
Combinatorial algorithms
Kučera, Luděk
Bristol [u.a.] : Hilger, 1990
Logic-based program synthesis and transformation
24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 ; revised selected papers
Proietti, Maurizio (Hrsg.) ; LOPSTR <24., 2014, Canterbury>
Cham [u.a.] : Springer, 2015
Logic-based program synthesis and transformation
25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers
Falaschi, Moreno (Hrsg.) ; LOPSTR <25., 2015, Siena>
[Cham] : Springer, 2015