 |
|
|
|
 |  |  Nanomagnetism and Spintronics, Second Edition
The concise and accessible chapters of Nanomagnetism and Spintronics, Second Edition, cover the most recent research in areas of spin-current generation, spin-calorimetric effect, voltage effects on magnetic properties, spin-injection phenomena, giant magnetoresistance (GMR), and tunnel magnetoresistance (TMR).
Spintronics... |  |  Formal Methods: Industrial Use from Model to the Code
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in... |
|
|
Result Page: 66 65 64 63 62 61 60 59 58 57 56 55 54 53 52 51 50 49 48 |