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 …
This book constitutes the refereed proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, …
Issues (Editions)YearIssue2006Volume: 1531234562005Volume: 1521234562004Volume: 1511234562003Volume: 1501234562002Volume: 1491234562001Volume: 1481234562000Volume: 1471234561999Volume: 1461234561998Volume: 14512-3456
Issues (Editions)YearIssue2020Volume: 3101Volume: 309S11Volume: 308S112019Volume: 307S11Volume: 3061Volume: 305S11Volume: 304S112018Volume: 303S11Volume: 302S11Volume: 301S11Volume: 300S1S212017Volume: 299S11Volume: 298S11Volume: 297S11Volume: 296S1S212016Volume: 295S11Volume: 294S11Volume: 293S11Volume: …
Issues (Editions)YearIssue2022Volume: 6OOPSLA12021Volume: 5POPL2020Volume: 4HOPLICFPOOPSLAPOPL2019Volume: 4POPLVolume: 3ICFPOOPSLAPOPL2018Volume: 2ICFPOOPSLAPOPLVolume: ??????2017Volume: 2POPLVolume: 1ICFPOOPSLA???Volume: ??????
Issues (Editions)YearIssue2021Volume: ??????2020Volume: 2351Volume: 2342-367910-11121314Volume: ??????2019Volume: 23412-345Volume: 2332469121314Volume: ??????2018Volume: 23312345678101112Volume: 23214142017Volume: 23323Volume: 2321234567891011121314Volume: 23179111213142016Volume: 2311234568910111213Volume: 23067910111213142015Volume: 23012345678910Volume: 22961011121314Volume: ??????2014Volume: 2291234567891011Volume: …
Issues (Editions)YearIssue2020Volume: 812018Volume: 238???Volume: ??????2017Volume: 237???2016Volume: 236???Volume: 235???Volume: 234???Volume: 233???Volume: 232???Volume: 231???Volume: 230???Volume: 229???Volume: 228???Volume: 227???Volume: 226???Volume: 225???Volume: 224???Volume: 223???Volume: …
Issues (Editions)YearIssue2017Volume: 90???Volume: 89???Volume: 88???Volume: 86???2016Volume: 87???Volume: 85???Volume: 84???Volume: 83???Volume: 82???Volume: 81???2015Volume: 80???Volume: 79???Volume: 78???Volume: 77???Volume: 76???Volume: 75???Volume: 74???Volume: 73???Volume: …
Issues (Editions)YearIssue2021Volume: ??????2020Volume: 234791012131415161718192021222324Volume: ??????2019Volume: 234123456Volume: 2331234101213141516171819-2021-2223-24Volume: ??????2018Volume: 2341Volume: 233123456789101112131823-24Volume: 2323467814152021222324Volume: ??????2017Volume: 23323Volume: 23223456789101112131415161718192021222324Volume: 23178162021222324Volume: ??????2016Volume: 232124724Volume: 231123456789101112131415161718192021222324Volume: 2303467-8910151617181920Volume: ??????2015Volume: …
Issues (Editions)YearIssue2020Volume: 35???Volume: 34???Volume: 33???Volume: 32???Volume: 31???2019Volume: 30???Volume: 29???Volume: 28???Volume: 27???Volume: 26???Volume: 25???Volume: 24???2018Volume: 23???Volume: 22???Volume: 21???Volume: 20???Volume: 19???Volume: 18???Volume: …
