he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Lire la suite
he volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Lire la suite
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
Lire la suite
Challenges arise when the size of a group of cooperating agents is scaled to hundreds or thousands of members. In domains ...
Lire la suite
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design ...
Lire la suite
Explores the emergence of a decentralised and disintermediated crypto-market and investigates the way in which it can transform ...
Lire la suite
This book covers the study of computational methods, computer arithmetic algorithms, and design improvement techniques needed ...
Lire la suite
This book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...
Lire la suite
Modern cryptosystems, used in numerous applications that require secrecy or privacy - electronic mail, financial transactions, ...
Lire la suite
Includes challenging cryptographic solutions that are implemented in Java 17 and Jakarta EE 10. It provides a robust introduction ...
Lire la suite
A rich examination of the technologies supporting secure digital information transfers from respected leaders in the field Is ...
Lire la suite
This book presented signatures, network security, secure keyword search and private information retrieval, public key encryption, ...
Lire la suite
This book presented signatures, network security, secure keyword search and private information retrieval, public key encryption, ...
Lire la suite
This book constitutes the refereed proceedings of the 5th International Conference on Cryptology and Network Security, CANS ...
Lire la suite
This book constitutes the refereed proceedings of the 7th International Conference on Cryptology and Network Security, CANS ...
Lire la suite
This book constitutes the thoroughly refered post-proceedings of the 11th Conference of the Spanish Association for Artificial ...
Lire la suite
The book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects ...
Lire la suite
The book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects ...
Lire la suite
This book constitutes the thoroughly refereed joint post-proceedings of nine workshops held as part of the 10th International ...
Lire la suite
This book contains variety of subjects in modern high performance computing and its applications, such as numerical and ...
Lire la suite