Mit den Vorträgen aller Referenten des Meetings: StD Dipl.-Hdl Peter Fiebag: Spuren. Undercover...

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic...

Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, t...

Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics...

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic...

This volume contains the proceedings of the ThirdInternational Conferenceon Algebraic and Logic...

This volume contains the proceedings of FroCoS2000, the 3rd International WorkshoponFrontiersofCo...

This book constitutes the refereedproceedings of the 21st International Colloquium on Trees in Al...

This book constitutes the refereed proceedings of the 15th International Conference on Automated ...