Type Driven Development with Idris

Type Driven Development with Idris Author Edwin Brady
ISBN-10 1617293024
Release 2016-12-01
Pages 375
Download Link Click Here

Types are often seen as a tool for checking errors, with the programmer writing a complete program first and using the type checker to detect errors. And while tests are used to show presence of errors, they can only find errors that you explicitly test for. In type-driven development, types become your tools for constructing programs and, used appropriately, can show the absence of errors. And you can express precise relationships between data, your assumptions are explicit and checkable, and you can precisely state and verify properties. Type-driven development lets users write extensible code, create simple specifications very early in development, and easily create mock implementation for testing. Type-Driven Development with Idris, 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. This book teaches readers using Idris, a language designed from the very beginning to support type-driven development. Readers learn how to manipulate types just like any other construct (numbers, strings, lists, etc.). This book teaches how to use type-driven development to build real-world software, as well as how to handle side-effects, state and concurrency, and interoperating with existing systems. By the end of this book, readers will be able to develop robust and verified software in Idris and apply type-driven development methods to programming in other languages. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.



Schiffbruch mit Tiger

Schiffbruch mit Tiger Author Yann Martel
ISBN-10 9783104010328
Release 2010-08-17
Pages 384
Download Link Click Here

Schiffbruch mit Tiger? Diese Geschichte würden Sie nicht glauben? Kein Wunder. Fantastisch. Verwegen. Atemberaubend. Wahnsinnig komisch. Eine Geschichte, die Sie an Gott glauben lässt. Pi Patel, der Sohn eines indischen Zoobesitzers und praktizierender Hindu, Christ und Muslim erleidet mit einer Hyäne, einem Orang-Utan, einem verletzten Zebra und einem 450 Pfund schweren bengalischen Tiger namens Richard Parker Schiffbruch. Bald hat der Tiger alle erledigt - alle, außer Pi. Alleine treiben sie in einem Rettungsboot auf dem Ozean. Eine wundersame, abenteuerliche Odyssee beginnt. ››Martel schreibt wie ein leidenschaftlicher Paul Auster.‹‹ Times Literary Supplement ››Eine Reminiszenz an Italo Calvino.‹‹ Independent on Sunday



Spring im Einsatz

Spring im Einsatz Author Craig Walls
ISBN-10 9783446429468
Release 2012-01-12
Pages 428
Download Link Click Here

SPRING IM EINSATZ // - Spring 3.0 auf den Punkt gebracht: Die zentralen Konzepte anschaulich und unterhaltsam erklärt. - Praxis-Know-how für den Projekteinsatz: Lernen Sie Spring mit Hilfe der zahlreichen Codebeispiele aktiv kennen. - Im Internet: Der vollständige Quellcode für die Applikationen dieses Buches Das Spring-Framework gehört zum obligatorischen Grundwissen eines Java-Entwicklers. Spring 3 führt leistungsfähige neue Features wie die Spring Expression Language (SpEL), neue Annotationen für IoC-Container und den lang ersehnten Support für REST ein. Es gibt keinen besseren Weg, um sich Spring anzueignen, als dieses Buch - egal ob Sie Spring gerade erst entdecken oder sich mit den neuen 3.0-Features vertraut machen wollen. Craig Walls setzt in dieser gründlich überarbeiteten 2. Auflage den anschaulichen und praxisorientierten Stil der Vorauflage fort. Er bringt als Autor sein Geschick für treffende und unterhaltsame Beispiele ein, die das Augenmerk direkt auf die Features und Techniken richten, die Sie wirklich brauchen. Diese Auflage hebt die wichtigsten Aspekte von Spring 3.0 hervor: REST, Remote-Services, Messaging, Security, MVC, Web Flow und vieles mehr. Das finden Sie in diesem Buch: - Die Arbeit mit Annotationen, um die Konfiguration zu reduzieren - Die Arbeit mit REST-konformen Ressourcen - Spring Expression Language (SpEL) - Security, Web Flow usw. AUS DEM INHALT: Spring ins kalte Wasser, Verschalten von Beans, Die XML-Konfiguration in Spring minimalisieren, Aspektorientierung, Zugriff auf die Datenbank, Transaktionen verwalten, Webapplikationen mit Spring MVC erstellen, Die Arbeit mit Spring Web Flow, Spring absichern, Die Arbeit mit Remote-Diensten, Spring und REST, Messaging in Spring, Verwalten von Spring-Beans mit JMX



Refactoring to patterns

