Author: International Association of Science and Technology for Development
Publisher: ACTA Press
ISBN:
Category : Computers
Languages : en
Pages : 414
Book Description
Modelling and Simulation
Author: International Association of Science and Technology for Development
Publisher: ACTA Press
ISBN:
Category : Computers
Languages : en
Pages : 414
Book Description
Publisher: ACTA Press
ISBN:
Category : Computers
Languages : en
Pages : 414
Book Description
Selected Papers on Laser Distance Measurements
Author: Thierry Bosch
Publisher: SPIE-International Society for Optical Engineering
ISBN:
Category : Mathematics
Languages : en
Pages : 750
Book Description
SPIE Milestones are collections of seminal papers from the world literature covering important discoveries and developments in optics and photonics.
Publisher: SPIE-International Society for Optical Engineering
ISBN:
Category : Mathematics
Languages : en
Pages : 750
Book Description
SPIE Milestones are collections of seminal papers from the world literature covering important discoveries and developments in optics and photonics.
Microtecnic
Author:
Publisher:
ISBN:
Category : Physical instruments
Languages : en
Pages : 738
Book Description
Publisher:
ISBN:
Category : Physical instruments
Languages : en
Pages : 738
Book Description
Journal of the SMPTE
The Guidance and Control of Helicopters and V/STOL Aircraft at Night and in Poor Visibility
Author: North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 260
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 260
Book Description
Principles of Radar and Sonar Signal Processing
Author: Chevalier François Le
Publisher: Artech House
ISBN: 9781608071357
Category : Radar
Languages : en
Pages : 422
Book Description
Publisher: Artech House
ISBN: 9781608071357
Category : Radar
Languages : en
Pages : 422
Book Description
NATO Glossary of Terms and Definitions
Author: North Atlantic Treaty Organization
Publisher: CreateSpace
ISBN: 9781482679441
Category : Reference
Languages : en
Pages : 450
Book Description
NATO Glossary of terms and definitions (English and French). Listing terms of military significance and their definitions for use in NATO.
Publisher: CreateSpace
ISBN: 9781482679441
Category : Reference
Languages : en
Pages : 450
Book Description
NATO Glossary of terms and definitions (English and French). Listing terms of military significance and their definitions for use in NATO.
Landmarks in Developmental Biology 1883–1924
Author: Klaus Sander
Publisher: Springer Science & Business Media
ISBN: 3642604927
Category : Science
Languages : en
Pages : 119
Book Description
Developmental biology took shape between 1880 and the 1920s Basic concepts like the developmental role of chromosomes and the germ plasm (today's genome), self differentiation, embryonic regulation and induction, gradients and organizers hail from that period; indeed, the discipline was defined as a whole by the programmatic writings of Wilhelm Roux as early as 1889. The present essays cover the period up to the Nobel prize-winning work of Hans Spemann and Hilde Mangold. They were originally published in Roux's Archives of Developmental Biology, from Vol. 200 onward to the journal's centennial issues in 1995/96. The essays aim at introducing current adepts of developmental biology to observations and experiments that have lead their predecessors towards basic concepts still influential today.
Publisher: Springer Science & Business Media
ISBN: 3642604927
Category : Science
Languages : en
Pages : 119
Book Description
Developmental biology took shape between 1880 and the 1920s Basic concepts like the developmental role of chromosomes and the germ plasm (today's genome), self differentiation, embryonic regulation and induction, gradients and organizers hail from that period; indeed, the discipline was defined as a whole by the programmatic writings of Wilhelm Roux as early as 1889. The present essays cover the period up to the Nobel prize-winning work of Hans Spemann and Hilde Mangold. They were originally published in Roux's Archives of Developmental Biology, from Vol. 200 onward to the journal's centennial issues in 1995/96. The essays aim at introducing current adepts of developmental biology to observations and experiments that have lead their predecessors towards basic concepts still influential today.
NATO Glossary of Abbreviations Used in NATO Documents and Publications
Proof Theory and Automated Deduction
Author: Jean Goubault-Larrecq
Publisher: Springer Science & Business Media
ISBN: 9781402003684
Category : Computers
Languages : en
Pages : 448
Book Description
Interest in computer applications has led to a new attitude to applied logic in which researchers tailor a logic in the same way they define a computer language. In response to this attitude, this text for undergraduate and graduate students discusses major algorithmic methodologies, and tableaux and resolution methods. The authors focus on first-order logic, the use of proof theory, and the computer application of automated searches for proofs of mathematical propositions. Annotation copyrighted by Book News, Inc., Portland, OR
Publisher: Springer Science & Business Media
ISBN: 9781402003684
Category : Computers
Languages : en
Pages : 448
Book Description
Interest in computer applications has led to a new attitude to applied logic in which researchers tailor a logic in the same way they define a computer language. In response to this attitude, this text for undergraduate and graduate students discusses major algorithmic methodologies, and tableaux and resolution methods. The authors focus on first-order logic, the use of proof theory, and the computer application of automated searches for proofs of mathematical propositions. Annotation copyrighted by Book News, Inc., Portland, OR