Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 63.22 MB
Format: PDF
View: 1896
Download Read Online
This book, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system.

Spring Im Einsatz

Author: Craig Walls
Publisher: Carl Hanser Verlag GmbH Co KG
ISBN: 3446429468
Size: 58.55 MB
Format: PDF, ePub
View: 3299
Download Read Online
SPRING IM EINSATZ // - Spring 3.0 auf den Punkt gebracht: Die zentralen Konzepte anschaulich und unterhaltsam erklärt.

Mentopolis

Author: Marvin Lee Minsky
Publisher:
ISBN: 9783608931174
Size: 75.71 MB
Format: PDF, Mobi
View: 1254
Download Read Online
Computing Methodologies -- Artificial Intelligence.

Einf Hrung In Die Kategorientheorie

Author: Martin Brandenburg
Publisher: Springer-Verlag
ISBN: 3662535211
Size: 67.95 MB
Format: PDF
View: 6873
Download Read Online
Der Autor Dr. Martin Brandenburg arbeitet an der Schnittstelle zwischen Algebraischer Geometrie und Kategorientheorie.

The Art Of Unit Testing

Author: Roy Osherove
Publisher: MITP-Verlags GmbH & Co. KG
ISBN: 3826687221
Size: 59.95 MB
Format: PDF, ePub, Docs
View: 4981
Download Read Online
Roy Osherove führt Sie Schritt für Schritt von einfachen Tests zu Tests, die wartbar, lesbar und zuverlässig sind.

Clean Code Refactoring Patterns Testen Und Techniken F R Sauberen Code

Author: Robert C. Martin
Publisher: MITP-Verlags GmbH & Co. KG
ISBN: 3826696387
Size: 46.88 MB
Format: PDF, ePub, Docs
View: 974
Download Read Online
h2> Kommentare, Formatierung, Strukturierung Fehler-Handling und Unit-Tests Zahlreiche Fallstudien, Best Practices, Heuristiken und Code Smells Clean Code - Refactoring, Patterns, Testen und Techniken für sauberen Code Aus dem Inhalt: ...

Essential Scrum

Author: Kenneth S. Rubin
Publisher: mitp Verlags GmbH & Co. KG
ISBN: 3826690478
Size: 63.13 MB
Format: PDF, ePub, Mobi
View: 956
Download Read Online
Es ist entstanden, weil der Autor Kenneth S. Rubin als Agile- und Scrum-Berater oft nach einem Referenzbuch für Scrum gefragt worden ist – einem Buch, das einen umfassenden Überblick über das Scrum-Framework bietet und darüber hinaus ...

Bidirectional Transformations

Author: Jeremy Gibbons
Publisher: Springer
ISBN: 3319791087
Size: 62.29 MB
Format: PDF, ePub, Mobi
View: 5525
Download Read Online
ACM (2006) Boyer, J.M.: W3C XForms, October 2009. https://www.w3.org/TR/
xforms/ Brady, E.: Type-Driven Development with Idris. Manning Publications,
Shelter Island (2017) Cai, Y., Giarrusso, P.G., Rendel, T., Ostermann, K.: A theory
of changes for higherorder languages: incrementalizing λ-calculi by static
differentiation. In: Programming Language Design and Implementation, pp. 145–
155. ACM (2014) Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: On principles
of least ...

Die Sketchnote Starthilfe

Author: Tanja Wehr
Publisher: MITP-Verlags GmbH & Co. KG
ISBN: 3958454216
Size: 42.47 MB
Format: PDF, Kindle
View: 4880
Download Read Online
Tanja Wehr zeigt im Buch über 200 Symbole, Icons und Piktogramme Schritt für Schritt, so dass du sie ganz einfach nachzeichnen kannst.