This monograph details several important advances in the direction of a practical proofs-as-progr...
Whilst much scholarly work has been focused on Spain's South American colonies, less is known abo...
Building upon Dr Crossley's 2011 book, this new work further expands our understanding of the Spa...
Whilst much scholarly work has been focused on Spain's South American colonies, less is known abo...
A state of the art exploration of the role of networks within social movements and the potential ...
A state of the art exploration of the role of networks within social movements and the potential ...
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's ...
Explores the notion of how ideas of number have grown throughout history. Illustrates some of the...
Der kleine Billy Elliot träumt davon, ein berühmter Ballett-Tänzer zu werden. Leider erfährt er v...
Der kleine Billy Elliot träumt davon, ein berühmter Ballett-Tänzer zu werden. Leider erfährt er v...
Anyone can create their own publication quickly and easily by following the same principles that ...
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...