Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011:
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
Elsevier
November 2015
|
| Schriftenreihe: | Science of computer programming
volume 111, part 3 |
| Schlagworte: | |
| Beschreibung: | Angabe aus dem Vorwort: Selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (colocated with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium) |
| Beschreibung: | Seiten 363-534 Diagramme |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042974438 | ||
| 003 | DE-604 | ||
| 005 | 20151104 | ||
| 007 | t | ||
| 008 | 151102s2015 |||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)932815061 | ||
| 035 | |a (DE-599)GBV83724773X | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 | ||
| 111 | 2 | |a FOPARA |n 2 |d 2011 |c Madrid |j Verfasser |0 (DE-588)1024758958 |4 aut | |
| 245 | 1 | 0 | |a Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 |c guest editors: Olha Shkaravska, Simona Ronchi Della Rocca, Marko van Eekelen |
| 246 | 1 | 3 | |a Special issue on foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 |
| 246 | 1 | 3 | |a Selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (colocated with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium) |
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c November 2015 | |
| 300 | |a Seiten 363-534 |b Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Science of computer programming |v volume 111, part 3 | |
| 500 | |a Angabe aus dem Vorwort: Selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (colocated with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium) | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Shkaravska, Olha |4 edt | |
| 700 | 1 | |a Ronchi della Rocca, Simona |4 edt | |
| 700 | 1 | |a Eekelen, Marko van |4 edt | |
| 711 | 2 | |a FOPARA |n 1 |d 2009 |c Eindhoven |j Verfasser |0 (DE-588)16082474-6 |4 aut | |
| 830 | 0 | |a Science of computer programming |v volume 111, part 3 |w (DE-604)BV002583129 |9 111,3 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028400156 | ||
Datensatz im Suchindex
| _version_ | 1804175306245799936 |
|---|---|
| any_adam_object | |
| author2 | Shkaravska, Olha Ronchi della Rocca, Simona Eekelen, Marko van |
| author2_role | edt edt edt |
| author2_variant | o s os d r s r drs drsr m v e mv mve |
| author_corporate | FOPARA Madrid FOPARA |
| author_corporate_role | aut aut |
| author_facet | Shkaravska, Olha Ronchi della Rocca, Simona Eekelen, Marko van FOPARA Madrid FOPARA |
| author_sort | FOPARA Madrid |
| building | Verbundindex |
| bvnumber | BV042974438 |
| ctrlnum | (OCoLC)932815061 (DE-599)GBV83724773X |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02103nam a2200361 cb4500</leader><controlfield tag="001">BV042974438</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151104 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">151102s2015 |||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)932815061</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV83724773X</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-384</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FOPARA</subfield><subfield code="n">2</subfield><subfield code="d">2011</subfield><subfield code="c">Madrid</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1024758958</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011</subfield><subfield code="c">guest editors: Olha Shkaravska, Simona Ronchi Della Rocca, Marko van Eekelen</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Special issue on foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (colocated with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">November 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Seiten 363-534</subfield><subfield code="b">Diagramme</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">Science of computer programming</subfield><subfield code="v">volume 111, part 3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Angabe aus dem Vorwort: Selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (colocated with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium)</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="700" ind1="1" ind2=" "><subfield code="a">Shkaravska, Olha</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ronchi della Rocca, Simona</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Eekelen, Marko van</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOPARA</subfield><subfield code="n">1</subfield><subfield code="d">2009</subfield><subfield code="c">Eindhoven</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16082474-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Science of computer programming</subfield><subfield code="v">volume 111, part 3</subfield><subfield code="w">(DE-604)BV002583129</subfield><subfield code="9">111,3</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028400156</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042974438 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:14:11Z |
| institution | BVB |
| institution_GND | (DE-588)1024758958 (DE-588)16082474-6 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028400156 |
| oclc_num | 932815061 |
| open_access_boolean | |
| owner | DE-384 |
| owner_facet | DE-384 |
| physical | Seiten 363-534 Diagramme |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Elsevier |
| record_format | marc |
| series | Science of computer programming |
| series2 | Science of computer programming |
| spelling | FOPARA 2 2011 Madrid Verfasser (DE-588)1024758958 aut Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 guest editors: Olha Shkaravska, Simona Ronchi Della Rocca, Marko van Eekelen Special issue on foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 Selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (colocated with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium) Amsterdam [u.a.] Elsevier November 2015 Seiten 363-534 Diagramme txt rdacontent n rdamedia nc rdacarrier Science of computer programming volume 111, part 3 Angabe aus dem Vorwort: Selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (colocated with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium) (DE-588)1071861417 Konferenzschrift gnd-content Shkaravska, Olha edt Ronchi della Rocca, Simona edt Eekelen, Marko van edt FOPARA 1 2009 Eindhoven Verfasser (DE-588)16082474-6 aut Science of computer programming volume 111, part 3 (DE-604)BV002583129 111,3 |
| spellingShingle | Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 Science of computer programming |
| subject_GND | (DE-588)1071861417 |
| title | Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 |
| title_alt | Special issue on foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 Selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (colocated with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium) |
| title_auth | Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 |
| title_exact_search | Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 |
| title_full | Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 guest editors: Olha Shkaravska, Simona Ronchi Della Rocca, Marko van Eekelen |
| title_fullStr | Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 guest editors: Olha Shkaravska, Simona Ronchi Della Rocca, Marko van Eekelen |
| title_full_unstemmed | Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 guest editors: Olha Shkaravska, Simona Ronchi Della Rocca, Marko van Eekelen |
| title_short | Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011 |
| title_sort | foundational and practical aspects of resource analysis fopara 2009 2011 |
| topic_facet | Konferenzschrift |
| volume_link | (DE-604)BV002583129 |
| work_keys_str_mv | AT foparamadrid foundationalandpracticalaspectsofresourceanalysisfopara20092011 AT shkaravskaolha foundationalandpracticalaspectsofresourceanalysisfopara20092011 AT ronchidellaroccasimona foundationalandpracticalaspectsofresourceanalysisfopara20092011 AT eekelenmarkovan foundationalandpracticalaspectsofresourceanalysisfopara20092011 AT foparaeindhoven foundationalandpracticalaspectsofresourceanalysisfopara20092011 AT foparamadrid specialissueonfoundationalandpracticalaspectsofresourceanalysisfopara20092011 AT shkaravskaolha specialissueonfoundationalandpracticalaspectsofresourceanalysisfopara20092011 AT ronchidellaroccasimona specialissueonfoundationalandpracticalaspectsofresourceanalysisfopara20092011 AT eekelenmarkovan specialissueonfoundationalandpracticalaspectsofresourceanalysisfopara20092011 AT foparaeindhoven specialissueonfoundationalandpracticalaspectsofresourceanalysisfopara20092011 AT foparamadrid selectedarticlesfromthesecondeditionoftheworkshopfoundationalandpracticalaspectsofresourceanalysisfoparawhichwasheldinmadridmay192011colocatedwiththe12thtrendsinfunctionalprogrammingsymposiumandthefirsteditionheldineindhoveninjune2009asasatelliteeventofth AT shkaravskaolha selectedarticlesfromthesecondeditionoftheworkshopfoundationalandpracticalaspectsofresourceanalysisfoparawhichwasheldinmadridmay192011colocatedwiththe12thtrendsinfunctionalprogrammingsymposiumandthefirsteditionheldineindhoveninjune2009asasatelliteeventofth AT ronchidellaroccasimona selectedarticlesfromthesecondeditionoftheworkshopfoundationalandpracticalaspectsofresourceanalysisfoparawhichwasheldinmadridmay192011colocatedwiththe12thtrendsinfunctionalprogrammingsymposiumandthefirsteditionheldineindhoveninjune2009asasatelliteeventofth AT eekelenmarkovan selectedarticlesfromthesecondeditionoftheworkshopfoundationalandpracticalaspectsofresourceanalysisfoparawhichwasheldinmadridmay192011colocatedwiththe12thtrendsinfunctionalprogrammingsymposiumandthefirsteditionheldineindhoveninjune2009asasatelliteeventofth AT foparaeindhoven selectedarticlesfromthesecondeditionoftheworkshopfoundationalandpracticalaspectsofresourceanalysisfoparawhichwasheldinmadridmay192011colocatedwiththe12thtrendsinfunctionalprogrammingsymposiumandthefirsteditionheldineindhoveninjune2009asasatelliteeventofth |