for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book explains the most important technical terms and contents and assigns them to the corresponding areas. Protection must be implemented on both... Læs mere
This volume contains selected revised and extended research articles written by prominent researchers who participated in the International MultiConference of Engineers and Computer Scientists 2016, held in Hong Kong, 16-18 March 2016.
This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of... Læs mere
This book constitutes of the revised selected papers presented at the CCF 17th... Læs mere
This book offers a practical approach to modeling real-world discrete systems and performing analysis. The theory... Læs mere