Refactoring to patterns Author Joshua Kerievsky
ISBN-10 3827322626
Release 2005
Pages 384
Download Link Click Here

Refactoring to patterns has been writing in one form or another for most of life. You can find so many inspiration from Refactoring to patterns also informative, and entertaining. Click DOWNLOAD or Read Online button to get full Refactoring to patterns book for free.



Lady Midnight

Lady Midnight Author Cassandra Clare
ISBN-10 9783641179083
Release 2016-05-17
Pages 848
Download Link Click Here

Niemals wird sie den Tag vergessen, an dem ihre Eltern starben. Die 17-jährige Emma Carstairs war noch ein Kind, als sie damals ermordet wurden, und es herrschte Krieg. Die Wesen der Unterwelt kämpften bis aufs Blut gegeneinander, und die Schattenjäger, die Erzfeinde der Dämonen, wurden fast völlig ausgelöscht. Aber Emma glaubt bis heute nicht, dass ihre Eltern Opfer dieses dunklen Krieges wurden, sondern dass sie aus einem anderen rätselhaften Grund sterben mussten. Inzwischen sind fünf Jahre vergangen, und Emma hat Zuflucht im Institut der Schattenjäger in Los Angeles gefunden. Eine mysteriöse Mordserie sorgt für große Unruhe in der Unterwelt. Immer wieder werden Leichen gefunden, übersät mit alten Schriftzeichen, ähnliche Zeichen wie sie auch auf den Körpern von Emmas Eltern entdeckt worden waren. Emma muss dieser Spur nachgehen, selbst wenn sie dafür ihren engsten Vertrauten und Seelenverwandten Julian Blackthorn in große Gefahr bringt ...



Einf hrung in die Kategorientheorie

Einf  hrung in die Kategorientheorie Author Martin Brandenburg
ISBN-10 9783662535219
Release 2016-12-15
Pages 343
Download Link Click Here

Die Kategorientheorie deckt die innere Architektur der Mathematik auf. Dabei werden die strukturellen Gemeinsamkeiten zwischen mathematischen Disziplinen und ihren spezifischen Konstruktionen herausgearbeitet. Dieses Buch gibt eine systematische Einführung in die Grundbegriffe der Kategorientheorie. Zahlreiche ausführliche Erklärungstexte sowie die große Menge an Beispielen helfen beim Einstieg in diese verhältnismäßig abstrakte Theorie. Es werden viele konkrete Anwendungen besprochen, welche die Nützlichkeit der Kategorientheorie im mathematischen Alltag belegen. Jedes Kapitel wird mit einem motivierenden Text eingeleitet und mit einer großen Aufgabensammlung abgeschlossen. An Vorwissen muss der Leser lediglich ein paar Grundbegriffe des Mathematik-Studiums mitbringen. Die vorliegende zweite vollständig durchgesehene Auflage ist um ausführliche Lösungen zu ausgewählten Aufgaben ergänzt.



Das Zhong yuan Qigong

Das Zhong yuan Qigong Author Mingtang Xu
ISBN-10 3935367163
Release 2014-02
Pages 186
Download Link Click Here

Grossmeister Xu beschreibt die Tradition des Zhong Yuan Qigong, einer 7000 Jahre alten Qigong-Tradition, deren Linienhalter er ist. Das Buch enthält die grundlegende Theorie des Qigong, der Chinesischen Medizin und der chinesischen Philosophie. Ausserdem die Übungen des 1. Levels des Zhong Yuan Qigong, einen großen Abschnitt über Fragen zur Qigongpraxis un d viele Anekdoten und Geschichten aus der Ausbildung des Grossmeister selber, die einen tiefen Einblick in die spirituelle Tradition des Qigogn ermöglichen, der so noch nie vorher in dt. Sprache veröffentlicht wurde.



Die Saat

Die Saat Author Guillermo del Toro
ISBN-10 9783641034252
Release 2009-12-07
Pages 528
Download Link Click Here

