Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to...

"Pro Asynchronous Programming with .NET" von Rock Solid Knowledge Ltd ist ein umfassendes Handbuch, das sich mit der asynchronen Programmierung in der .NET-Plattform beschäftigt. Das Buch bietet eine detaillierte Einführung in die...

"Expert C# 2005 Business Objects" von Rockford Lhotka ist ein technisches Buch, das sich an Entwickler richtet, die Geschäftslogik in .NET-Anwendungen implementieren möchten. Das Buch konzentriert sich auf die Erstellung von...

"Foundations of WPF: An Introduction to Windows Presentation Foundation" von Laurence Moroney bietet eine umfassende Einführung in die Windows Presentation Foundation (WPF), eine Schlüsseltechnologie für die Entwicklung von...

"Practical Node.js: Building Real-World Scalable Web Apps" von Azat Mardan ist ein praxisorientiertes Buch, das sich an Entwickler richtet, die robuste und skalierbare Webanwendungen mit Node.js erstellen möchten. Das Buch führt den...

Work with essential and advanced features of the Java programming language such as Java modules development, lambda expressions (closures), inner classes, threads, I/O, Collections, garbage collection, and more. Author Kishori Sharan...

"Learn Blockchain by Building One: A Concise Path to Understanding Cryptocurrencies" von Daniel van Flymen ist ein praxisorientiertes Buch, das Lesern hilft, die Grundlagen der Blockchain-Technologie und Kryptowährungen zu verstehen....

The age of Web 2.0 smart mobile phones and handsets is here. First there was the BlackBerry, then there was the iPhone, and now there's Google, with its Android Mobile Software Development Kit (SDK) and platform, and its hardware...

In combination with .NET, F# achieves unrivaled levels of programmer productivity and program clarity. Expert F# puts the power and elegance of functional programming into the hands of professional developers. Written by F#'s inventor...

"Foundation Drupal 7: Learn How to Use the Drupal Framework to Quickly Build Feature-rich Websites" von RJ Townsend ist ein umfassender Leitfaden für Einsteiger und fortgeschrittene Benutzer, die lernen möchten, wie man mit dem Drupal 7...

"Applied ADO.NET: Building Data-Driven Solutions" von Mahesh Chand ist ein umfassendes Handbuch, das sich an .NET-Entwickler richtet, die ihre Fähigkeiten im Umgang mit ADO.NET zur Erstellung datengetriebener Anwendungen vertiefen...

"LEGO MINDSTORMS NXT: The Mayan Adventure" von James Floyd Kelly ist ein Buch, das die Leser auf eine spannende Reise mitnimmt, indem es die Welt der Robotik und Programmierung durch das LEGO MINDSTORMS NXT-System erkundet. Die...