panashe

Panashe Fundira

256 ReadsLibrarian
Cover 0

Free at Last

The Revolt of The Public and the Crisis of Authority in the New Millennium
Racecraft: The Soul of Inequality in American Life
Systems Performance: Enterprise and the Cloud
Discrimination and Disparities
Intellectuals and Race
The Federalist Papers
1491: New Revelations of the Americas Before Columbus
Cover 1

Data and Reality

Hillbilly Elegy: A Memoir of a Family and Culture in Crisis
A Fire Upon the Deep
Cover 2

Mechanizing Proof

Tragedy and Hope
The Bubble Economy: Japan's Extraordinary Speculative Boom of the '80s And the Dramatic Bust of the '90s
Cover 5

Japan's Financial Crisis

The Censor's Hand: The Misregulation of Human-Subject Research
Cover 2

Crystal Eternity

Notes on the Synthesis of Form
Software Design X-Rays
Thinking in Promises: Designing Systems for Cooperation
Architecture Patterns with Python
Do Not Disturb: The Story of a Political Murder and an African Regime Gone Bad
Impro
Cover 2

Reasoning About Program Transformations

The Science of Programming
Cover 1

Algebraic Semantics of Imperative Programs

Cover 8

Model Checking

Why Greatness Cannot Be Planned: The Myth of the Objective
Cover 4

The Joy of Debugging

Lucifer Curves: The Legacy of Lead Poisoning
Software Abstractions: Logic, Language, And Analysis
Practical TLA+: Planning Driven Development
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Against the Grain
Destined for War: Can America and China Escape Thucydides’s Trap?
Software Design for Flexibility
Cover 6

Ockham's Razors

Just Enough Software Architecture
Category Theory for Programmers
The Little Typer
PreviousNext