This volume contains the final revised versions of the best papers presented at the First Interna...
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic a...
This book constitutes the refereed proceedings of the 10th International Symposium on Programming...
Machine learning of software artefacts is an emerging area of interaction between the machine lea...
F. W. Gundlach 1 Hinweise zur Benutzung 2 Physikalische Größen, des Taschenbuchs ihre Einheiten u...
This volume contains the final versions of a collection of papers presented at the Annual Confere...
This book presents a collection of revised refereed papers selected from the presentations accept...
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, T...