Mathematical foundations of computer science 1981: proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981
Saved in:
| Other Authors: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1981
|
| Series: | Lecture notes in computer science
118 |
| Subjects: | |
| Physical Description: | XI, 589 S. graph. Darst. |
| ISBN: | 3540108564 0387108564 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005969174 | ||
| 003 | DE-604 | ||
| 005 | 20170505 | ||
| 007 | t| | ||
| 008 | 921030s1981 xx d||| |||| 10||| eng d | ||
| 020 | |a 3540108564 |9 3-540-10856-4 | ||
| 020 | |a 0387108564 |9 0-387-10856-4 | ||
| 035 | |a (OCoLC)7671919 | ||
| 035 | |a (DE-599)BVBBV005969174 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-355 |a DE-20 |a DE-91G |a DE-19 |a DE-11 |a DE-634 |a DE-384 |a DE-739 |a DE-824 |a DE-706 |a DE-188 | ||
| 050 | 0 | |a QA267 | |
| 082 | 0 | |a 511 |2 19 | |
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 245 | 1 | 0 | |a Mathematical foundations of computer science 1981 |b proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 |c [the 10th Symposium on Mathematical Foundations of Computer Science]. Ed. by Jozef Gruska ... |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1981 | |
| 300 | |a XI, 589 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 118 | |
| 650 | 4 | |a Automates mathématiques, Théorie des - Congrès | |
| 650 | 4 | |a Complexité de calcul (Informatique) - Congrès | |
| 650 | 4 | |a Langages formels - Congrès | |
| 650 | 7 | |a analyse numérique |2 inriac | |
| 650 | 7 | |a automate fini |2 inriac | |
| 650 | 7 | |a combinatoire |2 inriac | |
| 650 | 7 | |a complexité calcul |2 inriac | |
| 650 | 7 | |a grammaire algébrique |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a réseau Petri |2 inriac | |
| 650 | 7 | |a schéma programme |2 inriac | |
| 650 | 4 | |a Computational complexity |v Congresses | |
| 650 | 4 | |a Formal languages |v Congresses | |
| 650 | 4 | |a Machine theory |v Congresses | |
| 650 | 0 | 7 | |a Grundlage |0 (DE-588)4158388-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1981 |z Tschirmer See |2 gnd-content | |
| 689 | 0 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 2 | |a Grundlage |0 (DE-588)4158388-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gruska, Jozef |d 1933- |0 (DE-588)1079573267 |4 edt | |
| 711 | 2 | |a Symposium on Mathematical Foundations of Computer Science |n 10 |d 1981 |c Štrbské Pleso |j Sonstige |0 (DE-588)819060-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 118 |w (DE-604)BV000000607 |9 118 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003746083 | |
Record in the Search Index
| _version_ | 1820874839411392512 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Gruska, Jozef 1933- |
| author2_role | edt |
| author2_variant | j g jg |
| author_GND | (DE-588)1079573267 |
| author_facet | Gruska, Jozef 1933- |
| building | Verbundindex |
| bvnumber | BV005969174 |
| callnumber-first | Q - Science |
| callnumber-label | QA267 |
| callnumber-raw | QA267 |
| callnumber-search | QA267 |
| callnumber-sort | QA 3267 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | QH 500 |
| ctrlnum | (OCoLC)7671919 (DE-599)BVBBV005969174 |
| dewey-full | 511 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511 |
| dewey-search | 511 |
| dewey-sort | 3511 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Wirtschaftswissenschaften |
| 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">BV005969174</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170505</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">921030s1981 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540108564</subfield><subfield code="9">3-540-10856-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387108564</subfield><subfield code="9">0-387-10856-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)7671919</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005969174</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-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA267</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical foundations of computer science 1981</subfield><subfield code="b">proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981</subfield><subfield code="c">[the 10th Symposium on Mathematical Foundations of Computer Science]. Ed. by Jozef Gruska ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 589 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">118</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">Complexité de calcul (Informatique) - 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">analyse numérique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">automate fini</subfield><subfield code="2">inriac</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">complexité calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">grammaire algébrique</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">réseau Petri</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">schéma programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</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">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-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">1981</subfield><subfield code="z">Tschirmer See</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</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">Gruska, Jozef</subfield><subfield code="d">1933-</subfield><subfield code="0">(DE-588)1079573267</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Symposium on Mathematical Foundations of Computer Science</subfield><subfield code="n">10</subfield><subfield code="d">1981</subfield><subfield code="c">Štrbské Pleso</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)819060-4</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">118</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">118</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003746083</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1981 Tschirmer See gnd-content |
| genre_facet | Konferenzschrift 1981 Tschirmer See |
| id | DE-604.BV005969174 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:07Z |
| institution | BVB |
| institution_GND | (DE-588)819060-4 |
| isbn | 3540108564 0387108564 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003746083 |
| oclc_num | 7671919 |
| open_access_boolean | |
| owner | DE-703 DE-355 DE-BY-UBR DE-20 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-11 DE-634 DE-384 DE-739 DE-824 DE-706 DE-188 |
| owner_facet | DE-703 DE-355 DE-BY-UBR DE-20 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-11 DE-634 DE-384 DE-739 DE-824 DE-706 DE-188 |
| physical | XI, 589 S. graph. Darst. |
| publishDate | 1981 |
| publishDateSearch | 1981 |
| publishDateSort | 1981 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mathematical foundations of computer science 1981 proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 [the 10th Symposium on Mathematical Foundations of Computer Science]. Ed. by Jozef Gruska ... Berlin [u.a.] Springer 1981 XI, 589 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 118 Automates mathématiques, Théorie des - Congrès Complexité de calcul (Informatique) - Congrès Langages formels - Congrès analyse numérique inriac automate fini inriac combinatoire inriac complexité calcul inriac grammaire algébrique inriac informatique théorique inriac réseau Petri inriac schéma programme inriac Computational complexity Congresses Formal languages Congresses Machine theory Congresses Grundlage (DE-588)4158388-7 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1981 Tschirmer See gnd-content Datenverarbeitung (DE-588)4011152-0 s Mathematik (DE-588)4037944-9 s Grundlage (DE-588)4158388-7 s DE-604 Gruska, Jozef 1933- (DE-588)1079573267 edt Symposium on Mathematical Foundations of Computer Science 10 1981 Štrbské Pleso Sonstige (DE-588)819060-4 oth Lecture notes in computer science 118 (DE-604)BV000000607 118 |
| spellingShingle | Mathematical foundations of computer science 1981 proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 Lecture notes in computer science Automates mathématiques, Théorie des - Congrès Complexité de calcul (Informatique) - Congrès Langages formels - Congrès analyse numérique inriac automate fini inriac combinatoire inriac complexité calcul inriac grammaire algébrique inriac informatique théorique inriac réseau Petri inriac schéma programme inriac Computational complexity Congresses Formal languages Congresses Machine theory Congresses Grundlage (DE-588)4158388-7 gnd Datenverarbeitung (DE-588)4011152-0 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4158388-7 (DE-588)4011152-0 (DE-588)4037944-9 (DE-588)1071861417 |
| title | Mathematical foundations of computer science 1981 proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 |
| title_auth | Mathematical foundations of computer science 1981 proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 |
| title_exact_search | Mathematical foundations of computer science 1981 proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 |
| title_full | Mathematical foundations of computer science 1981 proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 [the 10th Symposium on Mathematical Foundations of Computer Science]. Ed. by Jozef Gruska ... |
| title_fullStr | Mathematical foundations of computer science 1981 proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 [the 10th Symposium on Mathematical Foundations of Computer Science]. Ed. by Jozef Gruska ... |
| title_full_unstemmed | Mathematical foundations of computer science 1981 proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 [the 10th Symposium on Mathematical Foundations of Computer Science]. Ed. by Jozef Gruska ... |
| title_short | Mathematical foundations of computer science 1981 |
| title_sort | mathematical foundations of computer science 1981 proceedings 10th symposium strbske pleso czechoslovakia august 31 september 4 1981 |
| title_sub | proceedings, 10th symposium, Štrbské Pleso, Czechoslovakia ; August 31 - September 4, 1981 |
| topic | Automates mathématiques, Théorie des - Congrès Complexité de calcul (Informatique) - Congrès Langages formels - Congrès analyse numérique inriac automate fini inriac combinatoire inriac complexité calcul inriac grammaire algébrique inriac informatique théorique inriac réseau Petri inriac schéma programme inriac Computational complexity Congresses Formal languages Congresses Machine theory Congresses Grundlage (DE-588)4158388-7 gnd Datenverarbeitung (DE-588)4011152-0 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Automates mathématiques, Théorie des - Congrès Complexité de calcul (Informatique) - Congrès Langages formels - Congrès analyse numérique automate fini combinatoire complexité calcul grammaire algébrique informatique théorique réseau Petri schéma programme Computational complexity Congresses Formal languages Congresses Machine theory Congresses Grundlage Datenverarbeitung Mathematik Konferenzschrift 1981 Tschirmer See |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gruskajozef mathematicalfoundationsofcomputerscience1981proceedings10thsymposiumstrbskeplesoczechoslovakiaaugust31september41981 AT symposiumonmathematicalfoundationsofcomputersciencestrbskepleso mathematicalfoundationsofcomputerscience1981proceedings10thsymposiumstrbskeplesoczechoslovakiaaugust31september41981 |