Theoretical computer science: 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2001
|
| Series: | Lecture notes in computer science
2202 |
| Subjects: | |
| Item Description: | Literaturangaben |
| Physical Description: | XI, 440 S. graph. Darst. |
| ISBN: | 3540426728 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013915815 | ||
| 003 | DE-604 | ||
| 005 | 20011025 | ||
| 007 | t| | ||
| 008 | 010911s2001 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 962323438 |2 DE-101 | |
| 020 | |a 3540426728 |9 3-540-42672-8 | ||
| 035 | |a (OCoLC)48154295 | ||
| 035 | |a (DE-599)BVBBV013915815 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA75.5 | |
| 082 | 0 | |a 004.36 |2 21 | |
| 084 | |a DAT 005f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Theoretical computer science |b 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings |c Antonio Restivo ... (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2001 | |
| 300 | |a XI, 440 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 2202 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Informatique - Congrès | |
| 650 | 7 | |a Informatique - Congrès |2 ram | |
| 650 | 7 | |a algorithmique |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a mathématiques discrètes |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a sémantique programme |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2001 |z Turin |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Restivo, Antonio |d ca. 20. Jh./21. Jh. |e Sonstige |0 (DE-588)129845728 |4 oth | |
| 711 | 2 | |a ICTCS |n 7 |d 2001 |c Turin |j Sonstige |0 (DE-588)10026692-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 2202 |w (DE-604)BV000000607 |9 2202 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009521517 | |
Record in the Search Index
| _version_ | 1820874905612189696 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)129845728 |
| building | Verbundindex |
| bvnumber | BV013915815 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5 |
| callnumber-search | QA75.5 |
| callnumber-sort | QA 275.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 005f DAT 500f |
| ctrlnum | (OCoLC)48154295 (DE-599)BVBBV013915815 |
| dewey-full | 004.36 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.36 |
| dewey-search | 004.36 |
| dewey-sort | 14.36 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding 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">BV013915815</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20011025</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">010911s2001 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">962323438</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540426728</subfield><subfield code="9">3-540-42672-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48154295</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013915815</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-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.36</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 005f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theoretical computer science</subfield><subfield code="b">7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings</subfield><subfield code="c">Antonio Restivo ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 440 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">2202</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithmique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique théorique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">mathématiques discrètes</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2001</subfield><subfield code="z">Turin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Restivo, Antonio</subfield><subfield code="d">ca. 20. Jh./21. Jh.</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)129845728</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICTCS</subfield><subfield code="n">7</subfield><subfield code="d">2001</subfield><subfield code="c">Turin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10026692-7</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">2202</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2202</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009521517</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2001 Turin gnd-content |
| genre_facet | Konferenzschrift 2001 Turin |
| id | DE-604.BV013915815 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:07:10Z |
| institution | BVB |
| institution_GND | (DE-588)10026692-7 |
| isbn | 3540426728 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009521517 |
| oclc_num | 48154295 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 DE-706 |
| physical | XI, 440 S. graph. Darst. |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Theoretical computer science 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings Antonio Restivo ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2001 XI, 440 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 2202 Literaturangaben Informatique - Congrès Informatique - Congrès ram algorithmique inriac complexité inriac informatique théorique inriac logique mathématique inriac mathématiques discrètes inriac méthode formelle inriac programmation en logique inriac sémantique programme inriac Informatik Computer science Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2001 Turin gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Restivo, Antonio ca. 20. Jh./21. Jh. Sonstige (DE-588)129845728 oth ICTCS 7 2001 Turin Sonstige (DE-588)10026692-7 oth Lecture notes in computer science 2202 (DE-604)BV000000607 2202 |
| spellingShingle | Theoretical computer science 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings Lecture notes in computer science Informatique - Congrès Informatique - Congrès ram algorithmique inriac complexité inriac informatique théorique inriac logique mathématique inriac mathématiques discrètes inriac méthode formelle inriac programmation en logique inriac sémantique programme inriac Informatik Computer science Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Theoretical computer science 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings |
| title_auth | Theoretical computer science 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings |
| title_exact_search | Theoretical computer science 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings |
| title_full | Theoretical computer science 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings Antonio Restivo ... (ed.) |
| title_fullStr | Theoretical computer science 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings Antonio Restivo ... (ed.) |
| title_full_unstemmed | Theoretical computer science 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings Antonio Restivo ... (ed.) |
| title_short | Theoretical computer science |
| title_sort | theoretical computer science 7th italian conference ictcs 2001 torino italy october 4 6 2001 proceedings |
| title_sub | 7th Italian conference, ICTCS 2001, Torino, Italy, October 4 - 6, 2001 ; proceedings |
| topic | Informatique - Congrès Informatique - Congrès ram algorithmique inriac complexité inriac informatique théorique inriac logique mathématique inriac mathématiques discrètes inriac méthode formelle inriac programmation en logique inriac sémantique programme inriac Informatik Computer science Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Informatique - Congrès algorithmique complexité informatique théorique logique mathématique mathématiques discrètes méthode formelle programmation en logique sémantique programme Informatik Computer science Congresses Theoretische Informatik Konferenzschrift 2001 Turin |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT restivoantonio theoreticalcomputerscience7thitalianconferenceictcs2001torinoitalyoctober462001proceedings AT ictcsturin theoreticalcomputerscience7thitalianconferenceictcs2001torinoitalyoctober462001proceedings |