Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 12th International Workshop on... Læs mere
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal... Læs mere
This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014. The 21 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 79 submissions.
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions in this Festschrift are written by a number of Ed's former Ph.D.
Starting with machine learning fundamentals, this book moves on to neural networks, deep learning, and convolutional... Læs mere
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA.
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.
This book constitutes the refereed proceedings of the 8th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 9th International Conference on... Læs mere