Prodotto Ricercato: comprobador de componentes
This volume constitutes the proceedings of the ?rst ACM SIGPLAN/SIGSOFT International Conference on…
A partire da
Disponibilità
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects o…
This book constitutes the refereed proceedings from the 15th International Conference on Formal Asp…
This book constitutes the revised selected papers of the 10th International Symposium on Formal Asp…
Software architectures have gained wide popularity in the last decade. They generally play a fundam…
Independent Component Analysis (ICA) is a fast developing area of intense research interest. Follow…
A copper-catalyzed direct synthesis of 2-(aminomethyl)indoles by catalytic domino reaction includin…
There is currently no description available
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects o…
This book constitutes the thoroughly revised selected papers from the 16th International Conference…
The aim of this book is to investigate and explain the rapid advances in the characterization of hi…
