Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed ...
اقرأ المزيد
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 ...
اقرأ المزيد
Tooth Preparations : Science and Art / Clovis Pagani; Annelies Van Ende
Details the basic principles and sequencing of cavity preparation and outlines the different preparation designs indicated ...
اقرأ المزيد
Tooth Whitening : An Evidence-Based Perspective / Jorge Perdigão (ed.)
Reviews the evidence relating to the mechanisms, clinical efficacy, safety/toxicity, and clinical application of tooth whitening ...
اقرأ المزيد
Tooth Whitening Techniques / Linda Greenwall
The field of tooth whitening has continued to develop as more and more dental practitioners have turned to cosmetic dentistry ...
اقرأ المزيد
Top 10 Challenges of Big Data Analytics / Maria José Sousa
The application of big data analytics in all fields of research is a critical driver for the competitiveness of all countries ...
اقرأ المزيد
Topics in Acoustic Echo and Noise Control
In this book, an international team of highly qualified experts treats important topics in acoustic echo and noise control ...
اقرأ المزيد
Topics in Analysis and its Applications
Most topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
اقرأ المزيد
Topics in Dynamic Model Analysis
Classical econometrics - which plunges its roots in economic theory with simultaneous equations models (SEM) as offshoots ...
اقرأ المزيد
Topics in Galois Fields
Provides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
اقرأ المزيد
Topics on Concentration Phenomena and Problems with Multiple Scales
This volume includes lecture notes devoted to the asymptotic analysis of such problems when the multi-scale behaviour derives ...
اقرأ المزيد
Topological Degree Approach to Bifurcation Problems
Topological bifurcation theory is one of the most essential topics in mathematics. This book contains original bifurcation ...
اقرأ المزيد
Topological Invariants of Stratified Spaces
The central theme of this book is the restoration of Poincaré duality, on stratified singular spaces by using Verdier-self-dual ...
اقرأ المزيد
Tort Law and Liability Insurance
Among scholars as well as practitioners it is taken for granted that liability insurance and liability in tort interrelate ...
اقرأ المزيد
Tort Law of the European Community
This publication deals with the European dimension of tort law. It provides a critical analysis of the acquis communautaire, ...
اقرأ المزيد
Tort and Regulatory Law
This book systematically analyses the interaction of administrative law and tort law. The focus is mainly on safety regulations ...
اقرأ المزيد
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
اقرأ المزيد
Towards Next Generation Grids
Towards Next Generation Grids is the fifth volume of the CoreGRID series. Organized jointly with the Euro-Par 2007 conference, ...
اقرأ المزيدTowards Resilient Organizations and Societies : A Cross-Sectoral and Multi-Disciplinary Perspective
This book brings together scholars in the fields of management, public policy, regional studies, and organization theory ...
اقرأ المزيد
Towards Sustainable Society on Ubiquitous Networks : The 8th IFIP Conference on e-Business, e-Services, and e-Society (I3E 2008), September 24–16, 2008, Tokyo, Japan
The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...
اقرأ المزيد
