Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 59.56 MB
Format: PDF, Mobi
View: 4717
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.

Mentopolis

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

Einf Hrung In Die Kategorientheorie

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

Clean Code Refactoring Patterns Testen Und Techniken F R Sauberen Code

Author: Robert C. Martin
Publisher: MITP-Verlags GmbH & Co. KG
ISBN: 3826696387
Size: 31.90 MB
Format: PDF, ePub, Docs
View: 5548
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: ...

The Art Of Unit Testing

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

Essential Scrum

Author: Kenneth S. Rubin
Publisher: mitp Verlags GmbH & Co. KG
ISBN: 3826690478
Size: 35.45 MB
Format: PDF, ePub, Mobi
View: 4226
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: 22.82 MB
Format: PDF, ePub
View: 4974
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 ...

Spring Im Einsatz

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