Analysis and visualization tools for constraint programming: constraint debugging
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2000
|
| Schriftenreihe: | Lecture notes in computer science
1870 |
| Schlagworte: | |
| Beschreibung: | XXI, 363 S. graph. Darst. |
| ISBN: | 3540411372 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013361105 | ||
| 003 | DE-604 | ||
| 005 | 20020107 | ||
| 007 | t| | ||
| 008 | 000919s2000 gw d||| |||| 00||| eng d | ||
| 016 | 7 | |a 959755829 |2 DE-101 | |
| 020 | |a 3540411372 |9 3-540-41137-2 | ||
| 035 | |a (OCoLC)45080109 | ||
| 035 | |a (DE-599)BVBBV013361105 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-384 |a DE-703 |a DE-706 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a QA76.612 | |
| 082 | 0 | |a 005.1/1 |2 21 | |
| 084 | |a DAT 380f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 330f |2 stub | ||
| 245 | 1 | 0 | |a Analysis and visualization tools for constraint programming |b constraint debugging |c Pierre Deransart ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2000 | |
| 300 | |a XXI, 363 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1870 | |
| 650 | 7 | |a Functionele programmering |2 gtt | |
| 650 | 4 | |a Programmation par contraintes | |
| 650 | 7 | |a Programmation par contraintes |2 ram | |
| 650 | 7 | |a débogage |2 inriac | |
| 650 | 7 | |a programmation avec contrainte |2 inriac | |
| 650 | 7 | |a visualisation |2 inriac | |
| 650 | 4 | |a Constraint programming (Computer science) | |
| 650 | 0 | 7 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Debugging |0 (DE-588)4148954-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Constraint-Programmierung |0 (DE-588)4567206-4 |D s |
| 689 | 0 | 1 | |a Debugging |0 (DE-588)4148954-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Deransart, Pierre |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1870 |w (DE-604)BV000000607 |9 1870 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009114317 | |
Datensatz im Suchindex
| _version_ | 1820874897024352256 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV013361105 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.612 |
| callnumber-search | QA76.612 |
| callnumber-sort | QA 276.612 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 380f DAT 706f DAT 330f |
| ctrlnum | (OCoLC)45080109 (DE-599)BVBBV013361105 |
| dewey-full | 005.1/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/1 |
| dewey-search | 005.1/1 |
| dewey-sort | 15.1 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV013361105</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020107</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000919s2000 gw d||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959755829</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540411372</subfield><subfield code="9">3-540-41137-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45080109</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013361105</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.612</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 380f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Analysis and visualization tools for constraint programming</subfield><subfield code="b">constraint debugging</subfield><subfield code="c">Pierre Deransart ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 363 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1870</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Functionele programmering</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation par contraintes</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation par contraintes</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">débogage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation avec contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">visualisation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</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="650" ind1="0" ind2="7"><subfield code="a">Debugging</subfield><subfield code="0">(DE-588)4148954-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</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="1"><subfield code="a">Debugging</subfield><subfield code="0">(DE-588)4148954-8</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">Deransart, Pierre</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1870</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1870</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009114317</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV013361105 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:01Z |
| institution | BVB |
| isbn | 3540411372 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009114317 |
| oclc_num | 45080109 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-703 DE-706 DE-634 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-703 DE-706 DE-634 DE-83 |
| physical | XXI, 363 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Analysis and visualization tools for constraint programming constraint debugging Pierre Deransart ... (ed.) Berlin [u.a.] Springer 2000 XXI, 363 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1870 Functionele programmering gtt Programmation par contraintes Programmation par contraintes ram débogage inriac programmation avec contrainte inriac visualisation inriac Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd rswk-swf Debugging (DE-588)4148954-8 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Constraint-Programmierung (DE-588)4567206-4 s Debugging (DE-588)4148954-8 s DE-604 Deransart, Pierre Sonstige oth Lecture notes in computer science 1870 (DE-604)BV000000607 1870 |
| spellingShingle | Analysis and visualization tools for constraint programming constraint debugging Lecture notes in computer science Functionele programmering gtt Programmation par contraintes Programmation par contraintes ram débogage inriac programmation avec contrainte inriac visualisation inriac Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd Debugging (DE-588)4148954-8 gnd |
| subject_GND | (DE-588)4567206-4 (DE-588)4148954-8 (DE-588)4143413-4 |
| title | Analysis and visualization tools for constraint programming constraint debugging |
| title_auth | Analysis and visualization tools for constraint programming constraint debugging |
| title_exact_search | Analysis and visualization tools for constraint programming constraint debugging |
| title_full | Analysis and visualization tools for constraint programming constraint debugging Pierre Deransart ... (ed.) |
| title_fullStr | Analysis and visualization tools for constraint programming constraint debugging Pierre Deransart ... (ed.) |
| title_full_unstemmed | Analysis and visualization tools for constraint programming constraint debugging Pierre Deransart ... (ed.) |
| title_short | Analysis and visualization tools for constraint programming |
| title_sort | analysis and visualization tools for constraint programming constraint debugging |
| title_sub | constraint debugging |
| topic | Functionele programmering gtt Programmation par contraintes Programmation par contraintes ram débogage inriac programmation avec contrainte inriac visualisation inriac Constraint programming (Computer science) Constraint-Programmierung (DE-588)4567206-4 gnd Debugging (DE-588)4148954-8 gnd |
| topic_facet | Functionele programmering Programmation par contraintes débogage programmation avec contrainte visualisation Constraint programming (Computer science) Constraint-Programmierung Debugging Aufsatzsammlung |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT deransartpierre analysisandvisualizationtoolsforconstraintprogrammingconstraintdebugging |