Dieses gut eingeführte zweibändige Lehrwerk überzeugt durch das hervorragende didaktische Konzept und durch sein ansprechendes, in der vierten Auflage verbessertes Layout.
The second edition of this successful machine vision textbook is completely updated, revised and expanded by 35% to reflect the developments of recent years in the fields of image acquisition, machine vision algorithms and applications.
The second edition of this successful machine vision textbook is completely updated, revised and expanded by 35% to reflect the developments of recent years in the fields of image acquisition, machine vision algorithms and applications.
This book constitutes the refereed proceedings of the 11 workshops co-located with the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2018, held in Toledo, Spain, in June 2018.
This three volume set (CCIS 853-855) constitutes the proceedings of the 17th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2017, held in Cadiz, Spain, in June 2018.
Softwareentwicklung erfordert – ausgehend von informellen Problemstellungen – Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit.
Algorithmen, oh Gott, könnte man in Anlehnung an einen populärwissenschaftlichen Teubner-Titel denken, denn selbst unter den Mathematikern kann man häufiger auf ein etwas zweifelhaftes Verhältnis zum Algorithmus treffen: Die einen halten ihn für einen mehr historischen und damit angestaubten Begriff.
Distributed-memory multiprocessing systems (DMS), such as Intel's hypercubes, the Paragon, Thinking Machine's CM-5, and the Meiko Computing Surface, have rapidly gained user acceptance and promise to deliver the computing power required to solve the grand challenge problems of Science and Engineering.
Noch in den 30er Jahren unseres Jahrhunderts erweckten die mathematische Logik und die damals entstehende Algorithmentheorie den Anschein besonders abstrakter und von praktischen Anwendungen besonders weit entfernter mathe matischer Disziplinen.
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.
