This book constitutes the refereed proceedings of the 11th International Workshop on Algorithms and Models for the Web Graph, WAW 2014, held in Beijing, China, in December 2014.The 12 papers presented
This book constitutes the refereed proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation, VMCAI 2014, held in San Diego, CA, USA, in January 2013
This three volume set LNCS 6352, LNCS 6353, and LNCS 6354 constitutes the refereed proceedings of the 20th International Conference on Artificial Neural Networks, ICANN 2010, held in Thessaloniki, Gre
