Programming languages and systems: 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin
Springer
2010
|
| Series: | Lecture notes in computer science
6012 Lecture notes in computer science |
| Subjects: | |
| Online Access: | Volltext Buchcover |
| Item Description: | International conference proceedings Includes bibliographical references |
| Physical Description: | 1 Online-Ressource (xv, 632 p.) |
| ISBN: | 9783642119576 3642119573 9783642119569 3642119565 9781280385827 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV041910778 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140612s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 9783642119576 |9 978-3-642-11957-6 | ||
| 020 | |a 3642119573 |9 3-642-11957-3 | ||
| 020 | |a 9783642119569 |9 978-3-642-11956-9 | ||
| 020 | |a 3642119565 |9 3-642-11956-5 | ||
| 020 | |a 9781280385827 |c MyiLibrary |9 978-1-280-38582-7 | ||
| 035 | |a (OCoLC)817074894 | ||
| 035 | |a (DE-599)BVBBV041910778 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 005.1 |2 22 | |
| 110 | 2 | |a European Symposium on Programming < 2010, Paphos, Cyprus> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Programming languages and systems |b 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings |c Andrew D. Gordon (Ed.) |
| 246 | 1 | 3 | |a ESOP 2010 |
| 264 | 1 | |a Berlin |b Springer |c 2010 | |
| 300 | |a 1 Online-Ressource (xv, 632 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Lecture notes in computer science |v 6012 | |
| 490 | 0 | |a Lecture notes in computer science | |
| 500 | |a International conference proceedings | ||
| 500 | |a Includes bibliographical references | ||
| 650 | 4 | |a Computer programming / Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) / Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierparadigma |0 (DE-588)4308224-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierparadigma |0 (DE-588)4308224-5 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Gordon, Andrew D. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://lib.myilibrary.com?id=356374 |x Aggregator |3 Volltext |
| 856 | 4 | 2 | |m SWB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027354446&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Buchcover |
| 912 | |a ZDB-26-MYL | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027354446 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804152273019863040 |
|---|---|
| any_adam_object | 1 |
| author_corporate | European Symposium on Programming < 2010, Paphos, Cyprus> |
| author_corporate_role | aut |
| author_facet | European Symposium on Programming < 2010, Paphos, Cyprus> |
| author_sort | European Symposium on Programming < 2010, Paphos, Cyprus> |
| building | Verbundindex |
| bvnumber | BV041910778 |
| collection | ZDB-26-MYL |
| ctrlnum | (OCoLC)817074894 (DE-599)BVBBV041910778 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02580nmm a2200565zcb4500</leader><controlfield tag="001">BV041910778</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140612s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642119576</subfield><subfield code="9">978-3-642-11957-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642119573</subfield><subfield code="9">3-642-11957-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642119569</subfield><subfield code="9">978-3-642-11956-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642119565</subfield><subfield code="9">3-642-11956-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280385827</subfield><subfield code="c">MyiLibrary</subfield><subfield code="9">978-1-280-38582-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)817074894</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041910778</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">European Symposium on Programming < 2010, Paphos, Cyprus></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programming languages and systems</subfield><subfield code="b">19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings</subfield><subfield code="c">Andrew D. Gordon (Ed.)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">ESOP 2010</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 632 p.)</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="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6012</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">International conference proceedings</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming / Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers) / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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="650" ind1="0" ind2="7"><subfield code="a">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-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="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">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gordon, Andrew D.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://lib.myilibrary.com?id=356374</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027354446&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Buchcover</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-26-MYL</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027354446</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV041910778 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:08:05Z |
| institution | BVB |
| isbn | 9783642119576 3642119573 9783642119569 3642119565 9781280385827 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027354446 |
| oclc_num | 817074894 |
| open_access_boolean | |
| physical | 1 Online-Ressource (xv, 632 p.) |
| psigel | ZDB-26-MYL |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series2 | Lecture notes in computer science |
| spelling | European Symposium on Programming < 2010, Paphos, Cyprus> Verfasser aut Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Andrew D. Gordon (Ed.) ESOP 2010 Berlin Springer 2010 1 Online-Ressource (xv, 632 p.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 6012 Lecture notes in computer science International conference proceedings Includes bibliographical references Computer programming / Congresses Programming languages (Electronic computers) / Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Programmierparadigma (DE-588)4308224-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Programmiersprache (DE-588)4047409-4 s Formale Methode (DE-588)4333722-3 s 1\p DE-604 Programmierparadigma (DE-588)4308224-5 s 2\p DE-604 Gordon, Andrew D. Sonstige oth http://lib.myilibrary.com?id=356374 Aggregator Volltext SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027354446&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Buchcover 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Computer programming / Congresses Programming languages (Electronic computers) / Congresses Formale Methode (DE-588)4333722-3 gnd Programmiersprache (DE-588)4047409-4 gnd Programmierparadigma (DE-588)4308224-5 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4047409-4 (DE-588)4308224-5 (DE-588)1071861417 |
| title | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings |
| title_alt | ESOP 2010 |
| title_auth | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings |
| title_exact_search | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings |
| title_full | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Andrew D. Gordon (Ed.) |
| title_fullStr | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Andrew D. Gordon (Ed.) |
| title_full_unstemmed | Programming languages and systems 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings Andrew D. Gordon (Ed.) |
| title_short | Programming languages and systems |
| title_sort | programming languages and systems 19th european symposium on programming esop 2010 held as part of the joint european conferences on theory and practice of software etaps 2010 paphos cyprus march 20 28 2010 proceedings |
| title_sub | 19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings |
| topic | Computer programming / Congresses Programming languages (Electronic computers) / Congresses Formale Methode (DE-588)4333722-3 gnd Programmiersprache (DE-588)4047409-4 gnd Programmierparadigma (DE-588)4308224-5 gnd |
| topic_facet | Computer programming / Congresses Programming languages (Electronic computers) / Congresses Formale Methode Programmiersprache Programmierparadigma Konferenzschrift |
| url | http://lib.myilibrary.com?id=356374 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027354446&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT europeansymposiumonprogramming2010paphoscyprus programminglanguagesandsystems19theuropeansymposiumonprogrammingesop2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT gordonandrewd programminglanguagesandsystems19theuropeansymposiumonprogrammingesop2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT europeansymposiumonprogramming2010paphoscyprus esop2010 AT gordonandrewd esop2010 |