Grid   List

  1. Teaching Formal Methods
    -0 %

    Teaching Formal Methods

    Jeremy Gibbons
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of TFM2009, the Second International FME Conference on Teach...

    Unser bisheriger Preis:ORGPRICE: 56,62 €

    Jetzt 56,61 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Integrated Formal Methods
    -0 %

    Integrated Formal Methods

    Jim Davies
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 6th International Conference on Integrated ...

    Unser bisheriger Preis:ORGPRICE: 113,93 €

    Jetzt 113,92 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Mathematics of Program Construction
    -0 %

    Mathematics of Program Construction

    Jeremy Gibbons
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 11th International Conference on Mathematic...

    Unser bisheriger Preis:ORGPRICE: 56,62 €

    Jetzt 56,61 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Generic and Indexed Programming
    -0 %

    Generic and Indexed Programming

    Jeremy Gibbons
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Generic programming is about making programs more widely applicable via exotic kinds of parametri...

    Unser bisheriger Preis:ORGPRICE: 50,90 €

    Jetzt 50,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
    -0 %

    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

    Roland Backhouse
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Program construction is about turning specifications of computer software into implementations. R...

    Unser bisheriger Preis:ORGPRICE: 57,12 €

    Jetzt 57,11 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Bidirectional Transformations
    -0 %

    Bidirectional Transformations

    Jeremy Gibbons
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Bidirectional transformations (BX) are means of maintaining consistency between multiple inf...

    Unser bisheriger Preis:ORGPRICE: 57,23 €

    Jetzt 57,22 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Datatype-Generic Programming
    -0 %

    Datatype-Generic Programming

    Roland Backhouse
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    A leitmotif in the evolution of programming paradigms has been the level and extent of parametris...

    Unser bisheriger Preis:ORGPRICE: 57,20 €

    Jetzt 57,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. Foundations of Health Information Engineering and Systems
    -0 %

    Foundations of Health Information Engineering and Systems

    Jeremy Gibbons
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-conference proceedings of the Third Internatio...

    Unser bisheriger Preis:ORGPRICE: 57,02 €

    Jetzt 57,01 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  9. Algorithm Design with Haskell
    -0 %

    Algorithm Design with Haskell

    Richard Bird
    Cambridge University Press
    Ebook
    Sofort lieferbar

    This book is devoted to five main principles of algorithm design: divide and conquer, greedy algo...

    Unser bisheriger Preis:ORGPRICE: 69,92 €

    Jetzt 69,91 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  10. Generic Programming
    -0 %

    Generic Programming

    Jeremy Gibbons
    Springer US
    Ebook
    Sofort lieferbar

    Generic programming is about making programs more adaptable by making them more general. Generic ...

    Unser bisheriger Preis:ORGPRICE: 111,85 €

    Jetzt 111,84 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  11. Science, Technology, and Irish Modernism
    -0 %

    Science, Technology, and Irish Modernism

    Kathryn Conrad
    Syracuse University Press
    Ebook
    Sofort lieferbar

    Since W. B. Yeats wrote in 1890 that "e;the man of science is too often a person who has exch...

    Unser bisheriger Preis:ORGPRICE: 44,44 €

    Jetzt 32,98 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  12. Functional and Logic Programming
    -0 %

    Functional and Logic Programming

    Jeremy Gibbons
    Springer Nature Singapore
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 17th International Symposium on Functional and Logic...

    Unser bisheriger Preis:ORGPRICE: 69,12 €

    Jetzt 69,11 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1
  2. 2