Semantics: foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1993
|
| Series: | Lecture notes in computer science
666 |
| Subjects: | |
| Physical Description: | VIII, 659 S. |
| ISBN: | 3540565965 0387565965 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006495567 | ||
| 003 | DE-604 | ||
| 005 | 20090213 | ||
| 007 | t| | ||
| 008 | 930301s1993 gw |||| 10||| eng d | ||
| 020 | |a 3540565965 |9 3-540-56596-5 | ||
| 020 | |a 0387565965 |9 0-387-56596-5 | ||
| 035 | |a (OCoLC)27728028 | ||
| 035 | |a (DE-599)BVBBV006495567 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-739 |a DE-91G |a DE-384 |a DE-20 |a DE-19 |a DE-634 |a DE-11 |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a DAT 557f |2 stub | ||
| 245 | 1 | 0 | |a Semantics |b foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings |c J. W. de Bakker ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1993 | |
| 300 | |a VIII, 659 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 666 | |
| 650 | 4 | |a Langages de programmation - Sémantique - Congrès | |
| 650 | 7 | |a Langages de programmation - Sémantique - Congrès |2 ram | |
| 650 | 7 | |a Parallélisme (informatique) - Congrès |2 ram | |
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 7 | |a Semantiek |2 gtt | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a raffinement |2 inriac | |
| 650 | 7 | |a système information |2 inriac | |
| 650 | 7 | |a sémantique langage programmation |2 inriac | |
| 650 | 7 | |a sémantique opérationnelle |2 inriac | |
| 650 | 7 | |a théorie catégorie |2 inriac | |
| 650 | 7 | |a théorie domaine |2 inriac | |
| 650 | 4 | |a Semantik | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics |v Congresses | |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Beekbergen |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bakker, Jacobus W. de |d 1939-2012 |e Sonstige |0 (DE-588)1047965461 |4 oth | |
| 711 | 2 | |a REX Workshop |d 1992 |c Beekbergen |j Sonstige |0 (DE-588)2128155-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 666 |w (DE-604)BV000000607 |9 666 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004130711 | |
Record in the Search Index
| _version_ | 1820874839461724160 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1047965461 |
| building | Verbundindex |
| bvnumber | BV006495567 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 557f |
| ctrlnum | (OCoLC)27728028 (DE-599)BVBBV006495567 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| 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 a2200000 cb4500</leader><controlfield tag="001">BV006495567</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090213</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930301s1993 gw |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540565965</subfield><subfield code="9">3-540-56596-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387565965</subfield><subfield code="9">0-387-56596-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27728028</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006495567</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantics</subfield><subfield code="b">foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings</subfield><subfield code="c">J. W. de Bakker ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 659 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">666</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Sémantique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Sémantique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallélisme (informatique) - 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">Semantiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul prédicat</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">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raffinement</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système information</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">sémantique opérationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie catégorie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie domaine</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">1992</subfield><subfield code="z">Beekbergen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</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">Bakker, Jacobus W. de</subfield><subfield code="d">1939-2012</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1047965461</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">REX Workshop</subfield><subfield code="d">1992</subfield><subfield code="c">Beekbergen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2128155-5</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">666</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">666</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004130711</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Beekbergen gnd-content |
| genre_facet | Konferenzschrift 1992 Beekbergen |
| id | DE-604.BV006495567 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:07Z |
| institution | BVB |
| institution_GND | (DE-588)2128155-5 |
| isbn | 3540565965 0387565965 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004130711 |
| oclc_num | 27728028 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-384 DE-20 DE-19 DE-BY-UBM DE-634 DE-11 DE-706 DE-83 DE-188 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-384 DE-20 DE-19 DE-BY-UBM DE-634 DE-11 DE-706 DE-83 DE-188 |
| physical | VIII, 659 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Semantics foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings J. W. de Bakker ... (eds.) Berlin [u.a.] Springer 1993 VIII, 659 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 666 Langages de programmation - Sémantique - Congrès Langages de programmation - Sémantique - Congrès ram Parallélisme (informatique) - Congrès ram Programmeertalen gtt Semantiek gtt calcul prédicat inriac concurrence inriac programmation en logique inriac programmation fonctionnelle inriac raffinement inriac système information inriac sémantique langage programmation inriac sémantique opérationnelle inriac théorie catégorie inriac théorie domaine inriac Semantik Programming languages (Electronic computers) Semantics Congresses Semantik (DE-588)4054490-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Beekbergen gnd-content Programmiersprache (DE-588)4047409-4 s Semantik (DE-588)4054490-4 s DE-604 Bakker, Jacobus W. de 1939-2012 Sonstige (DE-588)1047965461 oth REX Workshop 1992 Beekbergen Sonstige (DE-588)2128155-5 oth Lecture notes in computer science 666 (DE-604)BV000000607 666 |
| spellingShingle | Semantics foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings Lecture notes in computer science Langages de programmation - Sémantique - Congrès Langages de programmation - Sémantique - Congrès ram Parallélisme (informatique) - Congrès ram Programmeertalen gtt Semantiek gtt calcul prédicat inriac concurrence inriac programmation en logique inriac programmation fonctionnelle inriac raffinement inriac système information inriac sémantique langage programmation inriac sémantique opérationnelle inriac théorie catégorie inriac théorie domaine inriac Semantik Programming languages (Electronic computers) Semantics Congresses Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Semantics foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings |
| title_auth | Semantics foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings |
| title_exact_search | Semantics foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings |
| title_full | Semantics foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings J. W. de Bakker ... (eds.) |
| title_fullStr | Semantics foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings J. W. de Bakker ... (eds.) |
| title_full_unstemmed | Semantics foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings J. W. de Bakker ... (eds.) |
| title_short | Semantics |
| title_sort | semantics foundations and applications rex workshop beekbergen the netherlands june 1 4 1992 proceedings |
| title_sub | foundations and applications ; REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 ; proceedings |
| topic | Langages de programmation - Sémantique - Congrès Langages de programmation - Sémantique - Congrès ram Parallélisme (informatique) - Congrès ram Programmeertalen gtt Semantiek gtt calcul prédicat inriac concurrence inriac programmation en logique inriac programmation fonctionnelle inriac raffinement inriac système information inriac sémantique langage programmation inriac sémantique opérationnelle inriac théorie catégorie inriac théorie domaine inriac Semantik Programming languages (Electronic computers) Semantics Congresses Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Langages de programmation - Sémantique - Congrès Parallélisme (informatique) - Congrès Programmeertalen Semantiek calcul prédicat concurrence programmation en logique programmation fonctionnelle raffinement système information sémantique langage programmation sémantique opérationnelle théorie catégorie théorie domaine Semantik Programming languages (Electronic computers) Semantics Congresses Programmiersprache Konferenzschrift 1992 Beekbergen |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bakkerjacobuswde semanticsfoundationsandapplicationsrexworkshopbeekbergenthenetherlandsjune141992proceedings AT rexworkshopbeekbergen semanticsfoundationsandapplicationsrexworkshopbeekbergenthenetherlandsjune141992proceedings |