This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian S...

The topics covered in this book range from modeling and programming languages and environments, v...

This state-of-the-art survey is an outcome of the first IFIP TC 2 WG 2.3 working conference on Ve...

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September...

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretica...

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software En...

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasi...

This volume contains the proceedings of the second working conference on Verified Software: Theor...

This book presents thoroughly revised tutorial papers based on lectures given by leading research...

This volume contains the proceedings of the 2003 International Conference on Formal Engineering M...

This book constitutes the proceedings of the 7th International Symposium on Dependable Software E...

The topics covered in this book range from modeling and programming languages and environments, v...

John Forsythe, Linda Evans und Joan Collins heizen ein in der spannungsgeladenen neuen Season der...

Denver-ClanSeason 1 (DVD)Min: 689 DD VB Multibox

In den fesselnden Episoden erhöht sich im tobenden Krieg zwischen den Carringtons und Colbys der ...

Blake Carrington, Chef der mächtigen Ölfirma Denver Carrington, heiratet seine Sekretärin Krystle...

The now well-established series of International Colloquia on Theoretical - pects of Computing (I...

Bloomsbury Green Guides are portable handbooks to the most commonly found species in Britain and ...

The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devo...