development  (42.476 Angebote unter 30.941.110 Artikeln)

1. The Role of Molecular Beams in the 20th Century.- 1.1 Historical Development.- 1.2 Main Applications of Molecular Beams.- 1.3 Thermal Energy Molecular Beam Applications in other Fields.- 1.4 Fas...

What is AutoCAD? AutoCAD is the world's most popular computer-aided drafting package for the personal computer (PC). It is a fully functional 2D and 3D CAD program. Full 3D wire frame representatio...

This book presents outstanding contributions in an exciting, new and multidisciplinary research area: the application of formal, automated reasoning techniques to analyse complex models in systems ...

Atomic physics has played a central role in the development of modern physics. Progress was based on newly invented scientific methods and experimental tools and today these techniques are successf...

The main topics of this book include advanced control, cognitive data processing, high performance computing, functional safety, and comprehensive validation. These topics are seen as technological...

This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in Septe...

This book is devoted to one of the most active domains of atomic physic- atomic physics of heavy positive ions. During the last 30 years, this terrain has attracted enormous attention from both exp...

Development and Structure of the Modern Business Firm

Keynote Speech.- Games for Formal Design and Verification of Reactive Systems.- Evolution of Model Checking into the EDA Industry.- Abstraction Refinement.- Invited Speech.- Tools for Automated Ver...

Using dynamic models to describe biotechnological processes leads to a better understanding of the complex process dynamics and helps to find optimal conditions that improve the process significant...

Inrecentresearchoncomputervisionsystems,attentionhasbeenplayingacrucialrolein mediatingbottom-upandtop-downpathsofinformationprocessing. Inappliedresearch, the development of enabling technologies ...

This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 202...

This workshop was organized and presented by an international group of scholars interested in the advancement of automating instructional design. Although the principal leader for this effort was m...