Foundations of software technology and theoretical computer science: 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1991
|
| Schriftenreihe: | Lecture notes in computer science
560 |
| Schlagworte: | |
| Beschreibung: | X, 419 S. graph. Darst. |
| ISBN: | 3540549676 0387549676 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004633608 | ||
| 003 | DE-604 | ||
| 005 | 20070404 | ||
| 007 | t | ||
| 008 | 911104s1991 gw d||| |||| 10||| eng d | ||
| 020 | |a 3540549676 |9 3-540-54967-6 | ||
| 020 | |a 0387549676 |9 0-387-54967-6 | ||
| 035 | |a (OCoLC)611603216 | ||
| 035 | |a (DE-599)BVBBV004633608 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-12 |a DE-739 |a DE-20 |a DE-91G |a DE-19 |a DE-83 |a DE-11 |a DE-188 |a DE-703 |a DE-706 | ||
| 050 | 0 | |a QA76.751 | |
| 082 | 0 | |a 005 |2 20 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 245 | 1 | 0 | |a Foundations of software technology and theoretical computer science |b 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings |c FST and TCS 11 Conference. S. Biswas ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1991 | |
| 300 | |a X, 419 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 560 | |
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 7 | |a Informatique - Congrès |2 ram | |
| 650 | 4 | |a Logiciels - Congrès | |
| 650 | 4 | |a Programmation (Informatique) - Congrès | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a algorithme |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a génie logiciel |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a sémantique |2 inriac | |
| 650 | 7 | |a théorie automate |2 inriac | |
| 650 | 7 | |a type |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Computer software |v Congresses | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Delhi |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 Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Biswas, Somenath |e Sonstige |4 oth | |
| 711 | 2 | |a FST and TCS |n 11 |d 1991 |c Delhi |j Sonstige |0 (DE-588)2119905-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 560 |w (DE-604)BV000000607 |9 560 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002844824 | ||
Datensatz im Suchindex
| _version_ | 1804118753336623104 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV004633608 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.751 |
| callnumber-search | QA76.751 |
| callnumber-sort | QA 276.751 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 ST 230 |
| classification_tum | DAT 310f DAT 500f |
| ctrlnum | (OCoLC)611603216 (DE-599)BVBBV004633608 |
| dewey-full | 005 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005 |
| dewey-search | 005 |
| dewey-sort | 15 |
| 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>02406nam a2200661 cb4500</leader><controlfield tag="001">BV004633608</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070404 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">911104s1991 gw d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540549676</subfield><subfield code="9">3-540-54967-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387549676</subfield><subfield code="9">0-387-54967-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)611603216</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004633608</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-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.751</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</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 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software technology and theoretical computer science</subfield><subfield code="b">11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings</subfield><subfield code="c">FST and TCS 11 Conference. S. Biswas ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 419 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">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">560</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Congrès</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">algorithme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">génie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique théorique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie automate</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">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Delhi</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">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Biswas, Somenath</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FST and TCS</subfield><subfield code="n">11</subfield><subfield code="d">1991</subfield><subfield code="c">Delhi</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2119905-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">560</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">560</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002844824</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Delhi gnd-content |
| genre_facet | Konferenzschrift 1991 Delhi |
| id | DE-604.BV004633608 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:15:18Z |
| institution | BVB |
| institution_GND | (DE-588)2119905-X |
| isbn | 3540549676 0387549676 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002844824 |
| oclc_num | 611603216 |
| open_access_boolean | |
| owner | DE-384 DE-12 DE-739 DE-20 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 DE-188 DE-703 DE-706 |
| owner_facet | DE-384 DE-12 DE-739 DE-20 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-83 DE-11 DE-188 DE-703 DE-706 |
| physical | X, 419 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundations of software technology and theoretical computer science 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings FST and TCS 11 Conference. S. Biswas ... (eds.) Berlin [u.a.] Springer 1991 X, 419 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 560 Informatica gtt Informatique - Congrès ram Logiciels - Congrès Programmation (Informatique) - Congrès Programmatuurtechniek gtt algorithme inriac complexité inriac génie logiciel inriac informatique théorique inriac réécriture inriac sémantique inriac théorie automate inriac type inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Delhi gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Informatik (DE-588)4026894-9 s Biswas, Somenath Sonstige oth FST and TCS 11 1991 Delhi Sonstige (DE-588)2119905-X oth Lecture notes in computer science 560 (DE-604)BV000000607 560 |
| spellingShingle | Foundations of software technology and theoretical computer science 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings Lecture notes in computer science Informatica gtt Informatique - Congrès ram Logiciels - Congrès Programmation (Informatique) - Congrès Programmatuurtechniek gtt algorithme inriac complexité inriac génie logiciel inriac informatique théorique inriac réécriture inriac sémantique inriac théorie automate inriac type inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4196735-5 (DE-588)1071861417 |
| title | Foundations of software technology and theoretical computer science 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings |
| title_auth | Foundations of software technology and theoretical computer science 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings |
| title_exact_search | Foundations of software technology and theoretical computer science 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings |
| title_full | Foundations of software technology and theoretical computer science 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings FST and TCS 11 Conference. S. Biswas ... (eds.) |
| title_fullStr | Foundations of software technology and theoretical computer science 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings FST and TCS 11 Conference. S. Biswas ... (eds.) |
| title_full_unstemmed | Foundations of software technology and theoretical computer science 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings FST and TCS 11 Conference. S. Biswas ... (eds.) |
| title_short | Foundations of software technology and theoretical computer science |
| title_sort | foundations of software technology and theoretical computer science 11th conference new delhi india december 17 19 1991 proceedings |
| title_sub | 11th conference, New Delhi, India, December 17 - 19, 1991 ; proceedings |
| topic | Informatica gtt Informatique - Congrès ram Logiciels - Congrès Programmation (Informatique) - Congrès Programmatuurtechniek gtt algorithme inriac complexité inriac génie logiciel inriac informatique théorique inriac réécriture inriac sémantique inriac théorie automate inriac type inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd Theoretische Informatik (DE-588)4196735-5 gnd |
| topic_facet | Informatica Informatique - Congrès Logiciels - Congrès Programmation (Informatique) - Congrès Programmatuurtechniek algorithme complexité génie logiciel informatique théorique réécriture sémantique théorie automate type Informatik Computer science Congresses Computer software Congresses Theoretische Informatik Konferenzschrift 1991 Delhi |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT biswassomenath foundationsofsoftwaretechnologyandtheoreticalcomputerscience11thconferencenewdelhiindiadecember17191991proceedings AT fstandtcsdelhi foundationsofsoftwaretechnologyandtheoreticalcomputerscience11thconferencenewdelhiindiadecember17191991proceedings |