Finite Element Methods for Engineers The advent of high-speed electronic digital computers has given tremendous impetus to all numerical methods for solving engineering problems. Finite element methods form one of the most versatile classes of such methods, and were originally developed in the field of structural analysis. They are, however, equally applicable to continuum mechanics... Real-Time Systems: Formal Specification and Automatic Verification Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:... Post Quantum Cryptography Quantum computers will break today's most popular public-key cryptographic systems, including RSA, DSA, and ECDSA. This book introduces the reader to the next generation of cryptographic algorithms, the systems that resist quantum-computer attacks: in particular, post-quantum public-key encryption systems and post-quantum public-key signature...
|Result Page: 51 50 49 48 47 46 45 44 43 42 |