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 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 Cryptology - CT-RSA 2008 : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings
This book includes : hash function cryptanalysis, cryptographic building blocks, fairness in secure computation, message ...
Continue reading
Topics in Cryptology -- CT-RSA 2005
This book constitutes the refereed proceedings of the Cryptographers Track at the RSA Conference 2005, CT-RSA 2005, held ...
Continue reading
Topics in Cryptology -- CT-RSA 2006
This book constitutes the refereed proceedings of the Cryptographers’ Track at the RSA Conference 2006,held in San Jose, ...
Continue reading
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 ...
Continue reading
Towards a Natural Social Contract Transformative Social-Ecological Innovation for a Sustainable, Healthy and Just Society
This book states that the endemic societal faultlines of our times are deeply intertwined and that they confront us with ...
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
Transactions on Data Hiding and Multimedia Security I
This inaugural issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Continue reading
Transactions on Data Hiding and Multimedia Security II
This second issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Continue reading
Transactions on Data Hiding and Multimedia Security III
The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic ...
Continue reading
Transboundary Water Resources: A Foundation for Regional Stability in Central Asia
The Central Asian republics and neighboring countries are currently experiencing these problems - problems that will become ...
Continue reading
Transformation and Development Studies in the Organization for Security and Cooperation in Europe (OSCE) Member States
This book features various studies on democratization, transformation, political and economic development, and security ...
Continue reading
Transforming Food Systems for a Rising India
This book examines India’s economic development, agricultural production, and nutrition through the lens of a “Food Systems ...
Continue reading
Trust Management
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...
Continue reading
Trust Management (vol. # 3477)
The purpose of the iTrust working group is to provide a forum for cro- disciplinary investigation of the applications of ...
Continue reading
Trust Management (vol. # 3986)
This book constitutes the refereed proceedings of the 4th International Conference on Trust Management, iTrust 2006. 30 revised ...
Continue reading
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 ...
Continue reading
Trust and Privacy in Digital Business
This book presents the proceedings of the Third International Conference on Trust, Privacy and Security in Digital Business ...
Continue reading
