Essentials of Constraint Programming:
The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and solve problems with uncertain, incomplete information and co...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2003
|
| Ausgabe: | 1st ed. 2003 |
| Schriftenreihe: | Cognitive Technologies
|
| Schlagworte: | |
| Online-Zugang: | UBY01 Volltext |
| Zusammenfassung: | The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and solve problems with uncertain, incomplete information and combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design and analysis. The theoretically well-founded presentation includes application examples from real life. It introduces the common classes of constraint programming languages and constraint systems in a uniform way. Constraint solving algorithms are specified and implemented in the constraint handling rules language (CHR). This book is ideally suited as a textbook for graduate students and as a resource for researchers and practitioners. The Internet support includes teaching material, software, latest news and online use and examples of the CHR language |
| Beschreibung: | 1 Online-Ressource (IX, 147 p) |
| ISBN: | 9783662051382 |
| DOI: | 10.1007/978-3-662-05138-2 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064766 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662051382 |9 978-3-662-05138-2 | ||
| 024 | 7 | |a 10.1007/978-3-662-05138-2 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-3-662-05138-2 | ||
| 035 | |a (OCoLC)1227484271 | ||
| 035 | |a (DE-599)BVBBV047064766 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Frühwirth, Thom |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Essentials of Constraint Programming |c by Thom Frühwirth, Slim Abdennadher |
| 250 | |a 1st ed. 2003 | ||
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2003 | |
| 300 | |a 1 Online-Ressource (IX, 147 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Cognitive Technologies | |
| 520 | |a The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and solve problems with uncertain, incomplete information and combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design and analysis. The theoretically well-founded presentation includes application examples from real life. It introduces the common classes of constraint programming languages and constraint systems in a uniform way. Constraint solving algorithms are specified and implemented in the constraint handling rules language (CHR). This book is ideally suited as a textbook for graduate students and as a resource for researchers and practitioners. The Internet support includes teaching material, software, latest news and online use and examples of the CHR language | ||
| 650 | 4 | |a Software Engineering/Programming and Operating Systems | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Mathematics of Computing | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer science—Mathematics | |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Abdennadher, Slim |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783642087127 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783540676232 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783662051399 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-05138-2 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471877 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-662-05138-2 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182063218163712 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Frühwirth, Thom Abdennadher, Slim |
| author_facet | Frühwirth, Thom Abdennadher, Slim |
| author_role | aut aut |
| author_sort | Frühwirth, Thom |
| author_variant | t f tf s a sa |
| building | Verbundindex |
| bvnumber | BV047064766 |
| classification_rvk | ST 230 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-3-662-05138-2 (OCoLC)1227484271 (DE-599)BVBBV047064766 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-3-662-05138-2 |
| edition | 1st ed. 2003 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03283nmm a2200613zc 4500</leader><controlfield tag="001">BV047064766</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662051382</subfield><subfield code="9">978-3-662-05138-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-05138-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-662-05138-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227484271</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064766</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Frühwirth, Thom</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Essentials of Constraint Programming</subfield><subfield code="c">by Thom Frühwirth, Slim Abdennadher</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2003</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 147 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Cognitive Technologies</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and solve problems with uncertain, incomplete information and combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design and analysis. The theoretically well-founded presentation includes application examples from real life. It introduces the common classes of constraint programming languages and constraint systems in a uniform way. Constraint solving algorithms are specified and implemented in the constraint handling rules language (CHR). This book is ideally suited as a textbook for graduate students and as a resource for researchers and practitioners. The Internet support includes teaching material, software, latest news and online use and examples of the CHR language</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics of Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science—Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Constraint-Programmierung</subfield><subfield code="0">(DE-588)4567206-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Abdennadher, Slim</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783642087127</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783540676232</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783662051399</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-05138-2</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471877</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-05138-2</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064766 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:23Z |
| indexdate | 2024-07-10T09:01:35Z |
| institution | BVB |
| isbn | 9783662051382 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471877 |
| oclc_num | 1227484271 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (IX, 147 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Cognitive Technologies |
| spelling | Frühwirth, Thom Verfasser aut Essentials of Constraint Programming by Thom Frühwirth, Slim Abdennadher 1st ed. 2003 Berlin, Heidelberg Springer Berlin Heidelberg 2003 1 Online-Ressource (IX, 147 p) txt rdacontent c rdamedia cr rdacarrier Cognitive Technologies The book is a short, concise and complete presentation of constraint programming and reasoning. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and solve problems with uncertain, incomplete information and combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design and analysis. The theoretically well-founded presentation includes application examples from real life. It introduces the common classes of constraint programming languages and constraint systems in a uniform way. Constraint solving algorithms are specified and implemented in the constraint handling rules language (CHR). This book is ideally suited as a textbook for graduate students and as a resource for researchers and practitioners. The Internet support includes teaching material, software, latest news and online use and examples of the CHR language Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Artificial Intelligence Mathematics of Computing Software engineering Programming languages (Electronic computers) Mathematical logic Computer programming Artificial intelligence Computer science—Mathematics Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf Constraint-Programmierung (DE-588)4567206-4 s DE-604 Abdennadher, Slim aut Erscheint auch als Druck-Ausgabe 9783642087127 Erscheint auch als Druck-Ausgabe 9783540676232 Erscheint auch als Druck-Ausgabe 9783662051399 https://doi.org/10.1007/978-3-662-05138-2 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Frühwirth, Thom Abdennadher, Slim Essentials of Constraint Programming Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Artificial Intelligence Mathematics of Computing Software engineering Programming languages (Electronic computers) Mathematical logic Computer programming Artificial intelligence Computer science—Mathematics Constraint-Programmierung (DE-588)4567206-4 gnd |
| subject_GND | (DE-588)4567206-4 |
| title | Essentials of Constraint Programming |
| title_auth | Essentials of Constraint Programming |
| title_exact_search | Essentials of Constraint Programming |
| title_exact_search_txtP | Essentials of Constraint Programming |
| title_full | Essentials of Constraint Programming by Thom Frühwirth, Slim Abdennadher |
| title_fullStr | Essentials of Constraint Programming by Thom Frühwirth, Slim Abdennadher |
| title_full_unstemmed | Essentials of Constraint Programming by Thom Frühwirth, Slim Abdennadher |
| title_short | Essentials of Constraint Programming |
| title_sort | essentials of constraint programming |
| topic | Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Artificial Intelligence Mathematics of Computing Software engineering Programming languages (Electronic computers) Mathematical logic Computer programming Artificial intelligence Computer science—Mathematics Constraint-Programmierung (DE-588)4567206-4 gnd |
| topic_facet | Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Artificial Intelligence Mathematics of Computing Software engineering Programming languages (Electronic computers) Mathematical logic Computer programming Artificial intelligence Computer science—Mathematics Constraint-Programmierung |
| url | https://doi.org/10.1007/978-3-662-05138-2 |
| work_keys_str_mv | AT fruhwirththom essentialsofconstraintprogramming AT abdennadherslim essentialsofconstraintprogramming |