Das Ende der Welt beginnt New York, Flughafen. Eine Maschine aus Europa landet – und bleibt plötzlich stehen. Die Lichter gehen aus, nichts rührt sich mehr. Was ist geschehen? Ein Terroranschlag? Eine Seuche? Oder etwas ganz und gar Unvorstellbares ... Für Ephraim Goodweather, den Chef des New Yorker Seuchenpräventionsteams, ist es keine Nacht wie jede andere. Für die gesamte Menschheit ist es keine Nacht wie jede andere. In dieser Nacht kommt auf dem John-F.-Kennedy-Flughafen eine gerade gelandete Maschine unvermittelt zum Stehen, der Pilot bricht den Funkverkehr ab, alle Lichter erlöschen. Goodweather trommelt seine Leute zusammen, und gemeinsam betreten sie das Flugzeug. Es bietet sich ihnen ein gespenstisches Bild: Die Passagiere sitzen aufrecht in ihren Sesseln und rühren sich nicht. Als Goodweather näher herangeht, bemerkt er bei allen einen kleinen Schnitt am Hals. Und er macht eine weitere unglaubliche Entdeckung: Die Passagiere leben – aber sie sind keine Menschen mehr ... Nein, es ist keine Nacht wie jede andere: In dieser Nacht beginnt der epische Kampf gegen das Böse, das gekommen ist, um New York zu erobern. Und nicht nur diese Stadt, sondern die ganze Welt.



Machine Learning mit Python

Machine Learning mit Python Author Sebastian Raschka
ISBN-10 9783958454248
Release 2016-11-22
Pages 424
Download Link Click Here

Machine Learning mit Python has been writing in one form or another for most of life. You can find so many inspiration from Machine Learning mit Python also informative, and entertaining. Click DOWNLOAD or Read Online button to get full Machine Learning mit Python book for free.



Moderne Betriebssysteme

Moderne Betriebssysteme Author Andrew S. Tanenbaum
ISBN-10 3827373425
Release 2009
Pages 1239
Download Link Click Here

Moderne Betriebssysteme has been writing in one form or another for most of life. You can find so many inspiration from Moderne Betriebssysteme also informative, and entertaining. Click DOWNLOAD or Read Online button to get full Moderne Betriebssysteme book for free.



Herr aller Dinge

Herr aller Dinge Author Andreas Eschbach
ISBN-10 9783838710136
Release 2011-09-16
Pages 703
Download Link Click Here

Was wäre, wenn alle Menschen gleich reich wären? Zwei Kinder aus zwei Welten, die unterschiedlicher kaum sein könnten: Charlotte, die Tochter des französischen Botschafters in Tokio, und Hiroshi, der Sohn der Wäscherin. Sie begegnen sich im Alter von zehn Jahren und freunden sich an, obwohl die Eltern den Kontakt missbilligen. Zu unüberwindbar seien die Unterschiede zwischen Arm und Reich, sagen sie - und bringen Hiroshi damit auf eine ebenso einfache wie geniale Idee. Die Wege der Freunde trennen sich, führen Jahre später wieder zusammen und trennen sich erneut. Die ganze Zeit über verfolgt Hiroshi nur ein Ziel: die Umsetzung seines Planes zur Überwindung aller sozialen Unterschiede. Denn nur so, glaubt er, kann er Charlottes Liebe gewinnen. Mit "Herr aller Dinge" ist Bestsellerautor Andreas Eschbach ein spannender Scifi-Roman gelungen, der mit Utopien und surrealen Gesellschaftsentwürfen spielt.



Personal Kanban

Personal Kanban Author Tonianne Demaria Barry
ISBN-10 9783864912320
Release 2012-12-10
Pages 230
Download Link Click Here

'Personal Kanban' ist eine einfache und elegante Methode, um Aufgaben, Projekte und Termine im Berufs- und Privatleben effektiver zu erledigen. Indem wir unsere Vorhaben visualisieren, können wir mithilfe von Personal Kanban besser organisieren und gleichzeitig unsere Arbeit, Ziele und Einsichten mit anderen teilen. Das 'Kanban-Board' als wichtigstes Werkzeug ermöglicht dabei eine Übersicht uber den Status der angefallenen, anstehenden und erledigten Aufgaben. 'Personal Kanban' folgt nur zwei Regeln: - Regel 1: Stellen Sie Ihre Arbeit bildlich dar! - Regel 2: Machen Sie nicht zu viel auf einmal! Indem die Menge an parallelen Aufgaben begrenzt wird, können Engpässe sichtbar gemacht werden. Aufgaben werden nach dem Pull-Prinzip (Hol-Prinzip) abgearbeitet, d.h., es wird nur die Arbeit angenommen, die auch bewältigt werden kann. Dies wirkt sich positiv auf den Arbeitsfluss und den Durchsatz aus. Auf Basis dieser Betrachtung können wir proaktiv Entscheidungen treffen. Unsere Arbeit wird produktiv, effizient und effektiv. Wir haben Spaß an dem, was wir tun, und sind motiviert, es noch besser zu machen. Jim Benson und Tonianne DeMaria Barry beschreiben anhand zahlreicher Fallbeispiele, wie Sie mit Personal Kanban bei der Planung persönlicher Aufgaben sofort gute Resultate erzielen können.



