From Reactive Systems to Cyber-Physical Systems

Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Produktform: E-Buch Text Elektronisches Buch in proprietärem

6th Conference on Automated Deduction

New York, USA, June 7-9, 1982

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Family Business Cases

Insights and Perspectives from the United Arab Emirates

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Medical Persuasion

Understanding the Impact on Medical Argumentation

Produktform: E-Buch Text Elektronisches Buch in proprietärem

ICT for Health, Accessibility and Wellbeing

Second International Conference, IHAW 2022, Larnaca, Cyprus, December 5–7, 2022, Revised Selected Papers

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Tools and Algorithms for the Construction of Analysis of Systems

5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Advances in Visual Informatics

4th International Visual Informatics Conference, IVIC 2015, Bangi, Malaysia, November 17-19, 2015, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Sustainable Family Business

The Triple-Bottom-Line Approach

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Visual Informatics: Sustaining Research and Innovations

Second International Visual Informatics Conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011, Proceedings, Part II

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Branching Processes and Their Applications

Produktform: E-Buch Text Elektronisches Buch in proprietärem