Tools and Algorithms for the Construction and Analysis of Systems
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
اقرأ المزيد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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Towards Affordance-Based Robot Control : International Seminar, Dagstuhl Castle, Germany, June 5-9, 2006. Revised Papers
Today’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments ...
اقرأ المزيد
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 Synthesis of Micro-
At the beginning of the 21st century, manufacturing industry is faced with new challenges stemming from globalization and ...
اقرأ المزيد
Towards a Service-Based Internet : First European Conference, ServiceWave 2008, Madrid, Spain, December 10-13, 2008. Proceedings
This volume includes adaption/monitoring, model driven architecture, network services, service oriented architecture, business ...
اقرأ المزيدTransaction Cost Management : Strategies and Practices for a Global Open Economy
All organizations, institutions, business processes, markets and strategies have one aim in common: the reduction of transaction ...
اقرأ المزيد
Transactions on Computational Science I
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
اقرأ المزيد
Transactions on Computational Science XXXVII
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers ...
اقرأ المزيد
Transactions on High-Performance Embedded Architectures and Compilers I
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
اقرأ المزيد
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
اقرأ المزيد
Transactions on Rough Sets IX
This book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...
اقرأ المزيد
Transactions on Rough Sets VII
This volume of the TRS presents papers that reflect the profound influence of a number of research initiatives by Zdzislaw ...
اقرأ المزيد
Transalveolar Extraction of the Mandibular Third Molars / Darpan Bhargava
Provides details on the clinical and radiographic evaluation, classification, principles of suturing and flaps, intricacies ...
اقرأ المزيد
Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices
This book constitutes the thoroughly refereed proceedings of the 33rd International Conference on Industrial, Engineering ...
اقرأ المزيد
Trends in Enterprise Application Architecture
This book constitutes the thoroughly refereed postproceedings of the International Workshop on Trends in Enterprise Application ...
اقرأ المزيد
Tribology of Diamond-like Carbon Films : Fundamentals and Applications
Tribology of Diamond-like Carbon Films discusses the most important structural, chemical, mechanical and tribological characteristics ...
اقرأ المزيد
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 ...
اقرأ المزيد
Trust, Privacy and Security in Digital Business
This book presents the proceedings of the 4th International Conference on Trust, Privacy and Security in Digital Business ...
اقرأ المزيد
