Prodotto Ricercato: viti computer
This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verif…
A partire da
Disponibilità
th This book contains papers accepted for presentation at the 4 International Conference on Compute…
There is currently no description available
The workshop Computer Science Logic '90 was held at the Max-Planck-Haus in Heidelberg, Germany, Oct…
This book constitutes the refereed proceedings of the 11th International Conference on Computer Aid…
Stroke and spinal cord injury often result in paralysis with serious negative consequences to the i…
This volume contains papers presented at the 3rd International Workshop on Mathematical Methods, Mo…
This seven-volume set constitutes the refereed proceedings of the Human Computer Interaction themat…
This book constitutes the refereed proceedings of the 13th International Conference on Intelligent …