kung kiu lau

Grid   List

  1. Service-Oriented and Cloud Computing
    Service-Oriented and Cloud Computing
    Kung-Kiu Lau
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Málaga, Spain, in September 2013. The 11 full papers pr...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Kung-Kiu Lau
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal Methods and Software Engineering
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Service-Oriented and Cloud Computing
    Service-Oriented and Cloud Computing
    Massimo Villari
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Third European Conference on Service-Oriented and Cloud computing, ESOCC 2014, held in Manchester, UK, in September 2014. The 13 papers present...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Logic Program Synthesis and Transformation
    Logic Program Synthesis and Transformation
    Timothy P. Clement
    Springer London
    Ebook
    Sofort lieferbar
    Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Logic Based Program Synthesis and Transformation
    Logic Based Program Synthesis and Transformation
    Kung-Kiu Lau
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the Interna...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Program Development in Computational Logic
    Program Development in Computational Logic
    Maurice Bruynooghe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened it...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Logic Program Synthesis and Transformation
    Logic Program Synthesis and Transformation
    Kung-Kiu Lau
    Springer London
    Ebook
    Sofort lieferbar
    Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of volume, complexity, o...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Computational Logic - CL 2000
    Computational Logic - CL 2000
    John Lloyd
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conferen...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Logic Program Synthesis and Transformation
    Logic Program Synthesis and Transformation
    Kung-Kiu Lau
    Springer London, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Logic programming synthesis and transformation are methods of deriving logic programs from their specifications and, where necessary, producing alternative but equivalent forms of a given program. ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Service-Oriented and Cloud Computing
    Service-Oriented and Cloud Computing
    Kung-Kiu Lau
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Málaga, Spain, in September 2013. The 11 full papers pr...
    49,22 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Formal Methods and Software Engineering
    Formal Methods and Software Engineering
    Richard Banach
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1 4 November 2005, Manchester, UK. Formal engineering methods are changing the ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Program Development in Computational Logic
    Program Development in Computational Logic
    Kung-Kiu Lau
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened it...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>