Søgning på underkategorier- og emner:
This book constitutes thoroughly revised selected papers of the 6th International Conference on Numerical Analysis and Its Applications, NAA 2016, held in Lozenetz, Bulgaria, in June 2016.
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
We not only anticipate that there will be neural computers with intelligence but we also believe that the research results of artificial neural networks might lead to new algorithms on von Neumann's computers.
This book constitutes the proceedings of the 13th IFIP WG 10.3International... Læs mere
This book constitutes the thoroughly refereed conference proceedings of the 5th International... Læs mere
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions.
This book constitutes the proceedings of the 14th IFIP WG 10.3 International... Læs mere
This book constitutes the refereed conference proceedings of the 11th... Læs mere
This book constitutes the proceedings of the 9th International Workshop on Multiple... Læs mere
This book constitutes the revised selected papers from the 13 European... Læs mere