You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in November 2006. The 38 revised full papers presented together with three keynote talks were carefully reviewed and selected from 108 submissions. The papers address all current issues in formal methods and their applications in software engineering.
Provides a list of Renaissance manuscripts (1350-1600), mostly in Latin or Italian, of philosophical, scientific, philological or literary content. The list is arranged by countries, cities, libraries, collections and shelf-marks, and is an indispensable work tool for Renaissance scholars.
Accompanying CD-ROM contains ... "working computer code, demonstration applications, and also PDF versions of several research articles that are referred to in the book." -- d.j.
This book introduces electrical machine modeling and control for electrical engineering and science to graduate, undergraduate students as well as researchers, who are working on modeling and control of electrical machines. It targets electrical engineering students who have no time to derive mathematical equations for electrical machines in particular induction machine (IM) and doubly fed induction machines (DFIM). The main focus is on the application of field oriented control technique to induction motor (IM) and doubly fed induction motor (DFIM) in details, and since the induction motors have many drawback using this technique, therefore the application of a nonlinear control technique (f...
description not available right now.
Quantum field theory, which started with Paul Dirac’s work shortly after the discovery of quantum mechanics, has produced an impressive and important array of results. Quantum electrodynamics, with its extremely accurate and well-tested predictions, and the standard model of electroweak and chromodynamic (nuclear) forces are examples of successful theories. Field theory has also been applied to a variety of phenomena in condensed matter physics, including superconductivity, superfluidity and the quantum Hall effect. The concept of the renormalization group has given us a new perspective on field theory in general and on critical phenomena in particular. At this stage, a strong case can be ...