Eine große glückliche Familie! Multikulti-Beziehungen, gleichgeschlechtliche Ehe und Adoption...

Nick, Kurt und Dale erleben ihre tägliche Plackerei inzwischen als derart unerträglich, dass es f...

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

The Formal Aspects of Computing Science (FACS) Specialist Group of the British Computer Society s...

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

Theories, Implementations, and Transformations.- Incremental Proof of the Producer Consumer Prope...

Alloy: A Logical Modelling Language.- An Outline Pattern Language for Z: Five Illustrations and T...

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

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

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

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

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, Z...