Electronic Books

Total Books: 621 - 640 /786
Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

Lire la suite
SOFSEM 2007: Theory and Practice of Computer Science

This volume contains the invited and the contributed papers selected for presentation at SOFSEM 2007, the 33rd Conference ...

Lire la suite
SQL Server 2008 Transact-SQL Recipes

SQL Server 2008 Transact–SQL Recipes: A Problem–Solution Approach is an example–based guide to the Transact–SQL language ...

Lire la suite
Satellite Communications and Navigation Systems

Satellite Communications and Navigation Systems publishes the proceedings of the 2006 Tyrrhenian International Workshop on ...

Lire la suite
Saturn and How to Observe It

Saturn is the second largest planet in the solar system, and the only one with a spectacular ring system easily visible from ...

Lire la suite
Scaling Topic Maps : Third International Conference on Topic Maps Research and Applications, TMRA 2007 Leipzig, Germany, October 11-12, 2007 Revised Selected Papers

This book is organized in topical sections on applied topic maps in industry and administration, visualisation and representation ...

Lire la suite
Scientific Applications of Grid Computing

This workshop was held in September 2004, in conjunction with the 2004 IEEE/WIC/ACM International Joint Conference on Web ...

Lire la suite
Secure Data Management

Although a number of cryptography and security techniques have been around for quite some time, emerging technologies, such ...

Lire la suite
Secure Data Management (vol. # 3674)

This book constitutes the refereed proceedings of the 9th VLDB Workshop on Secure Data Management held in Istanbul, Turkey, ...

Lire la suite
Secure Data Management (vol. # 4165)

the use of new technologies has brought some privacy concerns. It becomes simpler to collect, store, and search personal ...

Lire la suite
Security Protocols

Welcome to the Proceedings of the 13th International Security Protocols Wo- shop. As usual, our meeting in Cambridge was ...

Lire la suite
Security Protocols (vol. # 3364)

Theme this time was “Where have all the Protocols gone?” Once upon a time security protocols lived mainly in the network ...

Lire la suite
Security Protocols (vol. # 3957)

" This volume contains the papers presented at the12th International Workshop, Cambridge, UK, April 26-28, 2004. Our theme ...

Lire la suite
Security and Privacy in Ad-hoc and Sensor Networks (vol. # 3813)

It clearly demonstrates the continued importance, popularity andtimeliness oftheworkshop’stopic: securityandprivacy inadhocandsensor ...

Lire la suite
Security and Privacy in Ad-hoc and Sensor Networks (vol. # 4357)

"These procee dingscontain the papers of the 3rd European Workshopon Security and Privacy in Ad Hoc and Sensor Networks ...

Lire la suite
Security and Privacy in Dynamic Environments

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

Lire la suite
Security in Pervasive Computing (vol. # 3934)

This volume contains the papers presented at the Third International Conference on Security in Pervasive Computing (SPC 2006), ...

Lire la suite
Security of Networks and Services in an All-Connected World

This book constitutes the refereed proceedings of the 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, ...

Lire la suite
Self-Managed Networks, Systems, and Services

This book constitutes the refereed proceedings of the Second IEEE International Workshop on Self-Managed Networks, Systems, ...

Lire la suite
Semantic Management of Middleware

Current middleware solutions, such as application servers and Web services, are very complex software products that are hard ...

Lire la suite
Total Books: 621 - 640 /786