Foundations of software science and computation structures: 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
Vol. 2620 |
| Schlagworte: | |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 440 S. graph. Darst. 24 cm |
| ISBN: | 3540008977 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV017013570 | ||
| 003 | DE-604 | ||
| 005 | 20090225 | ||
| 007 | t| | ||
| 008 | 030325s2003 gw d||| |||| 10||| eng d | ||
| 015 | |a 03,A20,0883 |2 dnb | ||
| 016 | 7 | |a 967276977 |2 DE-101 | |
| 020 | |a 3540008977 |c kart. : EUR 62.06 |9 3-540-00897-7 | ||
| 035 | |a (OCoLC)187588880 | ||
| 035 | |a (DE-599)BVBBV017013570 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-739 |a DE-384 |a DE-91G |a DE-824 |a DE-521 |a DE-706 | ||
| 050 | 0 | |a QA76.751.F67 2003 | |
| 082 | 0 | |a 005.1 21 | |
| 082 | 0 | |a 005.1 |2 21 | |
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Foundations of software science and computation structures |b 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |c Andrew D. Gordon (ed) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo |b Springer |c 2003 | |
| 300 | |a XII, 440 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v Vol. 2620 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Computer software -- Congresses | |
| 650 | 4 | |a System analysis -- Congresses | |
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2003 |z Warschau |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 Gordon, Andrew D. |d 1964- |0 (DE-588)133694844 |4 edt | |
| 711 | 2 | |a FOSSACS |n 6 |d 2003 |c Warschau |j Sonstige |0 (DE-588)10054134-3 |4 oth | |
| 711 | 2 | |a ETAPS |n 6 |d 2003 |c Warschau |j Sonstige |0 (DE-588)10054117-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v Vol. 2620 |w (DE-604)BV000000607 |9 2620 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010269168 | |
Datensatz im Suchindex
| _version_ | 1820868176494198784 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Gordon, Andrew D. 1964- |
| author2_role | edt |
| author2_variant | a d g ad adg |
| author_GND | (DE-588)133694844 |
| author_facet | Gordon, Andrew D. 1964- |
| building | Verbundindex |
| bvnumber | BV017013570 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.751.F67 2003 |
| callnumber-search | QA76.751.F67 2003 |
| callnumber-sort | QA 276.751 F67 42003 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 2003 SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)187588880 (DE-599)BVBBV017013570 |
| dewey-full | 005.121 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 21 005.1 |
| dewey-search | 005.1 21 005.1 |
| dewey-sort | 15.1 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV017013570</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090225</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">030325s2003 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">03,A20,0883</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">967276977</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540008977</subfield><subfield code="c">kart. : EUR 62.06</subfield><subfield code="9">3-540-00897-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)187588880</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017013570</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.751.F67 2003</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software science and computation structures</subfield><subfield code="b">6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings</subfield><subfield code="c">Andrew D. Gordon (ed)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo</subfield><subfield code="b">Springer</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 440 S.</subfield><subfield code="b">graph. Darst.</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">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">Lecture notes in computer science</subfield><subfield code="v">Vol. 2620</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System analysis -- Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2003</subfield><subfield code="z">Warschau</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">Gordon, Andrew D.</subfield><subfield code="d">1964-</subfield><subfield code="0">(DE-588)133694844</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOSSACS</subfield><subfield code="n">6</subfield><subfield code="d">2003</subfield><subfield code="c">Warschau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10054134-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">6</subfield><subfield code="d">2003</subfield><subfield code="c">Warschau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)10054117-3</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">Vol. 2620</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">2620</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010269168</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2003 Warschau gnd-content |
| genre_facet | Konferenzschrift 2003 Warschau |
| id | DE-604.BV017013570 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:12Z |
| institution | BVB |
| institution_GND | (DE-588)10054134-3 (DE-588)10054117-3 |
| isbn | 3540008977 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010269168 |
| oclc_num | 187588880 |
| open_access_boolean | |
| owner | DE-739 DE-384 DE-91G DE-BY-TUM DE-824 DE-521 DE-706 |
| owner_facet | DE-739 DE-384 DE-91G DE-BY-TUM DE-824 DE-521 DE-706 |
| physical | XII, 440 S. graph. Darst. 24 cm |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| 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 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Andrew D. Gordon (ed) Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo Springer 2003 XII, 440 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science Vol. 2620 Literaturangaben Computer software -- Congresses System analysis -- Congresses 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 (DE-588)1071861417 Konferenzschrift 2003 Warschau gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Programmierung (DE-588)4076370-5 s Software Engineering (DE-588)4116521-4 s Gordon, Andrew D. 1964- (DE-588)133694844 edt FOSSACS 6 2003 Warschau Sonstige (DE-588)10054134-3 oth ETAPS 6 2003 Warschau Sonstige (DE-588)10054117-3 oth Lecture notes in computer science Vol. 2620 (DE-604)BV000000607 2620 |
| spellingShingle | Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Lecture notes in computer science Computer software -- Congresses System analysis -- Congresses 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 computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |
| title_auth | Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |
| title_exact_search | Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |
| title_full | Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Andrew D. Gordon (ed) |
| title_fullStr | Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Andrew D. Gordon (ed) |
| title_full_unstemmed | Foundations of software science and computation structures 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings Andrew D. Gordon (ed) |
| title_short | Foundations of software science and computation structures |
| title_sort | foundations of software science and computation structures 6th international conference fossacs 2003 held as part of the joint european conferences on theory and practice of software etaps 2003 warsaw poland april 7 11 2003 proceedings |
| title_sub | 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7 - 11, 2003 ; proceedings |
| topic | Computer software -- Congresses System analysis -- Congresses Theoretische Informatik (DE-588)4196735-5 gnd Software Engineering (DE-588)4116521-4 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Computer software -- Congresses System analysis -- Congresses Theoretische Informatik Software Engineering Programmierung Konferenzschrift 2003 Warschau |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gordonandrewd foundationsofsoftwarescienceandcomputationstructures6thinternationalconferencefossacs2003heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2003warsawpolandapril7112003proceedings AT fossacswarschau foundationsofsoftwarescienceandcomputationstructures6thinternationalconferencefossacs2003heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2003warsawpolandapril7112003proceedings AT etapswarschau foundationsofsoftwarescienceandcomputationstructures6thinternationalconferencefossacs2003heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2003warsawpolandapril7112003proceedings |