Invited Papers.- Hardware and Petri Nets Application to Asynchronous Circuit Design.- Region Base...

ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Softw...

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory...

This volume presents the proceedings of the Sixth International Joint Conference on the Theory an...

Invited Talks.- Generating Hard Instances of the Short Basis Problem.- Wide Area Computation.- Pr...

This book constitutes the refereed proceedings of the 12th International Conference on Concurrenc...

This book constitutes the strictly refereed post-workshop proceedings of the 11th International W...

This book contains an in-depth treatment of matrix-exponential (ME) distributions and their sub-c...

A combination of two classic discussions in New Testament scholarship, the contributions in this ...

This book contains an in-depth treatment of matrix-exponential (ME) distributions and their sub-c...