Prodotto Ricercato: comprobador de componentes
This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspec…
A partire da
Disponibilità
This book constitutes the thoroughly revised selected papers from the 14th International Conference…
This book constitutes the thoroughly revised selected papers from the 16th International Conference…
A copper-catalyzed direct synthesis of 2-(aminomethyl)indoles by catalytic domino reaction includin…
This book constitutes the thoroughly revised selected papers from the 18th International Symposium,…
This volume defines a common example for modelling approaches of component based systems. It is bas…
This book reports on the latest advances in concepts and further developments of principal componen…
This volume constitutes the proceedings of the second International Conference on Generative Progra…
This book constitutes the thoroughly revised selected papers from the 13th International Conference…
This book constitutes the thoroughly revised selected papers from the 17th International Symposium,…
This book constitutes the revised selected papers from the 12th International Conference on Formal …
