This book constitutes the thoroughly refereed post-proceedings of the Second International Worksh...

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

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the ...

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

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbel...

The field of agent & multi-agent systems is experiencing tremendous growth. At the same time the ...

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...

InhaltsangabeFormal methods: A panacea or academic poppycock?.- An introduction to the event calc...