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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee masTools 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 ...
Lee masTools 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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Trace Fossils
This definitive textbook by a renowned field observer and analyst of trace fossils concentrates on the most distinctive examples, ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Trapped Charged Particles and Fundamental Interactions
The development of ion traps has spurred significant experimental activities able to link measurable quantities to the most ...
Lee mas
Triangulations and Applications
This book is entirely about triangulations. With emphasis on computational issues, we present the basic theory necessary ...
Lee mas
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 ...
Lee mas
Tropomyosin
Whereas the biochemistry of the 1980s revealed the potential of tropomyosin isoforms to diversify the function of actin filaments, ...
Lee mas
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 ...
Lee mas
Tuning, Timbre, Spectrum, Scale
Tuning, Timbre, Spectrum, Scale focuses on perceptions ofconsonance and dissonance, and how these are dependent on timbre. ...
Lee mas
UML for SOC Design
The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...
Lee mas
