Anwendungs-Software (5.397 Artikel)

Der umfassende Praxiseinstieg für Architekturkonstruktion.inkl. Übungsbeispielen und Aufgaben mit Lösungen

Der umfassende Praxiseinstieg für Architekturkonstruktion.inkl. Übungsbeispielen und Aufgaben mit Lösungen

Der umfassende Praxiseinstieg für Architekturkonstruktion.Mit zahlreichen Beispielen & Übungsaufgaben

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The...

Until now it has been completely impossible during a diagnostic process to adequately consider 1) the symptoms observed, 2) the expected but non-appearing symptoms, 3) the mutual influencing of the...

This book constitutes the refereed proceedings of the 18th International TRIZ Future Conference on Automated Invention for Smart Industries, held in Strasbourg, France, in October 2018 and sponsore...

This book disseminates and promotes the recent research progress and frontier development on AutoML and meta-learning as well as their applications on computer vision, natural language processing, ...

This book disseminates and promotes the recent research progress and frontier development on AutoML and meta-learning as well as their applications on computer vision, natural language processing, ...

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 ...

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in Sep...

26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

9th International Conference, NooJ 2015, Minsk, Belarus, June 11-13, 2015, Revised Selected Papers

This book constitutes the refereed proceedings of the 10th International Conference, NooJ 2016, held ?eské Bud?jovice, Czech Republic, in June 2016.

Fernerkundungsdaten wie Luftbilder, Gelände- und Oberflächenmodelle sind inzwischen global verfügbar und haben ihren Platz in unserem Alltag gefunden. Andererseits werden Landschaftsmodelle für Sim...