elvira albert

Grid   List

  1. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Elvira Albert
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 36th IFIP WG 6.1
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Logic-Based Program Synthesis and Transformation
    Logic-Based Program Synthesis and Transformation
    Elvira Albert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgi...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Integrated Formal Methods
    Integrated Formal Methods
    Elvira Albert
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers p...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Hochschulrecht im Freistaat Bayern
    Hochschulrecht im Freistaat Bayern
    Albert Berger
    C. F. Müller
    Ebook
    Sofort lieferbar
    Die Novelle des Hochschulgesetzes, ein neues Hochschulpersonalgesetz und das neue Universitätsklinikagesetz sind Ausdruck der Neugestaltung des bayerischen Hochschulrechts, das von der Implementati...
    139,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Wildhexe
    Wildhexe
    Gerda Lie Kaas
    MFA
    DVD
    Bezug 6-10
    Die 12-jährige Clara ist wie jedes andere Mädchen. Aber alles ändert sich, als sie eines Tages von einem schwarzen Kater angefallen und gekratzt wird. Clara entdeckt, dass sie plötzlich eine einzig...
    13,25 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  6. Logic-Based Program Synthesis and Transformation
    Logic-Based Program Synthesis and Transformation
    Elvira Albert
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgi...
    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Integrated Formal Methods
    Integrated Formal Methods
    Emil Sekerinski
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers p...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Ivan Lanese
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Gre...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>