security  (38 276 Angebote unter 18 370 702 Artikeln)

Invited Talks.- Policies and Proofs for Code Auditing.- Recent Trend in Industry and Expectation to DA Research.- Toward Property-Driven Abstraction for Heap Manipulating Programs.- Branching vs. L...

Everything Interconnected

This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 ...

Big Data and Smart Digital Environment

Sicherheit, bei der Sie im Mittelpunkt stehen Der sicherste Thin Client der Branche mit Dell ThinOS, optimiert für Dell Cloud-Client-Softwarelösungen, jetzt von OptiPlex entwickelt.

11th International Conference on Big Data Analytics, BDA 2023, Aizu, Japan, December 5-7, 2023, Proceedings

This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in  October 2023. The symposi...

Sicherheit, bei der Sie im Mittelpunkt stehen Der sicherste Thin Client der Branche mit Dell ThinOS, optimiert für Dell Cloud-Client-Softwarelösungen, jetzt von OptiPlex entwickelt.

Sicherheit, bei der Sie im Mittelpunkt stehen Der sicherste Thin Client der Branche mit Dell ThinOS, optimiert für Dell Cloud-Client-Softwarelösungen, jetzt von OptiPlex entwickelt.

Big Data and Networks Technologies

Sicherheit, bei der Sie im Mittelpunkt stehen Der sicherste Thin Client der Branche mit Dell ThinOS, optimiert für Dell Cloud-Client-Softwarelösungen, jetzt von OptiPlex entwickelt.