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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Continue reading
Tools and Algorithms for the Construction and Analysis of Systems
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Continue reading
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 ...
Continue readingTools 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 ...
Continue readingTools 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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
Tough on Criminal Wealth
The conclusion of the book is that the ‘tough on criminal wealth’ philosophy is largely alien to the everyday practice ...
Continue reading
Towards Next Generation Grids
Towards Next Generation Grids is the fifth volume of the CoreGRID series. Organized jointly with the Euro-Par 2007 conference, ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Trade Specialization in the Enlarged European Union
Economic integration in general and Eastern enlargement of the European Union in particular created a wider European single ...
Continue reading
Trade Union Cooperation in Europe Patterns, Conditions, Issues
This book discusses transnational trade union cooperation in Europe – its forms, focuses, conditions, and obstacles. It ...
Continue reading
Trade, Integration and Economic Development
This volume is a collection of papers which were presented at the 7th conference meeting of the Arnoldshain Research Network ...
Continue readingTraditional use of medicinal plants for the treatment of Diabetes mellitus / Mai ghazi ; Rafah Alkadi ; Mohammad Al-ismail
Diabetes mellitus (DM) is a chronic metabolic disorder characterized by persistent hyperglycemia. It may be due to impaired ...
Continue reading
Transcriptional Regulation by Neuronal Activity
Regulation of gene transcription by neuronal activity is evident in a large number of neuronal processes ranging from neural ...
Continue reading
Transendoscopic Ultrasound for Neurosurgery
Endoscopic neurosurgery has not yet reached the safety and applicability of microsurgery. Endo-neuro-sonography is a new ...
Continue reading
