Prodotto Ricercato: computer portatili con lunga durata della batteria
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent …
A partire da
Disponibilità
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…
A research project to investigate the design and construction of reliable computing systems was ini…
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Mo…
