Søgning på underkategorier- og emner:
This book constitutes the proceedings of the 13th International Conference on Intelligent... Læs mere
This book constitutes the refereed proceedings of the 10th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
This book constitutes the refereed proceedings of the 5th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2014, held in Munich, Germany, in September 2014, in conjunction with DEXA 2014.
This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015.
This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016. The 11 full papers presented in this book were carefully reviewed and selected from 26 submissions.
This book constitutes the thoroughly refereed proceedings of the 5th... Læs mere