Mathematical foundations of computer science 1995: 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1995
|
| Series: | Lecture notes in computer science
969 |
| Subjects: | |
| Physical Description: | XIII, 588 S. |
| ISBN: | 3540602461 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010322280 | ||
| 003 | DE-604 | ||
| 005 | 20070419 | ||
| 007 | t| | ||
| 008 | 950724s1995 gw |||| 10||| eng d | ||
| 016 | 7 | |a 94490632X |2 DE-101 | |
| 020 | |a 3540602461 |9 3-540-60246-1 | ||
| 035 | |a (OCoLC)33242252 | ||
| 035 | |a (DE-599)BVBBV010322280 | ||
| 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-20 |a DE-19 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.9.M35S96 1995 | |
| 082 | 0 | |a 005.0151 | |
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a 27 |2 sdnb | ||
| 084 | |a MAT 050f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Mathematical foundations of computer science 1995 |b 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings |c Jiří Wiedermann ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1995 | |
| 300 | |a XIII, 588 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 969 | |
| 650 | 7 | |a Fundamentele informatica |2 gtt | |
| 650 | 7 | |a Informatique - Mathématiques - Congrès |2 ram | |
| 650 | 7 | |a calcul formel |2 inriac | |
| 650 | 7 | |a calcul réparti |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a contrôle modèle |2 inriac | |
| 650 | 7 | |a graphe |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a théorie complexité |2 inriac | |
| 650 | 7 | |a théorie type |2 inriac | |
| 650 | 7 | |a unification |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Computer science -- Mathematics -- 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 1995 |z Prag |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Wiedermann, Jiří |d 1948- |e Sonstige |0 (DE-588)135879396 |4 oth | |
| 711 | 2 | |a MFCS |n 20 |d 1995 |c Prag |j Sonstige |0 (DE-588)2148719-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 969 |w (DE-604)BV000000607 |9 969 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006869532 | |
Record in the Search Index
| _version_ | 1820868265285517312 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)135879396 |
| building | Verbundindex |
| bvnumber | BV010322280 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35S96 1995 |
| callnumber-search | QA76.9.M35S96 1995 |
| callnumber-sort | QA 276.9 M35 S96 41995 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 120 |
| classification_tum | MAT 050f DAT 500f |
| ctrlnum | (OCoLC)33242252 (DE-599)BVBBV010322280 |
| dewey-full | 005.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.0151 |
| dewey-search | 005.0151 |
| dewey-sort | 15.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik 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">BV010322280</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070419</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950724s1995 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">94490632X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540602461</subfield><subfield code="9">3-540-60246-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33242252</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010322280</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-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.M35S96 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.0151</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">27</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 050f</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="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical foundations of computer science 1995</subfield><subfield code="b">20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings</subfield><subfield code="c">Jiří Wiedermann ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 588 S.</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">969</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fundamentele informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul réparti</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">contrôle modèle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">graphe</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">langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">unification</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 -- Mathematics -- 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">1995</subfield><subfield code="z">Prag</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">Wiedermann, Jiří</subfield><subfield code="d">1948-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)135879396</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">MFCS</subfield><subfield code="n">20</subfield><subfield code="d">1995</subfield><subfield code="c">Prag</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2148719-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">969</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">969</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006869532</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Prag gnd-content |
| genre_facet | Konferenzschrift 1995 Prag |
| id | DE-604.BV010322280 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:21:37Z |
| institution | BVB |
| institution_GND | (DE-588)2148719-4 |
| isbn | 3540602461 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006869532 |
| oclc_num | 33242252 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | XIII, 588 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings Jiří Wiedermann ... (eds.) Berlin [u.a.] Springer 1995 XIII, 588 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 969 Fundamentele informatica gtt Informatique - Mathématiques - Congrès ram calcul formel inriac calcul réparti inriac concurrence inriac contrôle modèle inriac graphe inriac informatique théorique inriac langage formel inriac réécriture inriac sémantique inriac théorie complexité inriac théorie type inriac unification inriac Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Prag gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Wiedermann, Jiří 1948- Sonstige (DE-588)135879396 oth MFCS 20 1995 Prag Sonstige (DE-588)2148719-4 oth Lecture notes in computer science 969 (DE-604)BV000000607 969 |
| spellingShingle | Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings Lecture notes in computer science Fundamentele informatica gtt Informatique - Mathématiques - Congrès ram calcul formel inriac calcul réparti inriac concurrence inriac contrôle modèle inriac graphe inriac informatique théorique inriac langage formel inriac réécriture inriac sémantique inriac théorie complexité inriac théorie type inriac unification inriac Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)1071861417 |
| title | Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings |
| title_auth | Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings |
| title_exact_search | Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings |
| title_full | Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings Jiří Wiedermann ... (eds.) |
| title_fullStr | Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings Jiří Wiedermann ... (eds.) |
| title_full_unstemmed | Mathematical foundations of computer science 1995 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings Jiří Wiedermann ... (eds.) |
| title_short | Mathematical foundations of computer science 1995 |
| title_sort | mathematical foundations of computer science 1995 20th international symposium mfcs 95 prague czech republic august 28 september 1 1995 proceedings |
| title_sub | 20th international symposium, MFCS '95, Prague, Czech Republic, August 28 - September 1, 1995 ; proceedings |
| topic | Fundamentele informatica gtt Informatique - Mathématiques - Congrès ram calcul formel inriac calcul réparti inriac concurrence inriac contrôle modèle inriac graphe inriac informatique théorique inriac langage formel inriac réécriture inriac sémantique inriac théorie complexité inriac théorie type inriac unification inriac Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Fundamentele informatica Informatique - Mathématiques - Congrès calcul formel calcul réparti concurrence contrôle modèle graphe informatique théorique langage formel réécriture sémantique théorie complexité théorie type unification Informatik Mathematik Computer science -- Mathematics -- Congresses Theoretische Informatik Konferenzschrift 1995 Prag |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT wiedermannjiri mathematicalfoundationsofcomputerscience199520thinternationalsymposiummfcs95pragueczechrepublicaugust28september11995proceedings AT mfcsprag mathematicalfoundationsofcomputerscience199520thinternationalsymposiummfcs95pragueczechrepublicaugust28september11995proceedings |