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