Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920)
This book constitutes the refereed proceedings of the 12th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيدTools 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 ...
اقرأ المزيدTools 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 II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...
اقرأ المزيد
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 ...
اقرأ المزيد
Topics in the Theory of Chemical and Physical Systems
Topics in the Theory of Chemical and Physical Systems is a collection of 14 selected papers from the scientific presentations ...
اقرأ المزيد
Towards a Comparative Analysis of Social Inequalities between Europe and Latin America
This book identifies the common and specific aspects of social mechanisms that generate inequalities, through comparative ...
اقرأ المزيد
Trace Fossils
This definitive textbook by a renowned field observer and analyst of trace fossils concentrates on the most distinctive examples, ...
اقرأ المزيد
Transactions on Aspect-Oriented Software Development I
This book, the first volume in the Transactions on Aspect-Oriented Software Development series, presents nine revised papers ...
اقرأ المزيد
Transactions on Aspect-Oriented Software Development III
This volume, the third in the Transactions on Aspect-Oriented Software Development series, presents 6 revised papers together ...
اقرأ المزيد
Transboundary Floods: Reducing Risks Through Flood Management
Flood damages are increasing as a result of frequent occurrence of large floods in many parts of the world, existing and ...
اقرأ المزيد
Transport, Trade and Economic Growth — Coupled or Decoupled?
Over the past decade, the transport industry has been the target of growing criticism over its role in the pollution of the ...
اقرأ المزيد
Trapped Charged Particles and Fundamental Interactions
The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
اقرأ المزيد
Triangulations and Applications
This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...
اقرأ المزيد
Trophies of Victory: Public Building in Periklean Athens / T. Leslie Shear Jr.
Greek military victories at Marathon, Salamis, and Plataia during the Persian Wars profoundly shaped fifth-century politics ...
اقرأ المزيد
Tropomyosin
Whereas the biochemistry of the 1980s revealed the potential of tropomyosin isoforms to diversify the function of actin filaments, ...
اقرأ المزيد
Trust Management II : Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
اقرأ المزيد
Tuning, Timbre, Spectrum, Scale
Tuning, Timbre, Spectrum, Scale focuses on perceptions ofconsonance and dissonance, and how these are dependent on timbre. ...
اقرأ المزيد
UML for SOC Design
The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...
اقرأ المزيد
