Product Description
Between 1800 and 1900 the Industrial Revolution swept the United States. Behind this revolution were changes in business organization and advancement in science and technology. This book is concerned with the interaction of these social forces. It demonstrates when and for what reasons the introduction of new manufacturing led to business risks and losses. The study is based on the records of technological innovation in methods of producing iron and steel, in textile machinery, in machine tools, and in electric power equipment. ... Read more

Product Description
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly. In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture. ... Read more

Product Description
This completely revised edition of a bestselling concise introduction to microsystems technology includes the latest trends in this emerging scientific discipline. The chapters on silicium and LIGA technology are greatly expanded, whilst new topics include application aspects in medicine and health technology, lithography and electroplating. ... Read more

Product Description
This completely revised edition of a bestselling concise introduction to microsystems technology includes the latest trends in this emerging scientific discipline. The chapters on silicium and LIGA technology are greatly expanded, whilst new topics include application aspects in medicine and health technology, lithography and electroplating. ... Read more

Product Description

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrücken, Germany, in October 2005.

The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on functional approaches to design description, game solving approaches, abstraction, algorithms and techniques for speeding (DD-based) verification, real time and LTL model checking, evaluation of SAT-based tools, model reduction, and verification of memory hierarchy mechanisms.

Product Description
One of the first coherent, tutorial graduate level text/reference books on ultrashort laser phenomena, this book presents an introduction to the phenomena and explains how it can be used to help examine problems in areas such as electromagnetism, optics, and quantum mechanics. Written for students as well as experimental researchers in physics, engineering, biology, or chemistry, the text provides the necessary background and tools to design experiments involving ultrashort pulses. All aspects of design are covered: from the construction of the source, to the amplifier, to the diagnostic method, and finally, to the design of the experiment in any field. The text reviews the basic properties of light propagation through matter and provides a study of simple optical components with emphasis on the important phenomena that occur with pulses of duration less than 10-12s (or less than 0.3 mm in length). The reader is also provided with the fundamental concepts (as well as numerical data through numerous tables), necessary to design optical systems capable of manipulating such pulses.
Beyond the simple optical system, the various types of sources of ultrashort pulses are presented, again with emphasis on the basic concepts and how they apply to the design of particular sources (dye lasers, solid state lasers, semiconductor lasers, fiber lasers, and sources based on frequency conversion). This book is addressed as much to the physicist as to the engineer, chemist, biologist, student, or experienced researcher interested in the application of ultrashort light pulses to the study of ultrafast event in this field.

Key Features
* Provides an easy to follow guide through
"faster than electronics" probing and detection
methods
* Describes the intriguing aspects of optics when
applied to ultrashort pulses
* Offers a systematic and comprehensive lecture
through all the uncommon and unexpected aspects
of short pulse propagation through linear and
nonlinear media
* Serves as a manual on designing and
constructing femtosecond systems or experiments
"from scratch"
* Presents a course that combined experimental
techniques and theoretical backgrounds, by
authors who have two decades of experience in
both theoretical and experimental aspects of
ultrafast phenomena
* Bridges the gap between an authored work and
a textbook ... Read more

Product Description
Universitatsklinikum, Munster, Germany. Translation of the German text, Orthopadische Biomechanik, c2000. Provides information on the forces acting on muscles, tendons, and bones. Includes fundamentals of physics and mechanics, and covers the function and loading of joints, movement in two and three dimensions, and more. Softcover. DNLM: Biomechanics. ... Read more