The theory of elliptic curves is distinguished by its long history and by the diversity of the methods that have been used in its study. This book treats the arithmetic theory of elliptic curves in its modern formulation, through the use of basic algebraic number theory and algebraic geometry. The book begins with a brief discussion of the...

Model based testing is the most powerful technique for testing hardware and software systems. Models in Hardware Testing describes the use of models at all the levels of hardware testing. The relevant fault models for nanoscaled CMOS technology are introduced, and their implications on fault simulation, automatic test pattern...

Silverlight is a lightweight browser plug-in that frees your code from the traditional confines of the browser. It's a rules-changing, groundbreaking technology that allows you to run rich client applications right inside the browser. Even more impressively, it's able to host true .NET applications in non-Microsoft browsers (like...

Introducing Microsoft Azure provides all the information developers need to get started with this new technology and apply it across...

"Brain-inspired information technology" is one of key concepts for the development of information technology in the next generation. Explosive progress of computer technology has been continuing based on a simple principle called "if-then rule". This means that the programmer of software have to direct every action of the...

This is the first uniform description of all key levels of communication in the organismic kingdoms of plants, fungi, animals and bacteria based on the most recent empirical data. Biocommunication occurs on three levels (A) intraorganismic, i.e. intra- and intercellular, (B) interorganismic, between the same or related species and (C)...