You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
None
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018. Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium. Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Wie wirkt die Marke? Für die Entwicklung langfristig erfolgreicher Markenstrategien sind Kenntnisse der psychologischen Wirkungen des Markenmanagements unverzichtbar. Dieser Sammelband bündelt erstmalig interdisziplinäre Beiträge von Top?Experten aus dem Bereich des Marketing und der Wirtschaftspsychologie. Wissenschaftlich fundiert und praxisrelevant werden aktuelle Erkenntnisse zu den psychologischen und marketingtechnischen Grundlagen der Markenführung vorgestellt. Dabei werden unter anderem folgende Themen behandelt: - Identitätsorientierte Markenführung - Markenpersönlichkeit - Markenwert - Marken?Kunden?Beziehungen - Markenkommunikation - Sponsoring - Corporate Branding - Co?Br...
Hagen Radowski stellt die Merkmale von Krisenprozessen in Netzwerken dar, entwickelt den Begriff der Netzwerkkrise und entwirft ein idealtypisches Konzept für deren Bewältigung. Neben Auswirkungen auf die Krisenakteure im Netzwerkmanagement und auf Netzwerkpartner wird dabei auch die notwendige präventive Komponente in Form einer Strategic Preparedness erörtert.
Innovationen in der Hotellerie stellen besondere Herausforderungen an das Management und die Gestaltung von Innovationsprozessen dar. Sie sind auf die konstitutiven Merkmale von Dienstleistungen zurückzuführen. Elisa Innerhofer untersucht Innovationsprozesse in der Hotellerie, indem sie Konzepte der Dienstleistungs- und der Innovationstheorie mit ressourcenorientierten Ansätzen des Strategischen Managements verknüpft. Sie zeigt, welche Ressourcen und Kompetenzen innovationsrelevant sind und welche Rolle sie im Innovationsprozess spielen.
IIEP-UNESCO pub. Research report on the relationship between higher education and the labour market in Germany, Federal Republic - discusses academic and research orientation of the educational system, educational planning and human resources planning trends (1957-1980), labour demand and labour supply forecasts, educational research, vocational guidance, impact of increasing enrolment and university graduates, etc.; includes educational policy and employment policy implications. References.