Static analysis: 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
2000
|
| Schriftenreihe: | Lecture notes in computer science
1824 |
| Schlagworte: | |
| Beschreibung: | Literaturangaben. |
| Beschreibung: | VIII, 432 S. |
| ISBN: | 3540676686 |
Internformat
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013190258 | ||
| 003 | DE-604 | ||
| 005 | 20000630 | ||
| 007 | t| | ||
| 008 | 000530s2000 gw |||| 10||| eng d | ||
| 016 | 7 | |a 959055088 |2 DE-101 | |
| 020 | |a 3540676686 |9 3-540-67668-6 | ||
| 035 | |a (OCoLC)44270322 | ||
| 035 | |a (DE-599)BVBBV013190258 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-739 |a DE-384 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.13/1 |2 21 | |
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Static analysis |b 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings |c Jens Palsberg (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 2000 | |
| 300 | |a VIII, 432 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1824 | |
| 500 | |a Literaturangaben. | ||
| 650 | 7 | |a Engenharia de programacao (software) |2 larpcal | |
| 650 | 4 | |a Langages de programmation - Congrès | |
| 650 | 7 | |a Langages de programmation - Congrès |2 ram | |
| 650 | 7 | |a Ordinateurs - Programmation - Congrès |2 ram | |
| 650 | 7 | |a Programacao de computadores |2 larpcal | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a analyse programme |2 inriac | |
| 650 | 7 | |a analyse statique |2 inriac | |
| 650 | 7 | |a analyse système |2 inriac | |
| 650 | 7 | |a interprétation abstraite |2 inriac | |
| 650 | 7 | |a langage programmation |2 inriac | |
| 650 | 7 | |a optimisation code |2 inriac | |
| 650 | 7 | |a sémantique programme |2 inriac | |
| 650 | 7 | |a théorie programmation |2 inriac | |
| 650 | 7 | |a type |2 inriac | |
| 650 | 4 | |a Computer programming |v Congresses | |
| 650 | 4 | |a Programming languages (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Statistische Analyse |0 (DE-588)4116599-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z Santa Barbara Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Statistische Analyse |0 (DE-588)4116599-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Palsberg, Jens |d 1964- |e Sonstige |0 (DE-588)122052765 |4 oth | |
| 711 | 2 | |a SAS |n 7 |d 2000 |c Santa Barbara, Calif. |j Sonstige |0 (DE-588)2183667-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1824 |w (DE-604)BV000000607 |9 1824 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008988651 | |
Datensatz im Suchindex
| _version_ | 1820874890921639936 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)122052765 |
| building | Verbundindex |
| bvnumber | BV013190258 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)44270322 (DE-599)BVBBV013190258 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| 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 a22000008cb4500</leader><controlfield tag="001">BV013190258</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000630</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000530s2000 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959055088</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540676686</subfield><subfield code="9">3-540-67668-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)44270322</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013190258</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Static analysis</subfield><subfield code="b">7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings</subfield><subfield code="c">Jens Palsberg (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 432 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">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">1824</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Engenharia de programacao (software)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ordinateurs - Programmation - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao de computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique) - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse statique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analyse système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interprétation abstraite</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">optimisation code</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">type</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-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">2000</subfield><subfield code="z">Santa Barbara Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-8</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">Palsberg, Jens</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)122052765</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SAS</subfield><subfield code="n">7</subfield><subfield code="d">2000</subfield><subfield code="c">Santa Barbara, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2183667-X</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">1824</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1824</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008988651</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Santa Barbara Calif. gnd-content |
| genre_facet | Konferenzschrift 2000 Santa Barbara Calif. |
| id | DE-604.BV013190258 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:55Z |
| institution | BVB |
| institution_GND | (DE-588)2183667-X |
| isbn | 3540676686 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008988651 |
| oclc_num | 44270322 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-384 DE-83 DE-188 DE-706 |
| physical | VIII, 432 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Static analysis 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings Jens Palsberg (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000 VIII, 432 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1824 Literaturangaben. Engenharia de programacao (software) larpcal Langages de programmation - Congrès Langages de programmation - Congrès ram Ordinateurs - Programmation - Congrès ram Programacao de computadores larpcal Programmation (Informatique) - Congrès Programmatuurtechniek gtt analyse programme inriac analyse statique inriac analyse système inriac interprétation abstraite inriac langage programmation inriac optimisation code inriac sémantique programme inriac théorie programmation inriac type inriac Computer programming Congresses Programming languages (Electronic computers) Congresses Statistische Analyse (DE-588)4116599-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Santa Barbara Calif. gnd-content Statistische Analyse (DE-588)4116599-8 s DE-604 Palsberg, Jens 1964- Sonstige (DE-588)122052765 oth SAS 7 2000 Santa Barbara, Calif. Sonstige (DE-588)2183667-X oth Lecture notes in computer science 1824 (DE-604)BV000000607 1824 |
| spellingShingle | Static analysis 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings Lecture notes in computer science Engenharia de programacao (software) larpcal Langages de programmation - Congrès Langages de programmation - Congrès ram Ordinateurs - Programmation - Congrès ram Programacao de computadores larpcal Programmation (Informatique) - Congrès Programmatuurtechniek gtt analyse programme inriac analyse statique inriac analyse système inriac interprétation abstraite inriac langage programmation inriac optimisation code inriac sémantique programme inriac théorie programmation inriac type inriac Computer programming Congresses Programming languages (Electronic computers) Congresses Statistische Analyse (DE-588)4116599-8 gnd |
| subject_GND | (DE-588)4116599-8 (DE-588)1071861417 |
| title | Static analysis 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings |
| title_auth | Static analysis 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings |
| title_exact_search | Static analysis 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings |
| title_full | Static analysis 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings Jens Palsberg (ed.) |
| title_fullStr | Static analysis 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings Jens Palsberg (ed.) |
| title_full_unstemmed | Static analysis 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings Jens Palsberg (ed.) |
| title_short | Static analysis |
| title_sort | static analysis 7th international symposium sas 2000 santa barbara ca usa june 29 july 1 2000 proceedings |
| title_sub | 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 ; proceedings |
| topic | Engenharia de programacao (software) larpcal Langages de programmation - Congrès Langages de programmation - Congrès ram Ordinateurs - Programmation - Congrès ram Programacao de computadores larpcal Programmation (Informatique) - Congrès Programmatuurtechniek gtt analyse programme inriac analyse statique inriac analyse système inriac interprétation abstraite inriac langage programmation inriac optimisation code inriac sémantique programme inriac théorie programmation inriac type inriac Computer programming Congresses Programming languages (Electronic computers) Congresses Statistische Analyse (DE-588)4116599-8 gnd |
| topic_facet | Engenharia de programacao (software) Langages de programmation - Congrès Ordinateurs - Programmation - Congrès Programacao de computadores Programmation (Informatique) - Congrès Programmatuurtechniek analyse programme analyse statique analyse système interprétation abstraite langage programmation optimisation code sémantique programme théorie programmation type Computer programming Congresses Programming languages (Electronic computers) Congresses Statistische Analyse Konferenzschrift 2000 Santa Barbara Calif. |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT palsbergjens staticanalysis7thinternationalsymposiumsas2000santabarbaracausajune29july12000proceedings AT sassantabarbaracalif staticanalysis7thinternationalsymposiumsas2000santabarbaracausajune29july12000proceedings |