A very student-friendly text as it has an easy to follow narrative and a lot of pedagogical featu...

A comprehensive introduction to type systems and programming languages.

Set as Cold War sneaks to it send, 'Snuck Past Death And Sleep' tells the story of four loners wh...

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basi...

For more than the last three decades, the security of software systems has been an important area...

It knows what scares you…

This volume constitutes the proceedings of the Fourth International Symposium on Theoretical Aspe...

I entered high school at a measly 100 lbs soaking wet, bullied by the bigger kids and rejected by...

The Fifth Ir Gene Workshop was held at the Chase-Park Plaza Hotel, St. Louis, MO, August 28-31, 1...

In 'President's Inaugural Speeches: From Washington to Trump (1789-2017),' readers are offered a ...

The recent advent of gridlock and hyper-partisanship in the United States Congress has raised que...

President's Inaugural Speeches: From Washington to Trump (1789-2017) is an unprecedented collecti...