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