jeremy gibbons

Grid   List

  1. Foundations of Health Information Engineering and Systems
    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 International Symposium on Foundations of Health Information Engineering and Systems, FHIES 2013, held in Maca...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Generic and Indexed Programming
    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 parametrization---not just along the dimensions of values or of types, but also of things such as the shape o...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Bidirectional Transformations
    Bidirectional Transformations
    Jeremy Gibbons
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This volume represents the lecture notes from the Summer School on Bidirectional Transformations, held in Oxford, UK, in July 2016. The school was one of the final activities on the project 'A Theo...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Integrated Formal Methods
    Integrated Formal Methods
    Jim Davies
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Mathematics of Program Construction
    Mathematics of Program Construction
    Jeremy Gibbons
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Teaching Formal Methods
    Teaching Formal Methods
    Jeremy Gibbons
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Datatype-Generic Programming
    Datatype-Generic Programming
    Roland Backhouse
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This tutorial book presents six carefully revised lectures given at the Spring School on Datatype-Generic Programming, SSDGP 2006. This was held in Nottingham, UK, in April 2006. It was colocated w...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
    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. Recent research aimed at improving the process of program construction exploits insights from abstrac...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Generic Programming
    Generic Programming
    Roland Backhouse
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the st...
    46,00 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Generic Programming
    Generic Programming
    Jeremy Gibbons
    Springer New York
    Ebook
    Sofort lieferbar
    Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from the...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Functional and Logic Programming
    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 Programming, FLOPS 2024, held in Kumamoto, Japan, in May 2024.
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Algorithm Design with Haskell
    Algorithm Design with Haskell
    Richard Bird
    Cambridge University Press
    Ebook
    Sofort lieferbar
    Ideal for learning or reference, this book explains the five main principles of algorithm design and their implementation in Haskell.
    66,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
<%--for search--%>