The search for dark matter in the universe has established itself as one of the most exciting and central fields …
These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, …
This book is written in a pedagogical style intelligible for graduate students. It reviews recent progress in black-hole and wormhole …
This book constitutes the refereed proceedings of the 9th International Symposium on Algorithmic Game Theory, SAGT 2016, held in Liverpool, …
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, …
This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held …
ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an …
This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held …
This volume gives a borad overview on symmetry methods ypplied to molecular and nuclear physics, to particle physics, decay processes, …
Rivers form one of the lifelines in our society by providing essential services such as availability of fresh water, navigation, …
The book provides new developments in data analysis and statistical multivariate methods, computational statistics and algorithms, including new topics which …
