Automata, languages and programming: 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2000
|
| Schriftenreihe: | Lecture notes in computer science
1853 |
| Schlagworte: | |
| Beschreibung: | XVI, 941 S. graph. Darst. |
| ISBN: | 3540677151 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013210366 | ||
| 003 | DE-604 | ||
| 005 | 20070424 | ||
| 007 | t | ||
| 008 | 000613s2000 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 959169211 |2 DE-101 | |
| 020 | |a 3540677151 |9 3-540-67715-1 | ||
| 035 | |a (OCoLC)44695225 | ||
| 035 | |a (DE-599)BVBBV013210366 | ||
| 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-824 |a DE-19 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Automata, languages and programming |b 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings |c Ugo Montanari ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2000 | |
| 300 | |a XVI, 941 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 1853 | |
| 650 | 7 | |a Abstracte automaten |2 gtt | |
| 650 | 4 | |a Automates mathématiques, Théorie des - Congrès | |
| 650 | 7 | |a Automates mathématiques, Théorie des - Congrès |2 ram | |
| 650 | 4 | |a Informatique - Mathématiques - Congrès | |
| 650 | 4 | |a Langages de programmation - Congrès | |
| 650 | 7 | |a Langages formels - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation - Congrès |2 ram | |
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 7 | |a algorithme |2 inriac | |
| 650 | 7 | |a automate |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a logique formelle |2 inriac | |
| 650 | 7 | |a sémantique programme |2 inriac | |
| 650 | 7 | |a théorie programmation |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science |x Mathematics |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) |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 2000 |z Genf |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Montanari, Ugo |d 1943- |e Sonstige |0 (DE-588)134068815 |4 oth | |
| 711 | 2 | |a ICALP |n 27 |d 2000 |c Genf |j Sonstige |0 (DE-588)2183998-0 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1853 |w (DE-604)BV000000607 |9 1853 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009000743 | ||
Datensatz im Suchindex
| _version_ | 1804127965272866816 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)134068815 |
| building | Verbundindex |
| bvnumber | BV013210366 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 550f |
| ctrlnum | (OCoLC)44695225 (DE-599)BVBBV013210366 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02429nam a22006378cb4500</leader><controlfield tag="001">BV013210366</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070424 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000613s2000 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959169211</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540677151</subfield><subfield code="9">3-540-67715-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)44695225</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013210366</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-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</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">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata, languages and programming</subfield><subfield code="b">27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings</subfield><subfield code="c">Ugo Montanari ... (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">XVI, 941 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">1853</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Abstracte automaten</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automates mathématiques, Théorie des - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automates mathématiques, Théorie des - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Mathématiques - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages formels - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">automate</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">logique formelle</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="7"><subfield code="a">théorie programmation</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">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</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">2000</subfield><subfield code="z">Genf</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">Montanari, Ugo</subfield><subfield code="d">1943-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)134068815</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ICALP</subfield><subfield code="n">27</subfield><subfield code="d">2000</subfield><subfield code="c">Genf</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2183998-0</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">1853</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1853</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009000743</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Genf gnd-content |
| genre_facet | Konferenzschrift 2000 Genf |
| id | DE-604.BV013210366 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:41:43Z |
| institution | BVB |
| institution_GND | (DE-588)2183998-0 |
| isbn | 3540677151 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009000743 |
| oclc_num | 44695225 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-824 DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-706 |
| physical | XVI, 941 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 | Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings Ugo Montanari ... (ed.) Berlin [u.a.] Springer 2000 XVI, 941 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1853 Abstracte automaten gtt Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des - Congrès ram Informatique - Mathématiques - Congrès Langages de programmation - Congrès Langages formels - Congrès ram Ordinateurs - Programmation - Congrès ram Programmeertalen gtt algorithme inriac automate inriac complexité inriac logique formelle inriac sémantique programme inriac théorie programmation inriac Informatik Mathematik Computer science Mathematics Congresses Machine theory Congresses Programming languages (Electronic computers) Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Genf gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Montanari, Ugo 1943- Sonstige (DE-588)134068815 oth ICALP 27 2000 Genf Sonstige (DE-588)2183998-0 oth Lecture notes in computer science 1853 (DE-604)BV000000607 1853 |
| spellingShingle | Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings Lecture notes in computer science Abstracte automaten gtt Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des - Congrès ram Informatique - Mathématiques - Congrès Langages de programmation - Congrès Langages formels - Congrès ram Ordinateurs - Programmation - Congrès ram Programmeertalen gtt algorithme inriac automate inriac complexité inriac logique formelle inriac sémantique programme inriac théorie programmation inriac Informatik Mathematik Computer science Mathematics Congresses Machine theory Congresses Programming languages (Electronic computers) Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings |
| title_auth | Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings |
| title_exact_search | Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings |
| title_full | Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings Ugo Montanari ... (ed.) |
| title_fullStr | Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings Ugo Montanari ... (ed.) |
| title_full_unstemmed | Automata, languages and programming 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings Ugo Montanari ... (ed.) |
| title_short | Automata, languages and programming |
| title_sort | automata languages and programming 27th international colloquium icalp 2000 geneva switzerland july 9 15 2000 proceedings |
| title_sub | 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9 - 15, 2000 ; proceedings |
| topic | Abstracte automaten gtt Automates mathématiques, Théorie des - Congrès Automates mathématiques, Théorie des - Congrès ram Informatique - Mathématiques - Congrès Langages de programmation - Congrès Langages formels - Congrès ram Ordinateurs - Programmation - Congrès ram Programmeertalen gtt algorithme inriac automate inriac complexité inriac logique formelle inriac sémantique programme inriac théorie programmation inriac Informatik Mathematik Computer science Mathematics Congresses Machine theory Congresses Programming languages (Electronic computers) Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Abstracte automaten Automates mathématiques, Théorie des - Congrès Informatique - Mathématiques - Congrès Langages de programmation - Congrès Langages formels - Congrès Ordinateurs - Programmation - Congrès Programmeertalen algorithme automate complexité logique formelle sémantique programme théorie programmation Informatik Mathematik Computer science Mathematics Congresses Machine theory Congresses Programming languages (Electronic computers) Congresses Theoretische Informatik Konferenzschrift 2000 Genf |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT montanariugo automatalanguagesandprogramming27thinternationalcolloquiumicalp2000genevaswitzerlandjuly9152000proceedings AT icalpgenf automatalanguagesandprogramming27thinternationalcolloquiumicalp2000genevaswitzerlandjuly9152000proceedings |