Technical Books & Monographs PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Technical Books & Monographs PDF full book. Access full book title Technical Books & Monographs by United States. Energy Research and Development Administration. Download full books in PDF and EPUB format.
Author: United States. Energy Research and Development Administration
Publisher:
ISBN:
Category : Power resources
Languages : en
Pages : 72
Get Book Here
Book Description
Author: United States. Energy Research and Development Administration
Publisher:
ISBN:
Category : Power resources
Languages : en
Pages : 72
Get Book Here
Book Description
Author: United States. Department of Energy
Publisher:
ISBN:
Category : Power resources
Languages : en
Pages : 144
Get Book Here
Book Description
Author: United States. Energy Research and Development Administration
Publisher:
ISBN:
Category : Power resources
Languages : en
Pages : 164
Get Book Here
Book Description
Author: U.S. Atomic Energy Commission
Publisher:
ISBN:
Category : Power resources
Languages : en
Pages : 138
Get Book Here
Book Description
Author: U.S. Atomic Energy Commission
Publisher:
ISBN:
Category : Nuclear engineering
Languages : en
Pages : 152
Get Book Here
Book Description
Author: U.S. Atomic Energy Commission
Publisher:
ISBN:
Category : Nuclear engineering
Languages : en
Pages : 654
Get Book Here
Book Description
Author: Joakim Sundnes
Publisher: Springer Science & Business Media
ISBN: 3540334378
Category : Computers
Languages : en
Pages : 323
Get Book Here
Book Description
This book describes mathematical models and numerical techniques for simulating the electrical activity in the heart. It gives an introduction to the most important models, followed by a detailed description of numerical techniques. Particular focus is on efficient numerical methods for large scale simulations on both scalar and parallel computers. The results presented in the book will be of particular interest to researchers in bioengineering and computational biology.
Author: Eric C.R. Hehner
Publisher: Springer Science & Business Media
ISBN: 1441985964
Category : Computers
Languages : en
Pages : 257
Get Book Here
Book Description
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.
Author: P. Rai-Choudhury
Publisher: SPIE Press
ISBN: 9780819437167
Category : Technology & Engineering
Languages : en
Pages : 544
Get Book Here
Book Description
The silicon age that led the computer revolution has significantly changed the world. The next 30 years will see the incorporation of new types of functionality onto the chip-structures that will enable the chip to reason, to sense, to act and to communicate. Micromachining technologies offer a wide range of possibilities for active and passive devices. Recent developments have produced sensors, actuators and optical systems. Many of these technologies are based on surface micromachining, which has evolved from silicon integrated circuit technology. This book is written by experts in the field. It contains useful details in design and processing and can be utilized as a reference book or as a textbook.
Author: Paolo Tonella
Publisher: Springer Science & Business Media
ISBN: 9780387402956
Category : Computers
Languages : en
Pages : 226
Get Book Here
Book Description
During maintenance of a software system, not all questions can be answered directly by resorting to otherwise reliable and accurate source code. Reverse engineering aims at extracting abstract, goal-oriented views of the system, able to summarize relevant properties of the program's computations. Reverse Engineering of Object-Oriented Code provides a comprehensive overview of several techniques that have been recently investigated in the field of reverse engineering. The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted for their visualization. This is important because the UML has become the standard for representing design diagrams in object-oriented development. A state-of-the-art exposition on how to design object-oriented code and accompanying algorithms that can be reverse engineered for greater flexibility in future code maintenance and alteration. Essential object-oriented concepts and programming methods for software engineers and researchers.
