Programming languages and systems: 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2000
|
| Schriftenreihe: | Lecture notes in computer science
1782 |
| Schlagworte: | |
| Online-Zugang: | DE-91 DE-384 DE-19 DE-706 DE-739 Volltext |
| Beschreibung: | Literaturangaben. |
| Beschreibung: | 1 Online-Ressource (XIII, 428 S.) |
| ISBN: | 3540672621 9783540672623 |
| DOI: | 10.1007/3-540-46425-5 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV035093311 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 081010s2000 gw o|||| 10||| eng d | ||
| 020 | |a 3540672621 |9 3-540-67262-1 | ||
| 020 | |a 9783540672623 |9 978-3-540-67262-3 | ||
| 024 | 7 | |a 10.1007/3-540-46425-5 |2 doi | |
| 035 | |a (OCoLC)699839935 | ||
| 035 | |a (DE-599)BVBBV035093311 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-91 |a DE-706 |a DE-739 |a DE-384 | ||
| 084 | |a DAT 300f |2 stub | ||
| 245 | 1 | 0 | |a Programming languages and systems |b 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |c Gert Smolka (ed.) |
| 246 | 1 | 3 | |a ESOP 2000 |
| 246 | 1 | 3 | |a ETAPS 2000 |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2000 | |
| 300 | |a 1 Online-Ressource (XIII, 428 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1782 | |
| 500 | |a Literaturangaben. | ||
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |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 2000 |z Berlin |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Smolka, Gert |d 1955- |e Sonstige |0 (DE-588)12182859X |4 oth | |
| 711 | 2 | |a ESOP |n 9 |d 2000 |c Berlin |j Sonstige |0 (DE-588)2182053-3 |4 oth | |
| 711 | 2 | |a ETAPS |n 3 |d 2000 |c Berlin |j Sonstige |0 (DE-588)2182054-5 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1782 |w (DE-604)BV014880109 |9 1782 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/3-540-46425-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016761393 | |
| 966 | e | |u https://doi.org/10.1007/3-540-46425-5 |l DE-91 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-46425-5 |l DE-384 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-46425-5 |l DE-19 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-46425-5 |l DE-706 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/3-540-46425-5 |l DE-739 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1820875077237866496 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author_GND | (DE-588)12182859X |
| building | Verbundindex |
| bvnumber | BV035093311 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 300f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)699839935 (DE-599)BVBBV035093311 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/3-540-46425-5 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV035093311</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">081010s2000 gw o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540672621</subfield><subfield code="9">3-540-67262-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540672623</subfield><subfield code="9">978-3-540-67262-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-46425-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699839935</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035093311</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-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 300f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings</subfield><subfield code="c">Gert Smolka (ed.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ESOP 2000</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ETAPS 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 428 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">1782</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">2000</subfield><subfield code="z">Berlin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Smolka, Gert</subfield><subfield code="d">1955-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12182859X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">9</subfield><subfield code="d">2000</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2182053-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">3</subfield><subfield code="d">2000</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2182054-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">1782</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1782</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-46425-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016761393</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-46425-5</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-46425-5</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-46425-5</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-46425-5</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-46425-5</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Berlin gnd-content |
| genre_facet | Konferenzschrift 2000 Berlin |
| id | DE-604.BV035093311 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T22:11:22Z |
| indexdate | 2025-01-10T15:09:54Z |
| institution | BVB |
| institution_GND | (DE-588)2182053-3 (DE-588)2182054-5 |
| isbn | 3540672621 9783540672623 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016761393 |
| oclc_num | 699839935 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 |
| owner_facet | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 |
| physical | 1 Online-Ressource (XIII, 428 S.) |
| psigel | ZDB-2-LNC |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Gert Smolka (ed.) ESOP 2000 ETAPS 2000 Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000 1 Online-Ressource (XIII, 428 S.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1782 Literaturangaben. Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Berlin gnd-content Programmierung (DE-588)4076370-5 s DE-604 Programmiersprache (DE-588)4047409-4 s Softwarespezifikation (DE-588)4056186-0 s Smolka, Gert 1955- Sonstige (DE-588)12182859X oth ESOP 9 2000 Berlin Sonstige (DE-588)2182053-3 oth ETAPS 3 2000 Berlin Sonstige (DE-588)2182054-5 oth Lecture notes in computer science 1782 (DE-604)BV014880109 1782 https://doi.org/10.1007/3-540-46425-5 Verlag Volltext |
| spellingShingle | Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Lecture notes in computer science Softwarespezifikation (DE-588)4056186-0 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4056186-0 (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |
| title_alt | ESOP 2000 ETAPS 2000 |
| title_auth | Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |
| title_exact_search | Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |
| title_exact_search_txtP | Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |
| title_full | Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Gert Smolka (ed.) |
| title_fullStr | Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Gert Smolka (ed.) |
| title_full_unstemmed | Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings Gert Smolka (ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 9th european symposium on programming esop 2000 held as part of the joint european conferences on theory and practice of software etaps 2000 berlin germany march 25 april 2 2000 proceedings |
| title_sub | 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 ; proceedings |
| topic | Softwarespezifikation (DE-588)4056186-0 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Softwarespezifikation Programmierung Programmiersprache Konferenzschrift 2000 Berlin |
| url | https://doi.org/10.1007/3-540-46425-5 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT smolkagert programminglanguagesandsystems9theuropeansymposiumonprogrammingesop2000heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2000berlingermanymarch25april22000proceedings AT esopberlin programminglanguagesandsystems9theuropeansymposiumonprogrammingesop2000heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2000berlingermanymarch25april22000proceedings AT etapsberlin programminglanguagesandsystems9theuropeansymposiumonprogrammingesop2000heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2000berlingermanymarch25april22000proceedings AT smolkagert esop2000 AT esopberlin esop2000 AT etapsberlin esop2000 AT smolkagert etaps2000 AT esopberlin etaps2000 AT etapsberlin etaps2000 |