for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
This book treats the topic of extending the adaptive filtering theory in the context of massive multichannel systems by taking into account a priori knowledge of the underlying system or signal.
The 289 papers presented in the workshops cover various areas in computational science ranging from computational science technologies to specific areas of computational science such as computational geometry and security.
This book – in conjunction with the volumes LNAI 8589 and LNBI 8590 – constitutes the... Læs mere
This book contains substantially extended and revised versions of the best... Læs mere
This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose... Læs mere
Linked Open Data (LOD) is a pragmatic approach for realizing the Semantic Web vision of making the Web a global,... Læs mere
This book constitutes the refereed proceedings of the First International... Læs mere
This book constitutes the refereed proceedings of the Second International Conference on Statistical Language and Speech Processing, SLSP 2014, held in Grenoble, France, in October 2014.
This book presents a comprehensive set of guidelines and applications of DIgSILENT PowerFactory, an advanced power system simulation software package, for different types of power systems studies.
This book constitutes revised selected papers from the second ECML PKDD... Læs mere
The book addresses issues towards the design and development of Wireless Sensor Network based Smart Home and fusion of Real-Time Data for Wellness Determination of an elderly person living alone in a Smart Home.