Prodotto Ricercato: viti computer
This volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in…
A partire da
Disponibilità
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aid…
This book constitutes the refereed proceedings of the 6th International Conference on Mathematical …
Oft werden Modelle von Computern nur theoretisch angelegt, beispielsweise die Turingmaschine, oder …
There is currently no description available
This indispensable text introduces the foundations of three-dimensional computer vision and describ…
IT systems explode budget estimates, bust production deadlines by years, and then fail to work prop…
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS …
This book explains how mobile computer usability is shaped by the increasing integration of persona…
This book addresses and disseminates research and development in the applications of intelligent te…
In this text we present a technical overview of the emerging field of quantum computation along wit…
