Since 1990 the German Research Society (Deutsche Forschungsgemeinschaft, DFG) has been funding PhD courses (Graduiertenkollegs) at selected universi- ties in the Federal Republic of Germany. TU Berlin has been one of the first universities joining that new funding program of DFG. The PhD courses have been funded over aperiod of 9 years. The grant for the nine years sums up to approximately 5 million DM. Our Grnduiertenkolleg on Communication-based Systems has been assigned to the Computer Science Department of TU Berlin although it is a joined effort of all three universities in Berlin,...

The International Workshop on "The Internet Challenge: Technology and Applications" is the fifth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of those workshops is to bring together researchers from both universities in order to exchange research results achieved in common projects of the two partner universities or to present interesting new work that might lead to new cooperation. The series of workshops started in 1990 with the "International Workshop on Artificial Intelligence" and was continued with...

The International Workshop on Embedded Systems - Modeling, Techn- ogy, and Applications is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of those workshops is to bring together - searchers from both universities in order to present research results to an international community. The series of workshops started in 1990 with the International Workshop on Artificial Intelligence and was continued with the International Wo- shop on Advanced Software Technology in 1994. Both workshops have been...

The International Workshop on Human Interaction with Machines is the sixth in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of those workshops is to bring together researchers from both universities in order to present research results to an international community. The series of workshops started in 1990 with the International Workshop on Artificial Intelligence and was continued with the International Workshop on Advanced Software Technology in 1994. Both workshops have been hosted by Shanghai Jiaotong...

This workshop on Communication-Based Systems is intended to present the research results of students of the Graduiertenkolleg Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics; Performance evaluation, dependability modeling, and analysis of real-time systems with different kinds of timed Petri-Nets;...

This work presents the research results of students of the Graduiertenkolleg Communication-Based Systems to an international community. To stimulate the scientific discussion, experts have been invited to give their views on the following research areas: formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics; performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets; specification and analysis of communication protocols;...

The aim of this book is to provide an account of the state of the art in Com- putational Kinematics. We understand here under this term, that branch of kinematics research involving intensive computations not only of the numer- ical type, but also of a symbolic nature. Research in kinematics over the last decade has been remarkably ori- ented towards the computational aspects of kinematics problems. In fact, this work has been prompted by the need to answer fundamental question- s such as the number of solutions, whether real or complex, that a given problem can admit. Problems of this kind...

The International Workshop on Embedded Systems - Modeling, Techn- ogy, and Applications is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universitat Berlin. The goal of those workshops is to bring together - searchers from both universities in order to present research results to an international community. The series of workshops started in 1990 with the International Workshop on Artificial Intelligence and was continued with the International Wo- shop on Advanced Software Technology in 1994. Both workshops have been...

Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas:

• Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics
• Performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets...

Das Handbuch der gefahrlichen Guter ist ein Standardwerk fur den Transport von Gefahrgutern. Es gibt Informationen zu nationalen und internationalen Transportvorschriften und zu Notfallmanahmen bei Unfallen sowie Hinweise fur die arztliche Erstbehandlung von Personen. Zusatzlich zu den neu aufgenommenen Gefahrstoffen sind jetzt auch die meisten der bisher noch nicht erfassten Kampfstoffe, die vor allem als Altlasten Bedeutung erlangt haben, im Band 6/2 aufgenommen.