Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture Notes in Computer Science
6603 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 Online-Ressource (XIII, 464 S.) |
| ISBN: | 9783642198113 |
| DOI: | 10.1007/978-3-642-19811-3 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037350396 | ||
| 003 | DE-604 | ||
| 005 | 20141118 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 110420s2011 xx o|||| 10||| eng d | ||
| 020 | |a 9783642198113 |c Online |9 978-3-642-19811-3 | ||
| 024 | 7 | |a 10.1007/978-3-642-19811-3 |2 doi | |
| 035 | |a (OCoLC)712593300 | ||
| 035 | |a (DE-599)BVBBV037350396 | ||
| 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-355 |a DE-92 |a DE-Aug4 |a DE-859 |a DE-634 | ||
| 082 | 0 | |a 005.1 |2 22//ger | |
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Fundamental Approaches to Software Engineering |b 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |c Dimitra Giannakopoulou ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a 1 Online-Ressource (XIII, 464 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 6603 | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 653 | |a Paperback / softback | ||
| 653 | |a Research | ||
| 653 | |a QoS | ||
| 653 | |a distributed systems | ||
| 653 | |a genetic programming | ||
| 653 | |a graph transformation | ||
| 653 | |a implementation | ||
| 653 | |a metrics | ||
| 653 | |a model checking | ||
| 653 | |a process algebra | ||
| 653 | |a program analysis | ||
| 653 | |a programming languages | ||
| 653 | |a self-organization | ||
| 653 | |a semantics | ||
| 653 | |a software architectures | ||
| 653 | |a software engineering | ||
| 653 | |a software verification | ||
| 653 | |a theorem proving | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Saarbrücken |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Giannakopoulou, Dimitra |e Sonstige |0 (DE-588)1061067467 |4 oth | |
| 711 | 2 | |a FASE |n 14 |d 2011 |c Saarbrücken |j Sonstige |0 (DE-588)16170276-4 |4 oth | |
| 711 | 2 | |a ETAPS |n 14 |d 2011 |c Saarbrücken |j Sonstige |0 (DE-588)16105839-5 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-3-642-19810-6 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6603 |w (DE-604)BV014880109 |9 6603 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-19811-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022503890 | |
Datensatz im Suchindex
| _version_ | 1820875299339894784 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)1061067467 |
| building | Verbundindex |
| bvnumber | BV037350396 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f DAT 000 |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)712593300 (DE-599)BVBBV037350396 |
| 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 |
| doi_str_mv | 10.1007/978-3-642-19811-3 |
| 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">BV037350396</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20141118</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">110420s2011 xx o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642198113</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-19811-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-19811-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)712593300</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV037350396</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-355</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</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">Fundamental Approaches to Software Engineering</subfield><subfield code="b">14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings</subfield><subfield code="c">Dimitra Giannakopoulou ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 464 S.)</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">6603</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Paperback / softback</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">QoS</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">distributed systems</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">genetic programming</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">graph transformation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">implementation</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">metrics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">process algebra</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">program analysis</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">programming languages</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">self-organization</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software architectures</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">theorem proving</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Saarbrücken</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-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">Giannakopoulou, Dimitra</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1061067467</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FASE</subfield><subfield code="n">14</subfield><subfield code="d">2011</subfield><subfield code="c">Saarbrücken</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16170276-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">14</subfield><subfield code="d">2011</subfield><subfield code="c">Saarbrücken</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16105839-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-19810-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6603</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">6603</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-19811-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-022503890</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Saarbrücken gnd-content |
| genre_facet | Konferenzschrift 2011 Saarbrücken |
| id | DE-604.BV037350396 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:13:26Z |
| institution | BVB |
| institution_GND | (DE-588)16170276-4 (DE-588)16105839-5 |
| isbn | 9783642198113 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022503890 |
| oclc_num | 712593300 |
| 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-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634 |
| 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-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634 |
| physical | 1 Online-Ressource (XIII, 464 S.) |
| psigel | ZDB-2-LNC ZDB-2-SCS |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Dimitra Giannakopoulou ... (eds.) Berlin [u.a.] Springer 2011 1 Online-Ressource (XIII, 464 S.) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 6603 Software Engineering (DE-588)4116521-4 gnd rswk-swf Paperback / softback Research QoS distributed systems genetic programming graph transformation implementation metrics model checking process algebra program analysis programming languages self-organization semantics software architectures software engineering software verification theorem proving (DE-588)1071861417 Konferenzschrift 2011 Saarbrücken gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Giannakopoulou, Dimitra Sonstige (DE-588)1061067467 oth FASE 14 2011 Saarbrücken Sonstige (DE-588)16170276-4 oth ETAPS 14 2011 Saarbrücken Sonstige (DE-588)16105839-5 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-19810-6 Lecture Notes in Computer Science 6603 (DE-604)BV014880109 6603 https://doi.org/10.1007/978-3-642-19811-3 Verlag Volltext |
| spellingShingle | Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Lecture Notes in Computer Science Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)1071861417 |
| title | Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |
| title_auth | Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |
| title_exact_search | Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |
| title_full | Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Dimitra Giannakopoulou ... (eds.) |
| title_fullStr | Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Dimitra Giannakopoulou ... (eds.) |
| title_full_unstemmed | Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings Dimitra Giannakopoulou ... (eds.) |
| title_short | Fundamental Approaches to Software Engineering |
| title_sort | fundamental approaches to software engineering 14th international conference fase 2011 held as part of the joint european conference on theory and practice of software etaps 2011 saarbrucken germany march 26 april 3 2011 proceedings |
| title_sub | 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26 - April 3, 2011, Proceedings |
| topic | Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Software Engineering Konferenzschrift 2011 Saarbrücken |
| url | https://doi.org/10.1007/978-3-642-19811-3 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT giannakopouloudimitra fundamentalapproachestosoftwareengineering14thinternationalconferencefase2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT fasesaarbrucken fundamentalapproachestosoftwareengineering14thinternationalconferencefase2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT etapssaarbrucken fundamentalapproachestosoftwareengineering14thinternationalconferencefase2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings |