Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 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
6604 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | 1 Online-Ressource (XV, 473 S.) |
| ISBN: | 9783642198052 |
| DOI: | 10.1007/978-3-642-19805-2 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037350430 | ||
| 003 | DE-604 | ||
| 005 | 20110504 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 110420s2011 xx o|||| 10||| eng d | ||
| 020 | |a 9783642198052 |c Online |9 978-3-642-19805-2 | ||
| 024 | 7 | |a 10.1007/978-3-642-19805-2 |2 doi | |
| 035 | |a (OCoLC)712592903 | ||
| 035 | |a (DE-599)BVBBV037350430 | ||
| 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.01 |2 22//ger | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Foundations of Software Science and Computational Structures |b 14th International Conference, FOSSACS 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 Martin Hofmann (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a 1 Online-Ressource (XV, 473 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 6604 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 653 | |a Paperback / softback | ||
| 653 | |a Research | ||
| 653 | |a abstract machines | ||
| 653 | |a computational complexity | ||
| 653 | |a correctness | ||
| 653 | |a decision procedures | ||
| 653 | |a first order logic | ||
| 653 | |a formal verification | ||
| 653 | |a infinite games | ||
| 653 | |a modal logics | ||
| 653 | |a model checking | ||
| 653 | |a process algebras | ||
| 653 | |a programming languages semantics | ||
| 653 | |a regular games | ||
| 653 | |a security | ||
| 653 | |a software engineering | ||
| 653 | |a theorem proving | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Saarbrücken |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Hofmann, Martin |e Sonstige |4 oth | |
| 711 | 2 | |a FOSSACS |n 14 |d 2011 |c Saarbrücken |j Sonstige |0 (DE-588)16105841-3 |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-19804-5 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 6604 |w (DE-604)BV014880109 |9 6604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-19805-2 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-LNC | ||
| 912 | |a ZDB-2-SCS | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022503920 | |
Datensatz im Suchindex
| _version_ | 1820875299353526272 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV037350430 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 DAT 500f |
| collection | ZDB-2-LNC ZDB-2-SCS |
| ctrlnum | (OCoLC)712592903 (DE-599)BVBBV037350430 |
| dewey-full | 005.01 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.01 |
| dewey-search | 005.01 |
| dewey-sort | 15.01 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-19805-2 |
| 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">BV037350430</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110504</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">9783642198052</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-19805-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-19805-2</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)712592903</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV037350430</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.01</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of Software Science and Computational Structures</subfield><subfield code="b">14th International Conference, FOSSACS 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">Martin Hofmann (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 (XV, 473 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">6604</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">abstract machines</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">computational complexity</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">correctness</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">decision procedures</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">first order logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">formal verification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">infinite games</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">modal logics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">model checking</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">process algebras</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">programming languages semantics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">regular games</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">security</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">software engineering</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hofmann, Martin</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOSSACS</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)16105841-3</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-19804-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">6604</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">6604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-19805-2</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-022503920</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Saarbrücken gnd-content |
| genre_facet | Konferenzschrift 2011 Saarbrücken |
| id | DE-604.BV037350430 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:13:26Z |
| institution | BVB |
| institution_GND | (DE-588)16105841-3 (DE-588)16105839-5 |
| isbn | 9783642198052 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022503920 |
| oclc_num | 712592903 |
| 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 (XV, 473 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 | Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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 Martin Hofmann (eds.) Berlin [u.a.] Springer 2011 1 Online-Ressource (XV, 473 S.) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 6604 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Paperback / softback Research abstract machines computational complexity correctness decision procedures first order logic formal verification infinite games modal logics model checking process algebras programming languages semantics regular games security software engineering theorem proving (DE-588)1071861417 Konferenzschrift 2011 Saarbrücken gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Programmierung (DE-588)4076370-5 s Software Engineering (DE-588)4116521-4 s Hofmann, Martin Sonstige oth FOSSACS 14 2011 Saarbrücken Sonstige (DE-588)16105841-3 oth ETAPS 14 2011 Saarbrücken Sonstige (DE-588)16105839-5 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-19804-5 Lecture Notes in Computer Science 6604 (DE-604)BV014880109 6604 https://doi.org/10.1007/978-3-642-19805-2 Verlag Volltext |
| spellingShingle | Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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 Theoretische Informatik (DE-588)4196735-5 gnd Software Engineering (DE-588)4116521-4 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4116521-4 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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 | Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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 | Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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 | Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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 Martin Hofmann (eds.) |
| title_fullStr | Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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 Martin Hofmann (eds.) |
| title_full_unstemmed | Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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 Martin Hofmann (eds.) |
| title_short | Foundations of Software Science and Computational Structures |
| title_sort | foundations of software science and computational structures 14th international conference fossacs 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, FOSSACS 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 | Theoretische Informatik (DE-588)4196735-5 gnd Software Engineering (DE-588)4116521-4 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Theoretische Informatik Software Engineering Programmierung Konferenzschrift 2011 Saarbrücken |
| url | https://doi.org/10.1007/978-3-642-19805-2 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT hofmannmartin foundationsofsoftwarescienceandcomputationalstructures14thinternationalconferencefossacs2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT fossacssaarbrucken foundationsofsoftwarescienceandcomputationalstructures14thinternationalconferencefossacs2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings AT etapssaarbrucken foundationsofsoftwarescienceandcomputationalstructures14thinternationalconferencefossacs2011heldaspartofthejointeuropeanconferenceontheoryandpracticeofsoftwareetaps2011saarbruckengermanymarch26april32011proceedings |