Einfuhrung in die Constraint-Programmierung : Grundlagen, Methoden, Sprachen, Anwendungen

Hofstedt, Petra

ISBN 10: 3540231846 / ISBN 13: 9783540231844

Verlag: Springer 2007-03, 2007

Beschreibung

Bestandsnummer des Verkäufers 6666-IUK-9783540231844

Bibliografische Details

Titel: Einfuhrung in die Constraint-Programmierung ...

Verlag: Springer 2007-03

Erscheinungsdatum: 2007

Einband: PF

Zustand: New

Über diesen Titel

Inhaltsangabe:

Kompakte Einführung in die Constraint-Programmierung: Sie liefert Methoden zur effizienten Modellierung von Systemen oder zur Lösung von Problemen. Grundlagen, Sprachen, Methoden und Verfahren. Mit Beispielen zu Terminplanung, Finanzwesen, Optimierung...

Über die Autorin bzw. den Autor:

Petra Hofstedt:

Studium der Informatik an der Technischen Universität Dresden, 1995 Abschluss zur Diplom-Informatikerin.- Von 1995 bis 1999 wissenschaftliche Mitarbeiterin an der TU Dresden mit den Forschungs- und Arbeitsschwerpunkten (Deklarative) Programmiersprachen, parallele Programmierung und theoretische Informatik.- 1997 Forschungsaufenthalt an der Rheinisch-Westfälischen Technischen Hochschule Aachen.- Von 1999 bis 2001 wissenschaftliche Mitarbeiterin und seit 2002 wissenschaftliche Assistentin im Fachbereich Informatik der Technischen Universität Berlin (Fachgebiet Übersetzerbau und Programmiersprachen), Forschungs- und Arbeitsgebiete: Constraint-Programmierung, Programmiersprachen und Compilerbau.- 2001 Promotion zum Thema "Cooperation and Coordination of Constraint Solvers".

Armin Wolf:

Studium der Informatik an der Universität Karslruhe, 1991 Abschluss zum Diplom-Informatiker.- Von 1992 bis 1994 wissenschaftlicher Mitarbeiter an der Technischen Hochschule Berlin. Arbeitsschwerpunkte: formale Spezifikationen und deklarative Programmierung.- Seit 1994 wissenschaftlicher Mitarbeiter und Projektleiter am Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik (FIRST) in Berlin. Arbeitsschwerpunkte: Methoden, Verfahren und Anwendungen der Constraint-Programmierung, insbesondere in der Planung.- Oktober 1998 bis Oktober 2003 Forschungskoordinator am Institut FIRST. Unterstützung der Institutsleitung bei der Neustrukturierung des Instituts, dessen wissenschaftliche Ausrichtung sowie dessen Überleitung in die Fraunhofer Gesellschaft. Präsentation des Instituts nach innen und außen.- Seit Januar 1999 stellvertretender Leiter des Bereichs "Planungstechnik" am Institut FIRST.- 1999 Promotion mit Auszeichnung zur adaptiven regelbasierten Constraint-Programmierung.