A---

A---

This book LNCS 16481 constitutes the refereed proceedings of the 7th International School on Engi...

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

This book PSE 15584 constitutes the refereed proceedings of the 6th International School on Engin...

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

This volume contains lectures on leading-edge research in methods and tools for use in computer ...

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

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

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

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes re...

As computers increasingly control the systems and services we depend upon within our daily lives ...

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

This book constitutes the refereed proceedings of the 5th International School on Engineering Tru...

In 1999, the first new Star Wars movie in sixteen years came to theater screens worldwide. Leadin...

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

This volume contains a record of some of the lectures and seminars delivered at the Third Interna...

As computers increasingly control the systems and services we depend upon within our daily lives ...

In 2005, the most successful film series of all time came to a close with Star Wars: Episode III-...

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

A Paradigm Shift and Defining Moment in the 21st Century: Fuelled by the convergence of computati...

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

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

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

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

A Paradigm Shift and Defining Moment in the 21st Century: Fuelled by the convergence of computati...

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

These proceedings record the papers presented at the second International Conference of B and Z U...

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in...

A---

The Book of Pronunciation is a definitive account of the key role pronunciation plays in teaching...

In 2005, the most successful film series of all time came to a close with Star Wars: Episode III-...

In 1999, the first new Star Wars movie in sixteen years came to theater screens worldwide. Leadin...