Programmieren in Lua

Programmieren in Lua Author Roberto Ierusalimschy
ISBN-10 3955390209
Release 2013
Pages 435
Download Link Click Here

Programmieren in Lua has been writing in one form or another for most of life. You can find so many inspiration from Programmieren in Lua also informative, and entertaining. Click DOWNLOAD or Read Online button to get full Programmieren in Lua book for free.



REST und HTTP

REST und HTTP Author Stefan Tilkov
ISBN-10 9783864916441
Release 2015-05-06
Pages 330
Download Link Click Here

Das Buch bietet eine theoretisch fundierte, vor allem aber praxistaugliche Anleitung zum professionellen Einsatz von RESTful HTTP. Es beschreibt den Architekturstil REST (Representational State Transfer) und seine Umsetzung im Rahmen der Protokolle des World Wide Web (HTTP, URIs und andere). Es wird gezeigt, wie man klassische Webanwendungen und Webservices so entwirft, dass sie im Einklang mit den Grundprinzipien des Web stehen und seine vielen Vorteile ausnutzen. Nach einer kurzen Einleitung, die die Grundprinzipien vermittelt (Ressourcen, Repräsentationen, Hyperlinks, Content Negotiation), wird ein vollständiges praktisches Beispiel vorgestellt. Danach werden die einzelnen Konzepte sowie fortgeschrittene Themen wie Caching, Dokumentation und Sicherheit detailliert betrachtet. Schließlich wird eine erweiterte Form der Beispielanwendung entwickelt, um die Umsetzung der fortgeschrittenen Konzepte zu demonstrieren. Inzwischen etablierte Best Practices zu Entwurf und Implementierung werden in einem eigenen Kapitel beschrieben und diskutiert. Neu in der dritten Auflage ist u.a. die Behandlung von immer populärer werdenden Formaten (wie HAL, collection+json und Siren), Hinweise zur Dokumentation von Web-APIs sowie das Zusammenspiel mit Web-Oberflächen nach dem ROCA-Prinzip.



The Art of Unit Testing

The Art of Unit Testing Author Roy Osherove
ISBN-10 382669712X
Release 2015-01-28
Pages 312
Download Link Click Here

The Art of Unit Testing has been writing in one form or another for most of life. You can find so many inspiration from The Art of Unit Testing also informative, and entertaining. Click DOWNLOAD or Read Online button to get full The Art of Unit Testing book for free.



Projekt Phoenix

Projekt Phoenix Author Gene Kim
ISBN-10 9783958751767
Release 2015-08-22
Pages 352
Download Link Click Here

Bill Palmer wird überraschend zum Bereichsleiter der IT-Abteilung eines Autoteileherstellers befördert und muss nun eine Katastrophe nach der anderen bekämpfen. Gleichzeitig läuft ein wichtiges Softwareprojekt und die Wirtschaftsprüfer sind auch im Haus. Schnell wird klar, dass »mehr Arbeiten, mehr Prioritäten setzen, mehr Disziplin« nicht hilft. Das ganze System funktioniert einfach nicht, eine immer schneller werdende Abwärtsspirale führt dazu, dass das Unternehmen kurz vor dem Aus steht. Zusammen mit einem weitsichtigen Aufsichtsratsmitglied fängt Bill Palmer an, das System umzustellen. Er organisiert Kommunikation und Workflow zwischen Abteilungen neu, entdeckt und entschärft Flaschenhälse und stimmt sich mit dem Management besser ab. Er schafft es damit, das Ruder herumzureißen. Das Buch zeigt, wie neue Ideen und Strategien der DevOps-Bewegung konkret umgesetzt werden können und zum Erfolg führen - und liest sich dabei wie ein guter Wirtschaftskrimi!



Unser Mann in Havanna

Unser Mann in Havanna Author Graham Greene
ISBN-10 386615237X
Release 2006
Pages 217
Download Link Click Here

Finanzielle Sorgen treiben den Staubsaugerhändler Mr. Wormold in die Machenschaften des britischen Geheimdienstes, der ständige Verschwörungen auf Kuba vermutet. Gegen gute Bezahlung beginnt der völlig ungeeignete äAgentä mit seiner neuen Arbeit.