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 ...
Lire la suiteTools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
Lire la suiteTransformation Literacy : Pathways to Regenerative Civilizations
This book brings science and practice together and inspires a global movement towards co-creating regenerative civilizations ...
Lire la suite
Transformation and Development Studies in the Organization for Security and Cooperation in Europe (OSCE) Member States
This book features various studies on democratization, transformation, political and economic development, and security ...
Lire la suite
Transformations and Projections in Computer Graphics
Transformations and projections are used extensively in Computer Graphics, a field which is now a part of everyone’s lives ...
Lire la suiteTransition and Opportunity : Strategies from Business Leaders on Making the Most of China's Future
Multinational corporations (MNCs) have long played a crucial role in the Chinese economy. This role is one that is set to ...
Lire la suite
Tree Transgenesis
A continuous development in plant biotechnology including gene technology has been observable during the past 20 years. Different ...
Lire la suite
Trustworthy Global Computing ; Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC ...
Lire la suite
Understanding Industrial Transformation
a scientist can only come to a partial understanding of industrial transformation processes. This is so not only because ...
Lire la suiteVariational and Quasi-Variational Inequalities in Mechanics
The variational method is a powerful tool to investigate states and processes in technical devices, nature, living organisms, ...
Lire la suite
Wavelets and Signal Processing
As the applications of wavelet transform have spread to diverse areas of signal analysis and compression, students and practitioners ...
Lire la suite
Web Information Systems Engineering - WISE 2008 : 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings
This book is organized in topical sections on grid computing and peer-to-peer systems; Web mining; rich Web user interfaces; ...
Lire la suite
When Can Oil Economies Be Deemed Sustainable?
This book questions the stereotype depicting all Gulf (GCC) economies as not sustainable, and starts a critical discussion ...
Lire la suite
