Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Das Geheimnis von Caeldum
Die schwebende Himmelsstadt Caeldum sinkt unaufhaltsam und wird alle Lebenden in den Tod reißen, wenn kein Wunder geschieht. Während Rheon verzweifelt versucht, Arina zu retten, kämpfen die Bewohner der Stadt um das nackte Überleben. Kols Armee fällt unerbittlich über die Bewohner her und auch Garret, Jura und Alex suchen fieberhaft nach einem Ausweg. Währenddessen muss auch Calzifer einsehen, dass die Lage langsam brenzlig wird, denn der Riss in den Machtlinien ist viel gefährlicher als ihnen allen klar ist ... Wird Caeldum endgültig fallen? Band drei der Reihe.
Behindert werden? Behindert sein?
Wider die Angst verrückt zu werden Ein Grund, psychisch Behinderte auszugrenzen, ist die Angst, es könnte einen selber treffen. Je tiefer der Graben zwischen "normal" und "verrückt" desto sicherer fühlt man sich als "Normaler". Heike Oldenburg, selbst seit Jahrzenten Betroffene, hilft, diesen Graben der Angst weniger tief zu machen. Sie porträtiert 29 Menschen mit psychischen Behinderungen von der frühen Neuzeit (1479) bis jetzt. Sie lässt uns daran teilhaben, wie diese Menschen zwischen sozialer Umwelt und Krankheit ihren Weg suchten, welche Niederlagen, aber auch, welche Erfolge sie dabei erlebten/erleben. Als Beispiel sei Dorothea Buck genannt, der sich Frau Oldenburg in besonderer...
Krieg im Comic?
«Comic» ist der bei uns gängige Begriff für Bildgeschichten. Das Medium leidet leider immer noch unter dem Stigma des Trivialen und Billigen. Beim Großteil des Angebots entspricht aber genau das Gegenteil der Realität. Die heute oft benutzte Bezeichnung «Graphic Novel» soll genau dies widerspiegeln, der Begriff war der US-amerikanischen Zeichner-Legende Will Eisner schon in den 1970er Jahren eingefallen, weil er in seinen Bildgeschichten aus der Bronx nichts Witziges entdecken konnte. Dieser Sammelband enthält Rezensionen von Comic-Bänden bzw. Berichte über grafische Literatur, die Krieg, Militär und Gewalt thematisiert. Im Zentrum der Anthologie stehen die Fragen, wie in «Graph...
Gesellschaft im Comic
Gesellschaft, Geschichte und Militarismus - die Bildgeschichte als Medium politischer Erzählungen: Gesellschaftliche und militärische Denkweisen und Handlungen müssen im Zusammenhang gesehen werden, um ihre jeweilige politische Bedeutung und ihre sozialen Auswirkungen zu verstehen. Im dritten Band der Reihe "Zeichnen und Erzählen" wird grafische Literatur besprochen, die Gesellschaft und Militär kritisch beobachtet und hinterfragt. Dies umfasst Werke zur Generationenproblematik und zur Umweltzerstörung, zum Iran, Libanon, den beiden Weltkriegen sowie zu den "First Americans". Es geht aber auch um die zeichnerische Darstellung taiwanischen Großstadtlebens. Den Blick auf die visuelle Literatur erweitert eine Untersuchung der Fantasiewelt von Walter Moers. Mit Illustrationen von Walter Moers, 61Chi und Gerhard Mauch.
Formal Techniques for Networked and Distributed Systems
FORTE 2001, formerly FORTE/PSTV conference, is a combined conference of FORTE (Formal Description Techniques for Distributed Systems and Communication Protocols) and PSTV (Protocol Specification, Testing and Verification) conferences. This year the conference has a new name FORTE (Formal Techniques for Networked and Distributed Systems). The previous FORTE began in 1989 and the PSTV conference in 1981. Therefore the new FORTE conference actually has a long history of 21 years. The purpose of this conference is to introduce theories and formal techniques applicable to various engineering stages of networked and distributed systems and to share applications and experiences of them. This FORTE ...
FM'99 - Formal Methods
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. FM’99, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplic...
Fundamental Approaches to Software Engineering
ETAPS 2001 is the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Fundamental Approaches to Software Engineering
ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised v e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Die rent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
Formal Methods for Open Object-Based Distributed Systems V
Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification. This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.
IFM’99
Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.
