Søgning på underkategorier- og emner:
This book constitutes the refereed proceedings of the Third International... Læs mere
This book constitutes the proceedings of the 15th International Symposium on... Læs mere
This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed... Læs mere
This two-volume set LNCS 10305 and LNCS 10306 constitutes the refereed... Læs mere
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions.
This book constitutes the proceedings of the 12th International Symposium on Smart Graphics, SG 2014, held... Læs mere
The current scarcity of expert systems where the reasoning is based on Bayesian probability theory may be due to misconceptions about probabilities found in the literature.
On the other hand, the biologist should not do the computer scientists job, but should know what computer science and algorithm engineering might contribute to... Læs mere