| 書目名稱 | Constraint-Programmierung |
| 副標題 | Grundlagen und Anwen |
| 編輯 | Thom Frühwirth,Slim Abdennadher |
| 視頻video | http://file.papertrans.cn/236/235946/235946.mp4 |
| 叢書名稱 | 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 |