Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...
Mechanical Reliability Improvement: Probability and Statistics for Experimental Testing
Mechanical Reliability Improvement: Probability and Statistics for Experimental Testing
Mechanical reliability analysis is no longer limited to a small collection of classical statistical analyses. The speed of the present generation of microcomputers makes it possible to program and evaluate alternative computerintensive analyses for each mechanical reliability application of specific interest. Thus computer-intensive analyses are...
Robot Vision: Strategies, Algorithms and Motion Planning
Robot Vision: Strategies, Algorithms and Motion Planning

The field of robot vision guidance is developing rapidly. The benefits of sophisticated vision technology include savings, improved quality, reliability, safety and productivity. Robot vision is used for part identification and navigation. Vision applications generally deal with finding a part and orienting it for robotic handling or...

Springer Handbook of Mechanical Engineering
Springer Handbook of Mechanical Engineering

Mechanical engineering is a broad and complex field within the world of engineering and has close relations to many other fields. It is an important economic factor for all industrialized countries and the global market allows for wide international competition for products and processes in this field. To stay up to date with...

Fundamentals of Speaker Recognition
Fundamentals of Speaker Recognition
When I was being interviewed at the handwriting recognition group of IBM T.J. Watson Research Center in December of 1990, one of the interviewers asked me why, being a mechanical engineer, I was applying for a position in that group. Well, he was an electrical engineer and somehow was under the impression that handwriting...
Digital Control
Digital Control

Digital control systems are becoming increasingly prevalent and important within industry. In recent years significant progress has been made in their analysis and design – particularly within the areas of microprocessors and digital signal processors. The traditional approach to teaching digital control assumes an understanding of...

Polyoxymethylene Handbook: Structure, Properties, Applications and their Nanocomposites (Polymer Science and Plastics Engineering)
Polyoxymethylene Handbook: Structure, Properties, Applications and their Nanocomposites (Polymer Science and Plastics Engineering)

An excellent, unique, and up-to-date reference book on polyoxymethylene, its compounds, and nanocomposites, specifically dealing with synthesis, characterization, processing, morphology, and applications

Polyoxymethylene Handbook: Structure, Properties, Applications, and Their Nanocomposites summarizes many of the...

Raspberry Pi Robotic Blueprints
Raspberry Pi Robotic Blueprints

Utilize the powerful ingredients of Raspberry Pi to bring to life your amazing robots that can act, draw, and have fun with laser tags

About This Book

  • Learn to implement a number of features offered by Raspberry Pi to build your own amazing robots
  • Understand how to add vision and voice to...
Computer Science Handbook, Second Edition
Computer Science Handbook, Second Edition

The second edition of this elemental handbook reviews the current state of theory and practice in the field while emphasizing a more practical/applied approach to IT topics such as information management, net-centric computing, and human computer interaction. With a complete revision of its sections on software engineering, architecture, and...

Reinforcement of Polymer Nano-Composites: Theory, Experiments and Applications
Reinforcement of Polymer Nano-Composites: Theory, Experiments and Applications
Reinforced rubber allows the production of passenger car tires with improved rolling resistance and wet grip. This book provides in-depth coverage of the physics behind elastomer reinforcement, with a particular focus on the modification of polymer properties using active fillers such as carbon black and silica. The authors build a firm theoretical...
Control Engineering: A Guide for Beginners
Control Engineering: A Guide for Beginners

Automatic control is becoming more and more important in this age of automation. In manufacturing processes it ensures that certain parameters, such as temperature, pressure, speed cc voltage, take up specific constant values recognized as the optimum. or are maintained in a particular relationship to other variables. In other words, the duty...

Switch-Mode Power Converters: Design and Analysis
Switch-Mode Power Converters: Design and Analysis
An innovative and analytical approach to Power Electronics!

This book introduces an innovative, highly analytical approach to symbolic, closed-form solutions for switched-mode power converter circuits. This is a highly relevant topic to power electronics students and professionals who are involved in the design and analysis
...
unlimited object storage image
Result Page: 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy