You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Niki Trauthweins Peter Pan in Hamburg, die Biografie des Transaktivisten Gert-Christian Südel (1951 - 2014), bietet einen aufregend neuen Einblick in die Geschichte der Trans-sexualität in Deutschland, Europa und der Welt. In Südels Lebensgeschichte tauchen eine Reihe faszinierender Persönlichkeiten auf. Südel arbeitete mit Transmännern und Transfrauen zusammen, er kannte Zuhälter und Mediziner, er zählte glamouröse Stars und fromme Mormonen zu seinen Freunden. Niki Trauthweins Biografie von Südel erscheint zu einer Zeit, in der die Geschichte transsexueller Menschen erneut Interesse erweckt.
None
None
None
Issues for 1981/82-1985/86 cover organizations of the European Community.
Mit dem Eintrag von ‚divers‘ in das Personenstandsregister wird das System der Zweigeschlechtlichkeit im deutschsprachigen Raum rechtlich erweitert. Trotzdem existieren bisher kaum erziehungswissenschaftliche Perspektiven auf Trans*- und Inter*Geschlechtlichkeit. Und das obwohl pädagogisches Handeln Geschlechterwissen entscheidend prägt. Dieser Leerstelle widmen sich die Beiträge des Jahrbuchs.
»Tue Gutes und rede darüber« - das Credo scheint in der Außenkommunikation von Unternehmen allgegenwärtig zu sein. Doch vollkommen neu ist diese Idee nicht. Stephanie Hagemann-Wilholt zeichnet die Entstehungsgeschichte der heutigen Unternehmensberichterstattung über gesellschaftliche Verantwortung nach und legt den Fokus der Analyse auf die Entwicklung von Sozialbilanzen in den 1970er Jahren. Die in dieser Dekade des Umbruchs entstandenen Formen reflektierten ein verändertes öffentliches Verständnis der gesellschaftlichen Aufgaben von Unternehmen. Zugleich zeigt die historische Analyse die Bedeutung wissenschaftlicher Expertise auf, die bis in die gegenwärtigen Debatten um Nachhaltigkeit hineinwirkt.
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for ver...