Informatik (14.427 Artikel)

On the structure of algorithmic problems.- A mathematical model of digital computers.- On some recent problems concerning developmental languages.- Fault-tolerance and stability of fuzzy-state auto...

In der Produkt-, System- und Softwareentwicklung spielt der professionelle Umgang mit Anforderungen eine entscheidende Rolle für den Erfolg der gesamten Entwicklung und für das entstehende Produkt....

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is p...

Ziel dieses Buches ist es, Managern Argumente und Entscheidungshilfen für die Einführung effizienter Techniken der Softwareentwi- lung zu geben, und Praktiker von der Notwendigkeit effizienter Soft...

We hope that all readers will find the papers included in this volume of interest. All were presented at the 14th BCS IRSG Research Colloquium held at Lancaster University on 13th-14th April 1992. ...

In the last few years, a large number of books on microprocessors have appeared on the market. Most of them originated in the context of the 4-bit and the 8-bit microprocessors and their comparativ...

This book describes the evolving CBRN risk landscape and highlights advances in the "core" CBRN technologies, including when combined with (improvised) explosive devices (CBRNe threats). It analyse...

This book describes the evolving CBRN risk landscape and highlights advances in the "core" CBRN technologies, including when combined with (improvised) explosive devices (CBRNe threats). It analyse...

History, Achievements, Perspectives

Bildverstehen.- Ereignismodellierung zur inkrementellen High-Level Bildfolgenanalyse.- Problemlösen.- Probabilities in Game-Playing: Possible Meanings and Applications.- Knowledge Base Management.-...

Traditional, Deep Learning, and Explainable Machine Learning Methods

Traditional, Deep Learning, and Explainable Machine Learning Methods

Complexity and Quality in Digitisation

Invited Presentations.- Cumuli, Panorama, and Vanguard Project Overview.- Dualizing Scene Reconstruction Algorithms.- Multiview Relations and Correspondence Search.- Geometry of Multiple Affine Vie...

Druck.- Raster.- Auflösung.- Vektoren, Pixel, PostScript und PDF/X.- Farbsysteme.- Papier, Farbe und ISO 12647.- Farbprofile.- Colormanagement.- ISO-Profile und MedienStandard Druck.- Farbprofile u...