Prodotto Ricercato: comprobador de componentes
Formal methods have been applied successfully to the verification of medium-sized programs in proto…
A partire da
Disponibilità
A major challenge in grid computing remains the application software development for this new kind …
This book discusses the basic theoretical model and implementation method of intelligent machining …
This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of compone…
The Global System for Mobile Communication met with wide acceptance in 1993. Its technical concepti…
Since the discovery of Australia antigen and its association with type B hepatitis, molecular chara…
This book is one of a series of five volumes forming an integrated, self-study course on silicon de…
Software reuse as an umbrella concept has been around for several decades. Over time, new technique…
Panax ginseng C.A.Mey. is an Araliaceae Panax plant. Along with mink and antler, ginseng is one of …
