Es handelt sich um eine Anthologie von ca. 110 Gedichten mit Bezug zur Mathematik (teilweise auch Physik). Sie gliedert sich in 5 Teile, jedes einem bestimmten Thema gewidmet. Unter den Autoren finde
This book constitutes the proceedings of the 14th International Conference on Intelligent Tutoring Systems, IST 2018, held in Montreal, Canada, in June 2018.The 26 full papers and 22 short papers pres
This book constitutes revised selected papers from the workshops collocated with the SEFM 2015 conference on Software Engineering and Formal Methods, held in York, UK, in September 2015. The 25 paper
This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised tec
This book constitutes the refereed conference proceedings of the 21st International Conference on Principles and Practice of Constraint Programming, CP 2015, held in Cork, Ireland, in August/September
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Konigswinter, Germany, in June/July 2015. The 15 revised f
This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015.The 10 revised pape
This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.The 24 revised regular papers presented tog
The concept of processes is at the heart of software and systems engineering. Software process models integrate software engineering methods and techniques and are the basis for managing large-scale s
As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmost i
Written by leading scientists and researchers, this book presents a comprehensive reference of state-of-the-art efforts and early results in the area of autonomic networking and communication. This sp
