Foundations of software science and computation structures: 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2005
|
| Schriftenreihe: | Lecture notes in computer science
3441 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHM01 TUM01 UBA01 UBG01 UBM01 UBY01 UPA01 Volltext |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 1 Online-Ressource (XIII, 519 S.) graph. Darst. |
| ISBN: | 3540253882 9783540253884 |
| DOI: | 10.1007/b106850 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV022370970 | ||
| 003 | DE-604 | ||
| 005 | 20080430 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 070329s2005 |||| o||u| ||||||eng d | ||
| 020 | |a 3540253882 |9 3-540-25388-2 | ||
| 020 | |a 9783540253884 |9 978-3-540-25388-4 | ||
| 024 | 7 | |a 10.1007/b106850 |2 doi | |
| 035 | |a (OCoLC)873405611 | ||
| 035 | |a (DE-599)BVBBV022370970 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-739 |a DE-706 |a DE-19 |a DE-91 |a DE-384 |a DE-M347 |a DE-634 | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Foundations of software science and computation structures |b 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 |c Vladimiro Sasssone (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2005 | |
| 300 | |a 1 Online-Ressource (XIII, 519 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 3441 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Software |0 (DE-588)4055382-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wiederherstellung |0 (DE-588)4352570-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatentheorie |0 (DE-588)4003953-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Automatentheorie |0 (DE-588)4003953-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Software |0 (DE-588)4055382-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Wiederherstellung |0 (DE-588)4352570-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Sassone, Vladimiro |e Sonstige |4 oth | |
| 711 | 2 | |a FOSSACS |n 8 |d 2005 |c Edinburgh |j Sonstige |0 (DE-588)10100942-2 |4 oth | |
| 711 | 2 | |a ETAPS |n 8 |d 2005 |c Edinburgh |j Sonstige |0 (DE-588)10100943-4 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 3441 |w (DE-604)BV014880109 |9 3441 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/b106850 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015580141 | ||
| 966 | e | |u https://doi.org/10.1007/b106850 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b106850 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b106850 |l TUM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b106850 |l UBA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b106850 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b106850 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b106850 |l UBY01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/b106850 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804136423533576192 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| building | Verbundindex |
| bvnumber | BV022370970 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)873405611 (DE-599)BVBBV022370970 |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/b106850 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02725nmm a2200601zcb4500</leader><controlfield tag="001">BV022370970</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080430 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">070329s2005 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540253882</subfield><subfield code="9">3-540-25388-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540253884</subfield><subfield code="9">978-3-540-25388-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/b106850</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)873405611</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022370970</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</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">Foundations of software science and computation structures</subfield><subfield code="b">8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005</subfield><subfield code="c">Vladimiro Sasssone (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 519 S.)</subfield><subfield code="b">graph. Darst.</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">3441</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software</subfield><subfield code="0">(DE-588)4055382-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wiederherstellung</subfield><subfield code="0">(DE-588)4352570-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</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">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-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">Software</subfield><subfield code="0">(DE-588)4055382-6</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">Wiederherstellung</subfield><subfield code="0">(DE-588)4352570-2</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">Sassone, Vladimiro</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">8</subfield><subfield code="d">2005</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10100942-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">8</subfield><subfield code="d">2005</subfield><subfield code="c">Edinburgh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10100943-4</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">3441</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">3441</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/b106850</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015580141</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/b106850</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</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/b106850</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</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/b106850</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SCS</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/b106850</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SCS</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/b106850</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</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/b106850</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</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/b106850</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</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/b106850</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV022370970 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T17:07:04Z |
| indexdate | 2024-07-09T20:56:10Z |
| institution | BVB |
| institution_GND | (DE-588)10100942-2 (DE-588)10100943-4 |
| isbn | 3540253882 9783540253884 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015580141 |
| oclc_num | 873405611 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-739 DE-706 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-M347 DE-634 |
| physical | 1 Online-Ressource (XIII, 519 S.) graph. Darst. |
| psigel | ZDB-2-SCS |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundations of software science and computation structures 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 Vladimiro Sasssone (ed.) Berlin [u.a.] Springer 2005 1 Online-Ressource (XIII, 519 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 3441 Literaturangaben Software (DE-588)4055382-6 gnd rswk-swf Wiederherstellung (DE-588)4352570-2 gnd rswk-swf Automatentheorie (DE-588)4003953-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Automatentheorie (DE-588)4003953-5 s DE-604 Software (DE-588)4055382-6 s Wiederherstellung (DE-588)4352570-2 s Sassone, Vladimiro Sonstige oth FOSSACS 8 2005 Edinburgh Sonstige (DE-588)10100942-2 oth ETAPS 8 2005 Edinburgh Sonstige (DE-588)10100943-4 oth Lecture notes in computer science 3441 (DE-604)BV014880109 3441 https://doi.org/10.1007/b106850 Verlag Volltext |
| spellingShingle | Foundations of software science and computation structures 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 Lecture notes in computer science Software (DE-588)4055382-6 gnd Wiederherstellung (DE-588)4352570-2 gnd Automatentheorie (DE-588)4003953-5 gnd |
| subject_GND | (DE-588)4055382-6 (DE-588)4352570-2 (DE-588)4003953-5 (DE-588)1071861417 |
| title | Foundations of software science and computation structures 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 |
| title_auth | Foundations of software science and computation structures 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 |
| title_exact_search | Foundations of software science and computation structures 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 |
| title_exact_search_txtP | Foundations of software science and computation structures 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 |
| title_full | Foundations of software science and computation structures 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 Vladimiro Sasssone (ed.) |
| title_fullStr | Foundations of software science and computation structures 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 Vladimiro Sasssone (ed.) |
| title_full_unstemmed | Foundations of software science and computation structures 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 Vladimiro Sasssone (ed.) |
| title_short | Foundations of software science and computation structures |
| title_sort | foundations of software science and computation structures 8th international conference fossacs 2005 held as part of the joint european conferences on theory and practice of software etaps 2005 edinburgh uk april 4 8 2005 |
| title_sub | 8th International Conference, FOSSACS 2005 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 ; Edinburgh, UK, April 4 - 8, 2005 |
| topic | Software (DE-588)4055382-6 gnd Wiederherstellung (DE-588)4352570-2 gnd Automatentheorie (DE-588)4003953-5 gnd |
| topic_facet | Software Wiederherstellung Automatentheorie Konferenzschrift |
| url | https://doi.org/10.1007/b106850 |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT sassonevladimiro foundationsofsoftwarescienceandcomputationstructures8thinternationalconferencefossacs2005heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2005edinburghukapril482005 AT fossacsedinburgh foundationsofsoftwarescienceandcomputationstructures8thinternationalconferencefossacs2005heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2005edinburghukapril482005 AT etapsedinburgh foundationsofsoftwarescienceandcomputationstructures8thinternationalconferencefossacs2005heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2005edinburghukapril482005 |