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