Søgning på underkategorier- og emner:
This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction... Læs mere
This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction... Læs mere
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.