Hans-Jörg Kreowski Libri

The volume comprises the proceedings of the second International Conference on Dynamics in Logistics LDIC 2009. The scope of the conference was concerned with the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum reached from the planning and modelling of processes over innovative methods like autonomous control and knowledge management to the new technologies provided by radio frequency identification, mobile communication, and networking. The growing dynamics confronts the area of logistics with completely new challenges: It must become possible to rapidly and flexibly adapt logistic processes and networks to continuously changing conditions. LDIC 2009 provided a forum for the discussion of advances in that matter. The volume consists of one invited paper and of 47 contributed papers divided into various subjects including mathematical modelling in transport and production logistics, routing in dynamic logistic networks, sustainable collaboration and supply chain control policies, information, communication, autonomy, adaption and cognition in logistics, radio frequency identification in logistics and manufacturing networks, applications in production logistics, and logistic solutions for ports, container terminals, regions and services.

Mit diesem Sammelband erscheint endlich wieder ein Buch des FIfF (Forum InformatikerInnen für Frieden und gesellschaftliche Verantwortung). Viele weitere Bände zur Kritischen Informatik werden hoffentlich in regelmäßigen Abständen folgen. Die Beiträge dieses Bandes behandeln das Thema Informatik und Gesellschaft in ihren Verflechtungen und Perspektiven teils in großer Allgemeinheit, teils mit der Betonung spezifischer Aspekte wie Menschenrechte in der Informationsgesellschaft, Datenschutz, Videoüberwachung, geistiges Eigentum, Internet, Computer als Medium, Theorie der Informatik und gesellschaftliche Verantwortung.

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60 th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.