Author: Robert A. Mann
Publisher: McFarland
ISBN: 0786482761
Category : Transportation
Languages : en
Pages : 289
Get Book Here
Book Description
The B-29 Superfortress was for many years a cornerstone of American military aviation. Best known as a bomber, it also served in reconnaissance, as a tanker, and as a rescue plane. It was a crucial tool for American and Allied forces during World War II, Korea and beyond. This operational history of the B-29 gives in-depth information on the career of each plane. A list of the names and serial numbers of the planes, each plane's history from delivery date to removal from service, a description of the B-29's physical characteristics and performance parameters, and a description of the five B-29 variants are provided. Sections of the book give complete mission data for the B-29's World War II service in the China-Burma-India theater of operations, operations over Japan, aerial mining missions and test atomic bombing runs.
Author: Jean-Pierre Deschamps
Publisher: Springer
ISBN: 3030126536
Category : Technology & Engineering
Languages : en
Pages : 180
Get Book Here
Book Description
This textbook is designed for a second course on digital systems, focused on the design of digital circuits. It was originally designed to accompany a MOOC (Massive Open Online Course) created at the Autonomous University of Barcelona (UAB), currently available on the Coursera platform. Readers will learn to develop complex digital circuits, starting from a functional specification, will know the design alternatives that a development engineer can choose to reach the specified circuit performance, and will understand which design tools are available to develop a new circuit.
Author: United States. Bureau of the Census
Publisher:
ISBN:
Category : Housing
Languages : en
Pages : 122
Get Book Here
Book Description
Author: Monty Newborn
Publisher: Springer Science & Business Media
ISBN: 9780387950754
Category : Mathematics
Languages : en
Pages : 250
Get Book Here
Book Description
This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the software, and answers to many of the problems.
Author: Adrian-Horia Dediu
Publisher: Springer
ISBN: 3642212549
Category : Computers
Languages : en
Pages : 524
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Language and Automata Theory and Applications, LATA 2011, held in Tarragona, Spain in May 2011. The 36 revised full papers presented together with four invited articles were carefully selected from 91 submissions. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.
Author: Samuel Russ Harris, Jr.
Publisher: McFarland
ISBN: 0786484918
Category : History
Languages : en
Pages : 268
Get Book Here
Book Description
This diary focuses intensely on Col. Samuel Russ Harris' life within his own 499th Bomb Group and his relationship with the 73rd Bomb Wing's operations. The first section of the book is an intimate portrait of war. To provide a context of the B-29 war against Japan, the second half of the text details how the 73rd Bomb Wing was engaged in the war against Japan. Together, the two parts provide a well-rounded portrait of America--and one American--at war.
Author:
Publisher:
ISBN:
Category : Housing
Languages : en
Pages : 128
Get Book Here
Book Description
Author: John M. Howie
Publisher: Springer Science & Business Media
ISBN: 1447100271
Category : Mathematics
Languages : en
Pages : 266
Get Book Here
Book Description
Complex analysis can be a difficult subject and many introductory texts are just too ambitious for today’s students. This book takes a lower starting point than is traditional and concentrates on explaining the key ideas through worked examples and informal explanations, rather than through "dry" theory.
Author: William Cawthorne Unwin
Publisher:
ISBN:
Category :
Languages : en
Pages : 558
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Imports
Languages : en
Pages : 1004
Get Book Here
Book Description
