Teaching and Learning Mathematical Modelling : Approaches and Developments from German Speaking Countries
This survey provides an overview of the German discussion on modelling and applications in schools. It considers the development ...
اقرأ المزيد
The Austin Protocol Compiler
The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. ...
اقرأ المزيد
The Fast Solution of Boundary Integral Equations
The use of surface potentials to describe solutions of partial differential equations goes back to the middle of the 19th ...
اقرأ المزيد
The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings
The objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
اقرأ المزيد
The Internet of Things : First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings
This volume contains the proceeding softhe Internet of Things (IOT)Conference 2008, the ?rst international conference of ...
اقرأ المزيد
The Teacher’s Role in Implementing Cooperative Learning in the Classroom
The Teacher's Role in Implementing Cooperative Learning in the Classroom provides readers with a comprehensive overview ...
اقرأ المزيد
The World Summit on Sustainable Development
It addresses the science behind the discussions on poverty, production and consumption patterns, water, energy, Small Island ...
اقرأ المزيد
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
This book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
اقرأ المزيد
Transforming Lives and Systems Cultural Competence and the Higher Education Interface
This book explores the transformative experiences of participants in the University of Sydney’s National Centre for Cultural ...
اقرأ المزيد
Turning Hydropower Social : Where Global Sustainability ConventionsMatter
This book concerns footprints of the international environmental conventions in action. Hydropower projects have been selected ...
اقرأ المزيد
