Kirjojen hintavertailu. Mukana 11 244 527 kirjaa ja 12 kauppaa.

Kirjahaku

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

1000 tulosta hakusanalla Peter Mller; Peter Muller

Kolosserbrief

Kolosserbrief

Peter Muller

Vandenhoeck Ruprecht
2022
sidottu
Der Kolosserbrief ist ein wichtiges Dokument aus der Zeit des fruhen Christentums. Er - ermoglicht einen wichtigen Einblick in die sowohl theologische als auch organisatorische Entwicklung fruher christlicher Gemeinden in Kleinasien;- lasst erkennen, wie die paulinische Verkundigung bewahrt und weiterentwickelt wird;- setzt theologische Impulse, die in der Folgezeit und bis in die Gegenwart immer wieder aufgegriffen und diskutiert werden;- wirkt mit etlichen seiner Formulierungen sprach- und stilbildend; - wirft allerdings im Detail viele Fragen auf, die kontrovers behandelt werden, nicht zuletzt die Verfasserfrage, die bis heute unterschiedlich beantwortet wird;- wartet schliesslich mit einigen Aussagen auf, die in Kirche und Gesellschaft umstritten sind. Peter Muller geht diesen Fragen detailliert nach und interpretiert den Kolosserbrief als ein von der Theologie des Paulus beeinflusstes und zugleich weiterfuhrendes Schreiben aus der formativen Zeit fruher christlicher Gemeinden.
Modular Specification and Verification of Object-Oriented Programs

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2002
nidottu
Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: – Formal speci?cation techniques have to be smoothly integrated into the software and program development process. – The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller ¨ has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.
Das Jesuitenbild Des Russischen Slavophilen Ju.F. Samarin (1819-1876)
Uber Ju.F. Samarins (1819-1876) Schrift - - aus dem Jahre 1865 ist bisher keine umfassende wissenschaftliche Arbeit erschienen. Diese Lucke fullt der Autor durch seine sozialpsychologische Studie. Methode und Ergebnis der stereotypen Jesuitenpolemik des Slavophilen Samarin werden als Ausdruck einer kollektiven Identitatskrise der russischen Intellektuellen im 19. Jahrhundert auf Grund des Kulturkontaktes von Westeuropa und Russland verstanden. Als Metatheorie fur die Untersuchung instrumentalisiert der Autor C.G. Jungs Analytische Psychologie, die er als wissenschaftlichen Systematisierungsversuch typologisch-romantischer und mystischer Erfahrungen ansieht. Am Schluss der Darstellung erfolgt ein Blick auf die Bedeutung des Jesuitenbildes von Samarin fur die Untersuchung der aktuellen politischen und sozialen Stromungen in Russland."
Sternwarten in Bildern

Sternwarten in Bildern

Peter Müller

Springer-Verlag Berlin and Heidelberg GmbH Co. K
2014
nidottu
Seit den alten Hochkulturen vor etwa 4000 Jahren haben die Sterne die Menschen fasziniert und diese sich bemüht, durch den Bau von Sternwarten mehr über den Sternhimmel herauszufinden. In diesem Buch werden erstmals die 82 wichtigsten Sternwarten von Stonehenge bis in unsere Zeit vorgestellt. Einem kurzen Begleittext zu jeder Sternwarte sind jeweils farbige Fotographien sowie - vor allem bei den älteren Observatorien - Grundrißzeichnungen an die Seite gestellt. Somit ist dieser Bildband nicht nur eine Fundgrube für den Berufs- und Hobbyastronomen, sondern auch eine baugeschichtlich und kulturhistorisch höchst interessante Bilddokumentation des mit einem wissenschaftlichen Zweck unmittelbar verbundenen "Gebäudetypus Sternwarte".
Le passe compose et des exercices complementaires
Unterrichtsentwurf aus dem Jahr 2010 im Fachbereich Franz sisch - Sonstiges, Note: 2,0, Schulpraktisches Seminar Spandau (3. SPS), Sprache: Deutsch, Abstract: "Le pass compos " - Bildungs- und Anwendungsregeln der Tempusform und deren praktische Anwendung im Kompetenzbereich "Sprechen" in Form von dialogischem Austausch ber au erschulische Freizeitaktivit ten
Il est quelle heure? Erarbeitung und Anwendung der Uhrzeiten im Französischen in diversen Alltagssituationen
Unterrichtsentwurf aus dem Jahr 2010 im Fachbereich Romanistik - Franz sisch - Didaktik, Note: 2,0, Sprache: Deutsch, Abstract: Il est quelle heure? Erarbeitung und Anwendung der Uhrzeiten im Franz sischen in diversen Alltagssituationen. Die SuS sollen auf Franz sisch nach der Uhrzeit fragen k nnen, diese angeben und T tigkeiten zeitlich bestimmen k nnen.