Das lineare Wirtschaftsmodell führt zu steigendem Ressourcenverbrauch, Müllbergen, hohen CO2-Emis...
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 P...
Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, t...
Proving and rewriting.- Proving correctness w.r.t. specifications with hidden parts.- Hybrid impl...
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 ...
Mit »Schwierige Liebschaften« liegen erstmals alle Erzählungen von Italo Calvino in einer deutsch...