The Haskell Road to Logic, Maths and Programming
The Haskell Road to Logic, Maths and Programming provides a practical bridge between abstract mathematical reasoning and functional programming. By using the Haskell language as a tool for exploration, Kees Doets and Jan van Eijck demonstrate how logical concepts can be transformed into working code. This approach allows readers to visualize complex ideas through the lens of lazy evaluation and i…
Shelves
More like this
Release It!: Design and Deploy Production-Ready Software
Whether it's in Java, .NET, or Ruby on Rails, getting your application ready to ship is only half the battle. Did you design your system to surviv…
Extreme Programming Explained: Embrace Change
“In this second edition of Extreme Programming Explained, Kent Beck organizes and presents five years’ worth of experiences, growth, and change re…
Effective Java
Since this Jolt-award winning classic was last updated in 2008 (shortly after Java 6 was released), Java has changed dramatically. The principal e…
Grokking Algorithms An Illustrated Guide For Programmers and Other Curious People
An algorithm is nothing more than a step-by-step procedure for solving a problem. The algorithms you'll use most often as a programmer have alread…
The Pragmatic Programmer: From Journeyman to Master
Straight from the programming trenches, The Pragmatic Programmer cuts through the increasing specialization and technicalities of modern software …
Designing Data-Intensive Applications
Data is at the center of many challenges in system design today. Difficult issues need to be figured out, such as scalability, consistency, reliab…
Learn You a Haskell for Great Good!
Learn You a Haskell for Great Good! is a fun, illustrated guide to learning Haskell, a functional programming language that's growing in popularit…
Don't Make Me Think, Revisited: A Common Sense Approach to Web Usability
Since Don’t Make Me Think was first published in 2000, over 400,000 Web designers and developers have relied on Steve Krug’s guide to help them un…
Clean Code: A Handbook of Agile Software Craftsmanship
Even bad code can function. But if code isn't clean, it can bring a development organization to its knees. Every year, countless hours and signifi…
The Art of Computer Programming, Volume 1: Fundamental Algorithms
The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer program…
The Little Schemer
The notion that “thinking about computing is one of the most exciting things the human mind can do” sets both The Little Schemer (formerly known a…
Introduction to Algorithms
A comprehensive update of the leading algorithms text, with new material on matchings in bipartite graphs, online algorithms, machine learning, an…