Presenting the latest technological developments in arts and culture, this volume demonstrates th...

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying The...

RezensionFrom the reviews:'The book is an extended reflection on current applications of digital ...

InhaltsangabeModel Based Testing with Labelled Transition Systems.- Model-Based Testing of Object...

This book presents the proceedings of the 9th International Conference of Z Users, ZUM ''95, held...

The Book of Pronunciationist ein definitiver Bericht über die Schlüsselrolle, die die Ausspra...

This book explores how digital culture is transforming museums in the 21st century. Offering a co...

The last decade has witnessed a modest but sustained increase in researching and applying formal ...

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in t...

The last decade has witnessed a modest but sustained increase in researching and applying formal ...

Inhaltsangabe1 It's Greek to Me: Method in the Madness?.- 2 The French Population Census for 1990...

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 32...