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