This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, ...
Lire la suiteThe international conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS) is the longest-running ...
Lire la suiteThis year marks a milestone in the history of FST&TCS, which ?rst took place in 1981. We would like to take this opportunity ...
Lire la suiteThis book constitutes the refereed proceedings of the 26th International Conference on the Foundations of Software Technology ...
Lire la suiteThis book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology ...
Lire la suiteThis book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Lire la suiteThis book provides an ample coverage of theoretical and experimental state-of-the-art work as well as new trends and directions ...
Lire la suiteIt addresses all current aspects of fast and secure primitives for symmetric cryptology, covering hash function cryptanalysis ...
Lire la suiteIt addresses all current aspects of fast and secure primitives for symmetric cryptology, covering hash function cryptanalysis ...
Lire la suiteThe Fast Software Encryption 2005 Workshop was the twelfth in a series of annual workshops on symmetric cryptography, sponsored ...
Lire la suiteFast Software Encryption (FSE) 2006 is the 13th in a series of workshops on symmetric cryptography. It has been sponsored ...
Lire la suiteConstitutes the thoroughly refereed proceedings of the 15th International Workshop on Fast Software Encryption, FSE 2008, ...
Lire la suiteFast Track to MDX gives you all the necessary background to let you to write useful, powerful MDX expressions and introduces ...
Lire la suiteThe sophistication of the underlying cryptographic algorithms, the high complexity of the implementations, and the easy access ...
Lire la suiteReal-world AI applications frequently have training data distributed in many different locations, with data at different ...
Lire la suiteThe lives of people all around the world, especially in industrialized nations, continue to be changed by the presence and ...
Lire la suiteSoftware systems involve autonomous and distributed software components that have to execute and interact in open and dynamic ...
Lire la suiteFieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the ...
Lire la suiteFieldwork for Design looks at why ethnographic approaches have been turned to in the design of computing devices for the ...
Lire la suiteIncludes: foundations of computer science; software theory and practice; education; computer applications in technology; ...
Lire la suite