Kirjojen hintavertailu. Mukana 11 717 486 kirjaa ja 12 kauppaa.
Kirja.info

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

1000 tulosta hakusanalla Marius Müller

Variations on Constants

Variations on Constants

Markus Müller-Olm

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2006
nidottu
Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compilers. Optimal program analysis provides a guarantee about the precision of the computed results. This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem. In order to come to grips with the variants considered, it combines techniques from different areas such as linear algebra, computable ring theory, abstract interpretation, program verification, complexity theory, etc. Combination of techniques is the key to further progress in automatic analysis and constant-propagation allows us to illustrate this point in a theoretical study. After a general overview, the monograph consists of three essentially self-contained parts that can be read independently of each other. These parts study: a hierarchy of constants in sequential programs, inherent limits of flow analysis of parallel programs, and how to overcome these limits by abandoning a classic atomic execution assumption.
Vertaile hintoja
Modular Compiler Verification

Modular Compiler Verification

Markus Muller-Olm

Springer-Verlag Berlin and Heidelberg GmbH Co. K
1997
nidottu
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.
Vertaile hintoja
EU-Grundrechte und Umsatzsteuer

EU-Grundrechte und Umsatzsteuer

Markus Müller

PETER LANG AG
2021
sidottu
Die Umsatzsteuer ist eine "EU-Steuer". Nationales Recht und Unionsrecht sind eng miteinander verzahnt. Nach der EuGH-Entscheidung kerberg Fransson gelten im gesamten Bereich der Mehrwertsteuer die in der Charta der Grundrechte der EU verankerten Grundrechte. Dazu z hlt auch der unionsrechtliche allgemeine Gleichheitssatz. Der EuGH bezieht sich in mehreren hundert Entscheidungen als Gerechtigkeitspostulat jedoch nicht auf das allgemeine Gleichheitsrecht, sondern auf den "Grundsatz der Neutralit t der Mehrwertsteuer". Gegenstand der Untersuchung ist die Frage, ob geltende Bestimmungen der Mehrwertsteuer-Systemrichtlinie zum Vorsteuerabzug das allgemeine Gleichheitsrecht des Unternehmers verletzen.
Vertaile hintoja
Umweltprobleme in China

Umweltprobleme in China

Markus Müller

Grin Verlag
2008
pokkari
Studienarbeit aus dem Jahr 2007 im Fachbereich Forstwirtschaft / Forstwissenschaft, einseitig bedruckt, Note: 1,0, Technische Universität München (Studienfakultät für Forstwissenschaft und Ressourcenmanagement), Veranstaltung: Interdisziplinäre Exkursion Waldökologie und Landnutzung in Zentralchina, 19 Quellen im Literaturverzeichnis, Sprache: Deutsch, Anmerkungen: 19 Einträge im Literaturverzeichnis, davon 5 Internetquellen. , Abstract: 1 Einleitung 2 Grundlegende Ursachen der Ressourcenübernutzung 3 Die vier Hauptbereiche der Umweltzerstörung 3.1 Industrie 3.2 Städte und Verkehr 3.3 Energieerzeugung 3.4 Landwirtschaft 5 Kosten der Umweltzerstörung 5.1 Allgemeinkosten 5.2 Individualkosten 6 Zusammenfassung China ist in vielen Bereichen "ein Drache auf dem Sprung". Nach den marktwirtschaftlich orientierten Reformen Deng Xiaopings setzte ein enormes wirtschaftliches Wachstum ein. Viele sehen heute in dem Land eine echte Konkurrenz im Kampf um Märkte, günstige Produkte und zukünftigen Wohlstand. In China selbst nimmt der Wohlstand des Einzelnen in breiten Bevölkerungsschichten zu. Nie zuvor wurden so viele Menschen aus absoluter Armut befreit und nie zuvor konnte so viel konsumiert werden. Die Kehrseite dieses Wirtschaftsaufschwungs ist ein immenser Rohstoffverbrauch. Die Massenproduktion billiger Güter ist nur durch eine rücksichtslose Ausbeutung der natürlichen Ressourcen machbar. Die Investition in Umweltschutzmaßnahmen unterbleibt fast regelmäßig. Sichtbarste Zeichen der Zerstörung sind die Luftverschmutzung, der Landverbrauch und die Verunreinigung der Gewässer. Welche Bereiche besonders zur Verschmutzung beitragen und wie sich die Umweltzerstörung in China und weltweit auswirkt soll im Folgenden dargestellt werden. 2 Grundlegende Ursachen der Ressourcenübernutzung Ein wirtschaftlicher Aufschwung eines Landes geht stets einher mit zunehmendem Ressourcenverbrauch. Die Produktion von Gütern und Dienstleistungen verbraucht Rohstoffe und Energie. Daneben ist ein Anstieg des Verkehrsaufkommens zu beobachten, sowohl im Straßenverkehr, als auch in der Luft- und Seefahrt. Darüber hinaus hat China immer noch ein rasches Bevölkerungswachstum zu verzeichnen. Um den steigenden Bedarf an Lebensmitteln zu decken, werden daher immer neue Flächen für die Landwirtschaft erschlossen und auf den vorhandenen Ackerflächen mit Pestiziden und Dünger der Ertrag gesteigert. Den Grundstein zum heutigen, beinahe ungezügelten, Wachstum legten die Wirtschaftsreformen der Kommunistischen Partei Chinas (KPC) in den 1970er und 1980er Jahren. Deng Xiaoping formulierte die "Marktwirtschaft chinesischer Prägung", welche das Land aus der herrschenden Armut befreien sollte. Diese Abkehr von reiner sozialistischer Planwirtschaft war, wie alle wesentlichen Entscheidungen, von oben verordnet.
Vertaile hintoja
Anwendungen für Modelltransformationen

