Prodotto Ricercato: scrivania del computer
This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical…
A partire da
Disponibilità
This book constitutes selected, revised and extended papers from the 12th International Conference …
4to, 258 pp, bound in wraps illustrated by Mali & Werner. Text mostly in German. The first edition …
There is currently no description available
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on C…
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aid…
The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, Oct…
This volume presents a substantial part of the results obtained in the last few years in the field …
This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verif…
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aide…
Computer-Aided Verification is a collection of papers that begins with a general survey of hardware…