This book constitutes the refereed proceedings of the 5th International Conference on Games and L...
This book constitutes the joint refereed proceedings of the 11th International Conference on Arti...
This tutorial book presents six carefully revised lectures given at the Spring School on Datatype...
This tutorial book presents seven revised lectures given by leading researchers at the 4th Intern...
Generic programming is about making programs more adaptable by making them more general. Generic ...
This book constitutes the joint refereed proceedings of the 11th International Conference on Arti...
Generic programming is about making programs more adaptable by making them more general. Gener...
This book consitutes the refereed proceedings of the 4th International Conference on Mathematics ...
This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced ...
This volume presents the tutorials given during the First International Spring School on Advanced...
Generic programming is about making programs more adaptable by making them more general. Gener...
This book constitutes the refereed proceedings of the 5th International Conference on Games an...