Automata, languages and programming: 12th colloquium, Nafplion, Greece, July 15 - 19, 1985
Saved in:
| Other Authors: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1985
|
| Series: | Lecture notes in computer science
194 |
| Subjects: | |
| Physical Description: | VII, 519 S. Ill., graph. Darst. |
| ISBN: | 354015650X 038715650X |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000343180 | ||
| 003 | DE-604 | ||
| 005 | 20141002 | ||
| 007 | t| | ||
| 008 | 870612s1985 xx ad|| |||| 10||| eng d | ||
| 020 | |a 354015650X |9 3-540-15650-X | ||
| 020 | |a 038715650X |9 0-387-15650-X | ||
| 035 | |a (OCoLC)1068977287 | ||
| 035 | |a (DE-599)BVBBV000343180 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-20 |a DE-824 |a DE-19 |a DE-384 |a DE-703 |a DE-739 |a DE-11 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511.3 |2 19 | |
| 245 | 1 | 0 | |a Automata, languages and programming |b 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 |c [ICALP 85]. Ed. by Wilfried Brauer |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1985 | |
| 300 | |a VII, 519 S. |b Ill., 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 194 | |
| 650 | 4 | |a Automates mathématiques, Théorie des - Congrès | |
| 650 | 4 | |a Langages formels - Congrès | |
| 650 | 7 | |a Linguagens Formais E Automatos |2 larpcal | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Teoria Da Computacao |2 larpcal | |
| 650 | 7 | |a combinatoire |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a structure donnée |2 inriac | |
| 650 | 7 | |a sémantique langage programmation |2 inriac | |
| 650 | 7 | |a théorie automate |2 inriac | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1984 |z Nafplion |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1985 |z Nafplion |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Brauer, Wilfried |d 1937-2014 |0 (DE-588)121030709 |4 edt | |
| 711 | 2 | |a International Colloquium on Automata, Languages and Programming |n 12 |d 1985 |c Nauplion |j Sonstige |0 (DE-588)5040900-1 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 194 |w (DE-604)BV000000607 |9 194 | |
| 940 | 1 | |n oe | |
| 942 | 1 | 1 | |e 22/bsb |g 495 |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-000213194 | |
Record in the Search Index
| _version_ | 1822490748946219008 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Brauer, Wilfried 1937-2014 |
| author2_role | edt |
| author2_variant | w b wb |
| author_GND | (DE-588)121030709 |
| author_facet | Brauer, Wilfried 1937-2014 |
| building | Verbundindex |
| bvnumber | BV000343180 |
| 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 |
| ctrlnum | (OCoLC)1068977287 (DE-599)BVBBV000343180 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV000343180</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141002</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">870612s1985 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354015650X</subfield><subfield code="9">3-540-15650-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038715650X</subfield><subfield code="9">0-387-15650-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1068977287</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000343180</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-11</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">511.3</subfield><subfield code="2">19</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automata, languages and programming</subfield><subfield code="b">12th colloquium, Nafplion, Greece, July 15 - 19, 1985</subfield><subfield code="c">[ICALP 85]. Ed. by Wilfried Brauer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 519 S.</subfield><subfield code="b">Ill., 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">194</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="4"><subfield code="a">Langages formels - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Linguagens Formais E Automatos</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Teoria Da Computacao</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">combinatoire</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage formel</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">structure donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie automate</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal languages</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="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">1984</subfield><subfield code="z">Nafplion</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1985</subfield><subfield code="z">Nafplion</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</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">Brauer, Wilfried</subfield><subfield code="d">1937-2014</subfield><subfield code="0">(DE-588)121030709</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Colloquium on Automata, Languages and Programming</subfield><subfield code="n">12</subfield><subfield code="d">1985</subfield><subfield code="c">Nauplion</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5040900-1</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">194</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">194</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">oe</subfield></datafield><datafield tag="942" ind1="1" ind2="1"><subfield code="e">22/bsb</subfield><subfield code="g">495</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000213194</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1984 Nafplion gnd-content (DE-588)1071861417 Konferenzschrift 1985 Nafplion gnd-content |
| genre_facet | Konferenzschrift 1984 Nafplion Konferenzschrift 1985 Nafplion |
| id | DE-604.BV000343180 |
| illustrated | Illustrated |
| indexdate | 2025-01-28T11:10:18Z |
| institution | BVB |
| institution_GND | (DE-588)5040900-1 |
| isbn | 354015650X 038715650X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000213194 |
| oclc_num | 1068977287 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-20 DE-824 DE-19 DE-BY-UBM DE-384 DE-703 DE-739 DE-11 DE-83 DE-188 DE-706 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-20 DE-824 DE-19 DE-BY-UBM DE-384 DE-703 DE-739 DE-11 DE-83 DE-188 DE-706 |
| physical | VII, 519 S. Ill., graph. Darst. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 [ICALP 85]. Ed. by Wilfried Brauer Berlin [u.a.] Springer 1985 VII, 519 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 194 Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Linguagens Formais E Automatos larpcal Programmation (Informatique) - Congrès Teoria Da Computacao larpcal combinatoire inriac langage formel inriac logique mathématique inriac structure donnée inriac sémantique langage programmation inriac théorie automate inriac Computer programming Congresses Formal languages Congresses Machine theory Congresses Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1984 Nafplion gnd-content (DE-588)1071861417 Konferenzschrift 1985 Nafplion gnd-content Informatik (DE-588)4026894-9 s DE-604 Brauer, Wilfried 1937-2014 (DE-588)121030709 edt International Colloquium on Automata, Languages and Programming 12 1985 Nauplion Sonstige (DE-588)5040900-1 oth Lecture notes in computer science 194 (DE-604)BV000000607 194 |
| spellingShingle | Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 Lecture notes in computer science Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Linguagens Formais E Automatos larpcal Programmation (Informatique) - Congrès Teoria Da Computacao larpcal combinatoire inriac langage formel inriac logique mathématique inriac structure donnée inriac sémantique langage programmation inriac théorie automate inriac Computer programming Congresses Formal languages Congresses Machine theory Congresses Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)1071861417 |
| title | Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 |
| title_auth | Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 |
| title_exact_search | Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 |
| title_full | Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 [ICALP 85]. Ed. by Wilfried Brauer |
| title_fullStr | Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 [ICALP 85]. Ed. by Wilfried Brauer |
| title_full_unstemmed | Automata, languages and programming 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 [ICALP 85]. Ed. by Wilfried Brauer |
| title_short | Automata, languages and programming |
| title_sort | automata languages and programming 12th colloquium nafplion greece july 15 19 1985 |
| title_sub | 12th colloquium, Nafplion, Greece, July 15 - 19, 1985 |
| topic | Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Linguagens Formais E Automatos larpcal Programmation (Informatique) - Congrès Teoria Da Computacao larpcal combinatoire inriac langage formel inriac logique mathématique inriac structure donnée inriac sémantique langage programmation inriac théorie automate inriac Computer programming Congresses Formal languages Congresses Machine theory Congresses Informatik (DE-588)4026894-9 gnd |
| topic_facet | Automates mathématiques, Théorie des - Congrès Langages formels - Congrès Linguagens Formais E Automatos Programmation (Informatique) - Congrès Teoria Da Computacao combinatoire langage formel logique mathématique structure donnée sémantique langage programmation théorie automate Computer programming Congresses Formal languages Congresses Machine theory Congresses Informatik Konferenzschrift 1984 Nafplion Konferenzschrift 1985 Nafplion |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT brauerwilfried automatalanguagesandprogramming12thcolloquiumnafpliongreecejuly15191985 AT internationalcolloquiumonautomatalanguagesandprogrammingnauplion automatalanguagesandprogramming12thcolloquiumnafpliongreecejuly15191985 |