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
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Lecture notes in computer science
6012 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Volltext Buchcover |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (XV, 632 S.) graph. Darst. |
| ISBN: | 9783642119569 9783642119576 |
| DOI: | 10.1007/978-3-642-11957-6 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036121963 | ||
| 003 | DE-604 | ||
| 005 | 20110504 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 100414s2010 xx d||| o|||| 10||| eng d | ||
| 020 | |a 9783642119569 |9 978-3-642-11956-9 | ||
| 020 | |a 9783642119576 |c Online |9 978-3-642-11957-6 | ||
| 024 | 7 | |a 10.1007/978-3-642-11957-6 |2 doi | |
| 035 | |a (OCoLC)614438915 | ||
| 035 | |a (DE-599)BVBBV036121963 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-19 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-20 |a DE-703 |a DE-634 |a DE-355 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.13 |2 22//ger | |
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 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.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a 1 Online-Ressource (XV, 632 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6012 : Advanced research in computing and software science | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierparadigma |0 (DE-588)4308224-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 2010 |z Paphos Ktima |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 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierparadigma |0 (DE-588)4308224-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Gordon, Andrew D. |d 1964- |e Sonstige |0 (DE-588)133694844 |4 oth | |
| 711 | 2 | |a ESOP |n 19 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059994-5 |4 oth | |
| 711 | 2 | |a ETAPS |n 13 |d 2010 |c Paphos |j Sonstige |0 (DE-588)16059897-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 6012 : Advanced research in computing and software science |w (DE-604)BV014880109 |9 6012 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-11957-6 |x Verlag |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=019011927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Buchcover |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q UBR Paketkauf 2024 | |
| 940 | 1 | |q ZDB-2-SCS_2010 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-019011927 | |
Datensatz im Suchindex
| _version_ | 1821304975384379392 |
|---|---|
| adam_text | |
| any_adam_object | 1 |
| author_GND | (DE-588)133694844 |
| building | Verbundindex |
| bvnumber | BV036121963 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f DAT 000 |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)614438915 (DE-599)BVBBV036121963 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-11957-6 |
| format | Electronic Conference Proceeding eBook |
| 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">BV036121963</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110504</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">100414s2010 xx d||| o|||| 10||| eng d</controlfield><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">9783642119576</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-11957-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-11957-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)614438915</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036121963</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-473</subfield><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><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</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">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="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</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 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">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">6012 : Advanced research in computing and software science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="v">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">Programmierparadigma</subfield><subfield code="0">(DE-588)4308224-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">2010</subfield><subfield code="z">Paphos Ktima</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="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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gordon, Andrew D.</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)133694844</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ESOP</subfield><subfield code="n">19</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059994-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">13</subfield><subfield code="d">2010</subfield><subfield code="c">Paphos</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16059897-7</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">6012 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">6012</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-11957-6</subfield><subfield code="x">Verlag</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=019011927&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-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">UBR Paketkauf 2024</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2010</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-019011927</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content |
| genre_facet | Konferenzschrift 2010 Paphos Ktima |
| id | DE-604.BV036121963 |
| illustrated | Illustrated |
| indexdate | 2025-01-15T09:02:57Z |
| institution | BVB |
| institution_GND | (DE-588)16059994-5 (DE-588)16059897-7 |
| isbn | 9783642119569 9783642119576 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-019011927 |
| oclc_num | 614438915 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-20 DE-703 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-20 DE-703 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XV, 632 S.) graph. Darst. |
| psigel | ZDB-2-LNC ZDB-2-SCS UBR Paketkauf 2024 ZDB-2-SCS_2010 |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | 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.) Berlin [u.a.] Springer 2010 1 Online-Ressource (XV, 632 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 6012 : Advanced research in computing and software science Literaturangaben Computer programming Congresses Programming languages (Electronic computers) Congresses Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmierparadigma (DE-588)4308224-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Paphos Ktima gnd-content Programmiersprache (DE-588)4047409-4 s Formale Methode (DE-588)4333722-3 s DE-604 Programmierparadigma (DE-588)4308224-5 s Gordon, Andrew D. 1964- Sonstige (DE-588)133694844 oth ESOP 19 2010 Paphos Sonstige (DE-588)16059994-5 oth ETAPS 13 2010 Paphos Sonstige (DE-588)16059897-7 oth Lecture notes in computer science 6012 : Advanced research in computing and software science (DE-604)BV014880109 6012 https://doi.org/10.1007/978-3-642-11957-6 Verlag Volltext SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019011927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Buchcover |
| 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 Lecture notes in computer science Computer programming Congresses Programming languages (Electronic computers) Congresses Formale Methode (DE-588)4333722-3 gnd Programmierparadigma (DE-588)4308224-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4308224-5 (DE-588)4047409-4 (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_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 Programmierparadigma (DE-588)4308224-5 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Computer programming Congresses Programming languages (Electronic computers) Congresses Formale Methode Programmierparadigma Programmiersprache Konferenzschrift 2010 Paphos Ktima |
| url | https://doi.org/10.1007/978-3-642-11957-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=019011927&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT gordonandrewd programminglanguagesandsystems19theuropeansymposiumonprogrammingesop2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT esoppaphos programminglanguagesandsystems19theuropeansymposiumonprogrammingesop2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT etapspaphos programminglanguagesandsystems19theuropeansymposiumonprogrammingesop2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings |