Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.
This volume LNCS 12557 constitutes the refereed proceedings of the 17th... Læs mere
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed... Læs mere
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines.
It addresses the following main topics: recovering missing data, efficiently collecting data, preserving user privacy, and detecting false data.Mobile... Læs mere
This book starts by presenting the basics of reinforcement learning using highly intuitive and easy-to-understand examples and... Læs mere
This two-volume set (CCIS 1045 and CCIS 1046) constitutes the refereed... Læs mere
This two-volume set (CCIS 1045 and CCIS 1046) constitutes the refereed... Læs mere
Following an introduction to the basis of the fast Fourier transform (FFT), this book focuses on the implementation details on FFT for parallel... Læs mere
Following an introduction to the basis of the fast Fourier transform (FFT), this book focuses on the implementation details on FFT for parallel... Læs mere
This book constitutes the thoroughly refereed proceedings of the National... Læs mere