It addresses the science behind the discussions on poverty, production and consumption patterns, water, energy, Small Island ...
Lire la suiteThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Lire la suiteThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteTo support application developers in the various tasks involved in this process, several different tools need to be at his ...
Lire la suiteThis book explores the transformative experiences of participants in the University of Sydney’s National Centre for Cultural ...
Lire la suiteThis book concerns footprints of the international environmental conventions in action. Hydropower projects have been selected ...
Lire la suite