1st Summit on Advances in Programming Languages (SNAPL 2015): SNAPL’15, May 3–6, 2015, Asilomar, California, US
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Wadern
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
2015
|
| Schriftenreihe: | LIPIcs - Leibniz International Proceedings in Informatics
Volume 32 |
| Schlagworte: | |
| Online-Zugang: | Volltext kostenfrei kostenfrei kostenfrei |
| Beschreibung: | 1 Online-Ressource |
| ISBN: | 9783939897804 |
Internformat
MARC
| LEADER | 00000nmm a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV043995054 | ||
| 003 | DE-604 | ||
| 005 | 20170314 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170112s2015 |||| o||u| ||||||eng d | ||
| 015 | |a 15,O06 |2 dnb | ||
| 016 | 7 | |a 1071082086 |2 DE-101 | |
| 020 | |a 9783939897804 |c Online |9 978-3-939897-80-4 | ||
| 024 | 7 | |a urn:nbn:de:0030-drops-50356 |2 urn | |
| 035 | |a (OCoLC)969591307 | ||
| 035 | |a (DE-599)DNB1071082086 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a Summit on Advances in Programming Languages |n 1. |d 2015 |c Asilomar, Calif. |j Verfasser |0 (DE-588)1123220611 |4 aut | |
| 245 | 1 | 0 | |a 1st Summit on Advances in Programming Languages (SNAPL 2015) |b SNAPL’15, May 3–6, 2015, Asilomar, California, US |c Edited by Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett |
| 246 | 1 | 3 | |a Summit on Advances in Programming Languages (SNAPL 2015) |
| 246 | 1 | 3 | |a First Summit on Advances in Programming Languages (SNAPL 2015) |
| 264 | 1 | |a Wadern |b Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |c 2015 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 340 | |a Online-Ressource | ||
| 490 | 1 | |a LIPIcs - Leibniz International Proceedings in Informatics |v Volume 32 | |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |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 | |5 DE-604 | |
| 700 | 1 | |a Ball, Thomas |4 edt | |
| 700 | 1 | |a Bodik, Rastislav |4 edt | |
| 700 | 1 | |a Krishnamurthi, Shriram |4 edt | |
| 700 | 1 | |a Lerner, Benjamin S. |4 edt | |
| 700 | 1 | |a Morrisett, Greg |4 edt | |
| 830 | 0 | |a LIPIcs - Leibniz International Proceedings in Informatics |v Volume 32 |w (DE-604)BV039164160 |9 32 | |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-50356 |x Resolving-System |3 Volltext |
| 856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:0030-drops-50356 |x Resolving-System |z kostenfrei |
| 856 | 4 | 0 | |u http://d-nb.info/1071082086/34 |x Langzeitarchivierung Nationalbibliothek |z kostenfrei |
| 856 | 4 | 0 | |u http://www.dagstuhl.de/dagpub/978-3-939897-80-4 |x Verlag |z kostenfrei |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029403145 | ||
Datensatz im Suchindex
| _version_ | 1804176972152045568 |
|---|---|
| any_adam_object | |
| author2 | Ball, Thomas Bodik, Rastislav Krishnamurthi, Shriram Lerner, Benjamin S. Morrisett, Greg |
| author2_role | edt edt edt edt edt |
| author2_variant | t b tb r b rb s k sk b s l bs bsl g m gm |
| author_corporate | Summit on Advances in Programming Languages Asilomar, Calif |
| author_corporate_role | aut |
| author_facet | Ball, Thomas Bodik, Rastislav Krishnamurthi, Shriram Lerner, Benjamin S. Morrisett, Greg Summit on Advances in Programming Languages Asilomar, Calif |
| author_sort | Summit on Advances in Programming Languages Asilomar, Calif |
| building | Verbundindex |
| bvnumber | BV043995054 |
| classification_tum | DAT 350f |
| collection | ebook |
| ctrlnum | (OCoLC)969591307 (DE-599)DNB1071082086 |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02394nmm a22005531cb4500</leader><controlfield tag="001">BV043995054</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170314 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170112s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,O06</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1071082086</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783939897804</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-939897-80-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:0030-drops-50356</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)969591307</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1071082086</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Summit on Advances in Programming Languages</subfield><subfield code="n">1.</subfield><subfield code="d">2015</subfield><subfield code="c">Asilomar, Calif.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1123220611</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">1st Summit on Advances in Programming Languages (SNAPL 2015)</subfield><subfield code="b">SNAPL’15, May 3–6, 2015, Asilomar, California, US</subfield><subfield code="c">Edited by Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Summit on Advances in Programming Languages (SNAPL 2015)</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">First Summit on Advances in Programming Languages (SNAPL 2015)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wadern</subfield><subfield code="b">Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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="340" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">LIPIcs - Leibniz International Proceedings in Informatics</subfield><subfield code="v">Volume 32</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="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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ball, Thomas</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bodik, Rastislav</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krishnamurthi, Shriram</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lerner, Benjamin S.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Morrisett, Greg</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">LIPIcs - Leibniz International Proceedings in Informatics</subfield><subfield code="v">Volume 32</subfield><subfield code="w">(DE-604)BV039164160</subfield><subfield code="9">32</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-50356</subfield><subfield code="x">Resolving-System</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:0030-drops-50356</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://d-nb.info/1071082086/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.dagstuhl.de/dagpub/978-3-939897-80-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029403145</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043995054 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:40:40Z |
| institution | BVB |
| institution_GND | (DE-588)1123220611 |
| isbn | 9783939897804 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029403145 |
| oclc_num | 969591307 |
| open_access_boolean | 1 |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource |
| psigel | ebook |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH |
| record_format | marc |
| series | LIPIcs - Leibniz International Proceedings in Informatics |
| series2 | LIPIcs - Leibniz International Proceedings in Informatics |
| spelling | Summit on Advances in Programming Languages 1. 2015 Asilomar, Calif. Verfasser (DE-588)1123220611 aut 1st Summit on Advances in Programming Languages (SNAPL 2015) SNAPL’15, May 3–6, 2015, Asilomar, California, US Edited by Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett Summit on Advances in Programming Languages (SNAPL 2015) First Summit on Advances in Programming Languages (SNAPL 2015) Wadern Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH 2015 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Online-Ressource LIPIcs - Leibniz International Proceedings in Informatics Volume 32 Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Programmiersprache (DE-588)4047409-4 s DE-604 Ball, Thomas edt Bodik, Rastislav edt Krishnamurthi, Shriram edt Lerner, Benjamin S. edt Morrisett, Greg edt LIPIcs - Leibniz International Proceedings in Informatics Volume 32 (DE-604)BV039164160 32 https://nbn-resolving.org/urn:nbn:de:0030-drops-50356 Resolving-System Volltext https://nbn-resolving.org/urn:nbn:de:0030-drops-50356 Resolving-System kostenfrei http://d-nb.info/1071082086/34 Langzeitarchivierung Nationalbibliothek kostenfrei http://www.dagstuhl.de/dagpub/978-3-939897-80-4 Verlag kostenfrei |
| spellingShingle | 1st Summit on Advances in Programming Languages (SNAPL 2015) SNAPL’15, May 3–6, 2015, Asilomar, California, US LIPIcs - Leibniz International Proceedings in Informatics Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)1071861417 |
| title | 1st Summit on Advances in Programming Languages (SNAPL 2015) SNAPL’15, May 3–6, 2015, Asilomar, California, US |
| title_alt | Summit on Advances in Programming Languages (SNAPL 2015) First Summit on Advances in Programming Languages (SNAPL 2015) |
| title_auth | 1st Summit on Advances in Programming Languages (SNAPL 2015) SNAPL’15, May 3–6, 2015, Asilomar, California, US |
| title_exact_search | 1st Summit on Advances in Programming Languages (SNAPL 2015) SNAPL’15, May 3–6, 2015, Asilomar, California, US |
| title_full | 1st Summit on Advances in Programming Languages (SNAPL 2015) SNAPL’15, May 3–6, 2015, Asilomar, California, US Edited by Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett |
| title_fullStr | 1st Summit on Advances in Programming Languages (SNAPL 2015) SNAPL’15, May 3–6, 2015, Asilomar, California, US Edited by Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett |
| title_full_unstemmed | 1st Summit on Advances in Programming Languages (SNAPL 2015) SNAPL’15, May 3–6, 2015, Asilomar, California, US Edited by Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett |
| title_short | 1st Summit on Advances in Programming Languages (SNAPL 2015) |
| title_sort | 1st summit on advances in programming languages snapl 2015 snapl 15 may 3 6 2015 asilomar california us |
| title_sub | SNAPL’15, May 3–6, 2015, Asilomar, California, US |
| topic | Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Programmiersprache Konferenzschrift |
| url | https://nbn-resolving.org/urn:nbn:de:0030-drops-50356 http://d-nb.info/1071082086/34 http://www.dagstuhl.de/dagpub/978-3-939897-80-4 |
| volume_link | (DE-604)BV039164160 |
| work_keys_str_mv | AT summitonadvancesinprogramminglanguagesasilomarcalif 1stsummitonadvancesinprogramminglanguagessnapl2015snapl15may362015asilomarcaliforniaus AT ballthomas 1stsummitonadvancesinprogramminglanguagessnapl2015snapl15may362015asilomarcaliforniaus AT bodikrastislav 1stsummitonadvancesinprogramminglanguagessnapl2015snapl15may362015asilomarcaliforniaus AT krishnamurthishriram 1stsummitonadvancesinprogramminglanguagessnapl2015snapl15may362015asilomarcaliforniaus AT lernerbenjamins 1stsummitonadvancesinprogramminglanguagessnapl2015snapl15may362015asilomarcaliforniaus AT morrisettgreg 1stsummitonadvancesinprogramminglanguagessnapl2015snapl15may362015asilomarcaliforniaus AT summitonadvancesinprogramminglanguagesasilomarcalif summitonadvancesinprogramminglanguagessnapl2015 AT ballthomas summitonadvancesinprogramminglanguagessnapl2015 AT bodikrastislav summitonadvancesinprogramminglanguagessnapl2015 AT krishnamurthishriram summitonadvancesinprogramminglanguagessnapl2015 AT lernerbenjamins summitonadvancesinprogramminglanguagessnapl2015 AT morrisettgreg summitonadvancesinprogramminglanguagessnapl2015 AT summitonadvancesinprogramminglanguagesasilomarcalif firstsummitonadvancesinprogramminglanguagessnapl2015 AT ballthomas firstsummitonadvancesinprogramminglanguagessnapl2015 AT bodikrastislav firstsummitonadvancesinprogramminglanguagessnapl2015 AT krishnamurthishriram firstsummitonadvancesinprogramminglanguagessnapl2015 AT lernerbenjamins firstsummitonadvancesinprogramminglanguagessnapl2015 AT morrisettgreg firstsummitonadvancesinprogramminglanguagessnapl2015 |