Zu Beginn der urkomischen zehnten Staffel wird Jay als Großmarschall für eine Parade am 4. Juli a...

This volume contains a record of some of the lectures and seminars delivered at the Second Intern...

Talend Open Studio for Data Integration (TOS) is an open source graphical development environment...

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

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

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

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyo...

Alan Turing has long proved a subject of fascination, but following the centenary of his birth in...

This book constitutes the refereed proceedings of the First International Conference of Abstract ...

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

This book constitutes the refereed proceedings of the Second International Conference of B and Z ...

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and...