Was Dinosaurier alles konnten!Willkommen in der verrückten Urzeit! Dieses Buch liefert die volle ...

'Has such a range of genres that you can't pigeon hole it into one, therefore it held my attentio...

A collection of comprehensive surveys by leading researchers that introduces and compares the maj...

A 2002 collection of comprehensive surveys by leading researchers that introduces and compares th...

Kemet, the black lands, where some call Egypt is shrouded in Jealousy and war.He who controls th...

'Has such a range of genres that you can't pigeon hole it into one, therefore it held my attentio...

This book constitutes the refereed proceedings of the 9th International Conference on Integrated ...

This book constitutes the proceedings of the Third International Conference on Abstract State Mac...

These proceedings contain papers from the 27th FORTE conference. FORTE (Formal Techniques for Net...

Refinement is one of the cornerstones of the formal approach to software engineering, and its use...