Monte Wildhorn (Morgan Freeman), einst ein gefeierter Autor von Westernromanen, fühlt sich nach d...

Not very long ago, the uninhibited use of mathematics in thedevelopment of software was regarded ...

On the Refinement Calculus gives one view of the development of the refinement calculus and its a...

The second half of the twentieth century saw an astonishing increase in computing power; today co...

ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Asp...

This book integrates coverage of random probabilistic algorithms, assertion-based program reasoni...

This book presents a comprehensive mathematical theory that explains precisely what information f...

The second half of the twentieth century saw an astonishing increase in computing power; today co...

It has become tradition for Chickasaw governor Bill Anoatubby to open his public addresses with a...

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian S...

This book integrates coverage of random probabilistic algorithms, assertion-based program reasoni...

Be your own lobbyist with this hands-on guide to effectively working with your government.

In this sequel to Anompolichi: The Wordmaster, the adventure continues with Iskifa Ahalopa, Wordm...

In' Chickasaw Renaissance,' Phillip Carroll Morgan profiles the experiences of the Chickasaw peop...

Phillip Carroll Morgan reveals three nineteenth-century Chickasaw governors not merely as histori...

In this sequel to Anompolichi: The Wordmaster, the adventure continues with Iskifa Ahalopa, Wordm...

When Chickasaw wordmaster Iskifa Ahalopa discovers a shipwrecked Scotsman and his cargo, the king...