zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Suchergebnis
Suche verändern
Suchergebnis
zu den Filteroptionen
Suche nach:
Körperschaft = IFM <11., 2014, Bertinoro> und Sammlung = ULB Düsseldorf
Integrated formal methods
11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings
Albert, Elvira (Hrsg.) ; IFM <11., 2014, Bertinoro>
Cham [u.a.] : Springer, 2014