| 书目名称 | Constraint-Programmierung |
| 副标题 | Grundlagen und Anwen |
| 编辑 | Thom Frühwirth,Slim Abdennadher |
| 视频video | |
| 丛书名称 | Springer-Lehrbuch |
| 图书封面 |  |
| 描述 | Das Buch gibt einen kompakten, aber umfassenden Überblick über das Problemlösen und Programmieren mit "Constraints" (Randbedingungen). Diese aktuelle Programmiermethodik ermöglicht es, Aufgaben direkt zu formulieren und effizient zu lösen. Sie gewinnt zusehends Bedeutung in Anwendungsbereichen wie Kombinatorische Suchprobleme (z.B. Zeitplanen, Layout-Optimierung), Berechnungen (Finanzanalyse), Simulation (Hardware-Verifikation) oder allgemein Schließen und Rechnen mit ungenauer oder unvollständiger Information (z.B. Kostenschätzung). Die theoretisch fundierte Darstellung mit Aufgaben und Anwendungsbeispielen aus der Praxis ist in der Lehre erprobt, aber auch für Forscher und Praktiker von Nutzen. |
| 出版日期 | Textbook 1997 |
| 关键词 | Boolesche Algebra; Logikprogrammierung; Optimierung; Problemlösen; Programmieren; Programmierung; Prädikat |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-59115-0 |
| isbn_softcover | 978-3-540-60670-3 |
| isbn_ebook | 978-3-642-59115-0Series ISSN 0937-7433 Series E-ISSN 2512-5214 |
| issn_series | 0937-7433 |
| copyright | Springer-Verlag Berlin Heidelberg 1997 |
发表于 2025-3-21 17:28:12
