Seems you have not registered as a member of localhost.saystem.shop!

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.

Sign up

Formal Methods and Software Engineering
  • Language: en
  • Pages: 788

Formal Methods and Software Engineering

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.

Technical Abstract Bulletin
  • Language: en
  • Pages: 752

Technical Abstract Bulletin

  • Type: Book
  • -
  • Published: 1979
  • -
  • Publisher: Unknown

description not available right now.

Oceanographic Report
  • Language: en
  • Pages: 710

Oceanographic Report

  • Type: Book
  • -
  • Published: 1964
  • -
  • Publisher: Unknown

description not available right now.

Iter Italicum
  • Language: en
  • Pages: 572

Iter Italicum

  • Type: Book
  • -
  • Published: 1977-12
  • -
  • Publisher: BRILL

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.

Computational Finance
  • Language: en
  • Pages: 474

Computational Finance

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.

Reference Book of Corporate Managements
  • Language: en
  • Pages: 786

Reference Book of Corporate Managements

  • Type: Book
  • -
  • Published: 1995
  • -
  • Publisher: Unknown

description not available right now.

Modeling and Control of AC Machine using MATLAB®/SIMULINK
  • Language: en
  • Pages: 61

Modeling and Control of AC Machine using MATLAB®/SIMULINK

  • Type: Book
  • -
  • Published: 2018-12-20
  • -
  • Publisher: CRC Press

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...

Oceanographic Observations, North Atlantic Ocean Station ECHO, Terminal Report, 1966-1973
  • Language: en
  • Pages: 700

Oceanographic Observations, North Atlantic Ocean Station ECHO, Terminal Report, 1966-1973

  • Type: Book
  • -
  • Published: 1977
  • -
  • Publisher: Unknown

description not available right now.

Quantum Field Theory
  • Language: en
  • Pages: 560

Quantum Field Theory

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 ...

Oceanographic Report
  • Language: en
  • Pages: 708

Oceanographic Report

  • Type: Book
  • -
  • Published: 1977
  • -
  • Publisher: Unknown

description not available right now.