Foundational and practical aspects of resource analysis: third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham[u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8552 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHM01 FHN01 FKE01 FRO01 TUM01 UBA01 UBG01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (159 S.) 24 cm |
| ISBN: | 9783319124650 9783319124667 |
| DOI: | 10.1007/978-3-319-12466-7 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042208153 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 141126s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319124650 |9 978-3-319-12465-0 | ||
| 020 | |a 9783319124667 |c eISBN |9 978-3-319-12466-7 | ||
| 024 | 7 | |a 10.1007/978-3-319-12466-7 |2 doi | |
| 035 | |a (OCoLC)894710687 | ||
| 035 | |a (DE-599)BVBBV042208153 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 | ||
| 082 | 0 | |a 004 | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 343f |2 stub | ||
| 245 | 1 | 0 | |a Foundational and practical aspects of resource analysis |b third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers |c Ugo Dal Lago ... (eds.) |
| 264 | 1 | |a Cham[u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (159 S.) |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8552 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kostenfunktion |0 (DE-588)4131857-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Ressourcenbeschränktes Maß |0 (DE-588)4636646-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komplexitätsklasse |0 (DE-588)4164913-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2013 |z Bertinoro |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 0 | 2 | |a Komplexitätsklasse |0 (DE-588)4164913-8 |D s |
| 689 | 0 | 3 | |a Ressourcenbeschränktes Maß |0 (DE-588)4636646-5 |D s |
| 689 | 0 | 4 | |a Kostenfunktion |0 (DE-588)4131857-2 |D s |
| 689 | 0 | 5 | |a Abstrakte Interpretation |0 (DE-588)4621153-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Dal Lago, Ugo |e Sonstige |4 oth | |
| 711 | 2 | |a FOPARA |n 3. |d 2013 |c Bertinoro |j Sonstige |0 (DE-588)1062625730 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8552 |w (DE-604)BV014880109 |9 8552 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-12466-7 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027646900&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027646900&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027646900 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l TUM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-12466-7 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804152729459752960 |
|---|---|
| adam_text | FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
CERTIFIED COMPLEXITY (CERCO)
ON THE MODULAR INTEGRATION OF ABSTRACT SEMANTICS FOR WCET ANALYSIS
CAN A LIGHT TYPING DISCIPLINE BE COMPATIBLE WITH AN EFFICIENT
IMPLEMENTATION OF FINITE FIELDS INVERSION?
PROBABILISTIC ANALYSIS OF PROGRAMS: A WEAK LIMIT APPROACH
PREDICATIVE LEXICOGRAPHIC PATH ORDERS: AN APPLICATION OF TERM REWRITING
TO THE REGION OF PRIMITIVE RECURSIVE FUNCTIONS
A HOARE LOGIC FOR ENERGY CONSUMPTION ANALYSIS
REASONING ABOUT RESOURCES IN THE EMBEDDED SYSTEMS LANGUAGE HUME
ON PATHS-BASED CRITERIA FOR POLYNOMIAL TIME COMPLEXITY IN PROOF-NETS
COLLECTED SIZE SEMANTICS FOR STRICT FUNCTIONAL PROGRAMS OVER GENERAL
POLYMORPHIC LISTS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE THIRD INTERNATIONAL
WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS,
FOPARA 2013, HELD IN BERTINORO, ITALY, IN AUGUST 2013. THE 9 PAPERS
PRESENTED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 12
SUBMISSIONS. THEY DEAL WITH TRADITIONAL APPROACHES TO COMPLEXITY
ANALYSIS, DIFFERENTIAL PRIVACY, AND PROBABILISTIC ANALYSIS OF PROGRAMS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV042208153 |
| classification_tum | DAT 510f DAT 343f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)894710687 (DE-599)BVBBV042208153 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-12466-7 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04139nmm a2200745 cb4500</leader><controlfield tag="001">BV042208153</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">141126s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319124650</subfield><subfield code="9">978-3-319-12465-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319124667</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-319-12466-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-12466-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)894710687</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042208153</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-20</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-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundational and practical aspects of resource analysis</subfield><subfield code="b">third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers</subfield><subfield code="c">Ugo Dal Lago ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham[u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (159 S.)</subfield><subfield code="c">24 cm</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">8552</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kostenfunktion</subfield><subfield code="0">(DE-588)4131857-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ressourcenbeschränktes Maß</subfield><subfield code="0">(DE-588)4636646-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätsklasse</subfield><subfield code="0">(DE-588)4164913-8</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">2013</subfield><subfield code="z">Bertinoro</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Komplexitätsklasse</subfield><subfield code="0">(DE-588)4164913-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Ressourcenbeschränktes Maß</subfield><subfield code="0">(DE-588)4636646-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Kostenfunktion</subfield><subfield code="0">(DE-588)4131857-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Abstrakte Interpretation</subfield><subfield code="0">(DE-588)4621153-6</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">Dal Lago, Ugo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOPARA</subfield><subfield code="n">3.</subfield><subfield code="d">2013</subfield><subfield code="c">Bertinoro</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1062625730</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">8552</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8552</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-12466-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027646900&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027646900&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027646900</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-12466-7</subfield><subfield code="l">BTU01</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/978-3-319-12466-7</subfield><subfield code="l">FHM01</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/978-3-319-12466-7</subfield><subfield code="l">FHN01</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/978-3-319-12466-7</subfield><subfield code="l">FKE01</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/978-3-319-12466-7</subfield><subfield code="l">FRO01</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/978-3-319-12466-7</subfield><subfield code="l">TUM01</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/978-3-319-12466-7</subfield><subfield code="l">UBA01</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/978-3-319-12466-7</subfield><subfield code="l">UBG01</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/978-3-319-12466-7</subfield><subfield code="l">UBT01</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/978-3-319-12466-7</subfield><subfield code="l">UBW01</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/978-3-319-12466-7</subfield><subfield code="l">UBY01</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/978-3-319-12466-7</subfield><subfield code="l">UER01</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/978-3-319-12466-7</subfield><subfield code="l">UPA01</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 2013 Bertinoro gnd-content |
| genre_facet | Konferenzschrift 2013 Bertinoro |
| id | DE-604.BV042208153 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:15:20Z |
| institution | BVB |
| institution_GND | (DE-588)1062625730 |
| isbn | 9783319124650 9783319124667 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027646900 |
| oclc_num | 894710687 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (159 S.) 24 cm |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundational and practical aspects of resource analysis third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers Ugo Dal Lago ... (eds.) Cham[u.a.] Springer 2014 1 Online-Ressource (159 S.) 24 cm txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8552 Literaturangaben Programmanalyse (DE-588)4175841-9 gnd rswk-swf Kostenfunktion (DE-588)4131857-2 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Abstrakte Interpretation (DE-588)4621153-6 gnd rswk-swf Ressourcenbeschränktes Maß (DE-588)4636646-5 gnd rswk-swf Komplexitätsklasse (DE-588)4164913-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Bertinoro gnd-content Eingebettetes System (DE-588)4396978-1 s Programmanalyse (DE-588)4175841-9 s Komplexitätsklasse (DE-588)4164913-8 s Ressourcenbeschränktes Maß (DE-588)4636646-5 s Kostenfunktion (DE-588)4131857-2 s Abstrakte Interpretation (DE-588)4621153-6 s DE-604 Dal Lago, Ugo Sonstige oth FOPARA 3. 2013 Bertinoro Sonstige (DE-588)1062625730 oth Lecture notes in computer science 8552 (DE-604)BV014880109 8552 https://doi.org/10.1007/978-3-319-12466-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027646900&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027646900&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Foundational and practical aspects of resource analysis third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers Lecture notes in computer science Programmanalyse (DE-588)4175841-9 gnd Kostenfunktion (DE-588)4131857-2 gnd Eingebettetes System (DE-588)4396978-1 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Ressourcenbeschränktes Maß (DE-588)4636646-5 gnd Komplexitätsklasse (DE-588)4164913-8 gnd |
| subject_GND | (DE-588)4175841-9 (DE-588)4131857-2 (DE-588)4396978-1 (DE-588)4621153-6 (DE-588)4636646-5 (DE-588)4164913-8 (DE-588)1071861417 |
| title | Foundational and practical aspects of resource analysis third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers |
| title_auth | Foundational and practical aspects of resource analysis third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers |
| title_exact_search | Foundational and practical aspects of resource analysis third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers |
| title_full | Foundational and practical aspects of resource analysis third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers Ugo Dal Lago ... (eds.) |
| title_fullStr | Foundational and practical aspects of resource analysis third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers Ugo Dal Lago ... (eds.) |
| title_full_unstemmed | Foundational and practical aspects of resource analysis third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers Ugo Dal Lago ... (eds.) |
| title_short | Foundational and practical aspects of resource analysis |
| title_sort | foundational and practical aspects of resource analysis third international workshop fopara 2013 bertinoro italy august 29 31 2013 revised selected papers |
| title_sub | third international workshop, FOPARA 2013, Bertinoro, Italy, August 29 - 31, 2013 ; revised selected papers |
| topic | Programmanalyse (DE-588)4175841-9 gnd Kostenfunktion (DE-588)4131857-2 gnd Eingebettetes System (DE-588)4396978-1 gnd Abstrakte Interpretation (DE-588)4621153-6 gnd Ressourcenbeschränktes Maß (DE-588)4636646-5 gnd Komplexitätsklasse (DE-588)4164913-8 gnd |
| topic_facet | Programmanalyse Kostenfunktion Eingebettetes System Abstrakte Interpretation Ressourcenbeschränktes Maß Komplexitätsklasse Konferenzschrift 2013 Bertinoro |
| url | https://doi.org/10.1007/978-3-319-12466-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027646900&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027646900&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT dallagougo foundationalandpracticalaspectsofresourceanalysisthirdinternationalworkshopfopara2013bertinoroitalyaugust29312013revisedselectedpapers AT foparabertinoro foundationalandpracticalaspectsofresourceanalysisthirdinternationalworkshopfopara2013bertinoroitalyaugust29312013revisedselectedpapers |