Anwendungen für Modelltransformationen

Marcus Müller

AV Akademikerverlag
2012
pokkari
Inhaltlich unver nderte Neuauflage. Beim Entwurf und der Verifikation von Systemen spielen graphbasierte Mo-dell-beschreibungen eine entscheidende Rolle. Diese Modellformalismen ver-f gen ber unterschiedlich hohe Grade an Abstraktion und Formalit t. Meta-mo-dellbasierte Modelltransformationen sollen die konsistente berf hrung von Modellinstanzen eines Metamodells in die eines anderen Metamodells m g-lich machen. Inhalt dieser Diplomarbeit ist der softwaretechnische Ent-wurf einer Basis f r die De-fi-nition von Metamodellen, die Realisierung von Modelltransformationen und die Verarbeitung der entstehenden Modelle. Das Ergebnis ist die Imple-men-tie-rung eines Java-basierten Frameworks, das die generischen Strukturen f r auf beliebige Modelltypen anpassbare Modell-umgebungen bietet. Die Imple-men-tierung geschieht im Rahmen der Eclipse-Plattform unter Benutzung des Eclipse Modeling Framework und des IBM Model Transformation Framework. Diese Arbeit bietet Software-ent-wick-lern eine exemplarische Anwendung der mo-dell- und musterbasierten Soft-ware-entwicklungstechniken.
Vertaile hintoja
Unternehmensentwicklung auf sportliche Art

Unternehmensentwicklung auf sportliche Art

Markus Müller

AV Akademikerverlag
2012
pokkari
Arbeitskr fte stehen heute unter grossem Druck. Resultate m ssen in immer k rzerer Zeit immer besser werden. hnlich wie im Leistungs- und Spitzensport. Es liegt deshalb nahe, die Leistungsfaktoren von Leistungssportlern und Arbeitskr ften zu vergleichen. Es gilt herauszufinden, welche Faktoren, die im Sport Erfolg bringen, grunds tzlich auch auf die Wirtschaft bertragen werden k nnen. Das vorliegende Werk nimmt dazu Erkenntnisse aus der Sportpsychologie und dem mentalen Training und untersucht deren bertragbarkeit mittels einer Toolbox des systemisch-l sungsorientierten Coachings in die Unternehmens- und Personalentwicklung. Die dabei untersuchten Bereiche sind: Entspannung, Idealer Leistungszustand ILZ, Konzentration, Flow als spezielle Art der Konzentration, Visualisieren, Motivation, Zielsetzungstraining, psychologische Unterst tzung bei Verletzungen und kritische Situationen am Beispiel von Karriere berg ngen. Abgerundet wird die Arbeit durch ein formuliertes, innovatives Modell der Unternehmensentwicklung.
Vertaile hintoja
Die Catilinarische Verschwörung und die Rolle Caesars

Die Catilinarische Verschwörung und die Rolle Caesars

Markus Müller

Grin Publishing
2013
pokkari
Studienarbeit aus dem Jahr 2006 im Fachbereich Geschichte - Weltgeschichte - Altertum, Note: 1,7, Humboldt-Universit t zu Berlin (Institut f r Geschichtswissenschaften), Veranstaltung: Das R mische Reich, Sprache: Deutsch, Abstract: Eines der wohl spannendsten Themen der Geschichte, f r welches sich die Menschen der Postmoderne brennend interessieren, sind Verschw rungen - also Handlungen, die "einen revolution ren Akt in geheimen Zusammenk nften einer kleinen Personengruppe vorbereiten." Egal ob wir hierbei an den Mord an John F. Kennedy oder an die Babington-Aff re denken, bei der man versuchte Maria Stuart auf den englischen Thron zu heben - die Menschen neigen wohl regelrecht dazu, die Welt aus der Perspektive des Finsteren, Verborgenen - von dem geheimnisvollen Strippenzieher aus dem Hintergrund heraus zu erkl ren. Zum Inbegriff des "gro en Anderen" ist dabei besonders der R mer Lucius Sergius Catilina geworden, welcher sich im Laufe der Historiographie, obwohl von Marcus Tullius Cicero zur Persona non grata aufgebauscht - oder gerade deswegen -, zum ungeheuerlichen Verschw rer par excellence, sozusagen zu dessen Synonym entwickelt hat. Und auch wenn die wahre Geschichte seiner Verschw rung wohl eher eine Marginalie ist - Wilhelm Hoffmann meint sogar, dass man den Ablauf der Geschichte von den Gracchen bis zu Augustus in gro en Linien skizzieren k nne, ohne dabei berhaupt Catilinas Namen zu erw hnen - liegt gerade hierin ein besonderer Reiz. Warum wurde eine Person, die in keinster Weise "a real threat to stability" in Rom war, so derma en zum Konspirant sonders gleichen. Welche politischen Beweggr nde stehen hinter dieser massiven Heraufstilisierung und wie ist es bez glich Catilinas berhaupt m glich von historischer Wahrheit zu sprechen? Die folgende Arbeit soll sich mit eben angesprochenen Fragen auseinandersetzen und hierf r zun chst ein knappes berblicksbild ber die Ereignisse von 66-62 v. Chr. geben, um im Anschluss besonders das politische Kalk l
Vertaile hintoja
1234...50