Electronic Books

Total Books: 1301 - 1320 /1403

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 ...

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 ...

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 II

This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and ...

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 ...

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 ...

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, ...

Tough on Criminal Wealth

The conclusion of the book is that the ‘tough on criminal wealth’ philosophy is largely alien to the everyday practice ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Transactions on Rough Sets IV

Volume IV of the Transactions on Rough Sets (TRS) introduces a number of new advances in the theory and application of rough ...

Transactions on Rough Sets VI

this volume introduces a number of new advances in the foundations and applications of artificial intelligence, engineering, ...

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 ...

Transboundary Water Resources: Strategies for Regional Security and Ecological Stability

Proceedings of the NATO Advanced Research Workshop on Transboundary Water Resources: Strategies for Regional Security and ...

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 ...

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 ...

Trends in Computer Aided Innovation

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and ...

Total Books: 1301 - 1320 /1403