Foundations of software technology and theoretical computer science: 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1992
|
| Schriftenreihe: | Lecture notes in computer science
652 |
| Schlagworte: | |
| Beschreibung: | XIII, 403 S. graph. Darst. |
| ISBN: | 3540562877 0387562877 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005890312 | ||
| 003 | DE-604 | ||
| 005 | 20070417 | ||
| 007 | t| | ||
| 008 | 921130s1992 gw d||| |||| 10||| eng d | ||
| 020 | |a 3540562877 |9 3-540-56287-7 | ||
| 020 | |a 0387562877 |9 0-387-56287-7 | ||
| 035 | |a (OCoLC)611603134 | ||
| 035 | |a (DE-599)BVBBV005890312 | ||
| 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-634 |a DE-83 |a DE-188 |a DE-11 |a DE-706 | ||
| 050 | 0 | |a QA76.751 | |
| 082 | 0 | |a 005 |2 20 | |
| 245 | 1 | 0 | |a Foundations of software technology and theoretical computer science |b 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings |c FST and TCS 12. R. Shyamasundar (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1992 | |
| 300 | |a XIII, 403 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 652 | |
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 4 | |a Informatique - Congrès | |
| 650 | 7 | |a Informatique - Congrès |2 ram | |
| 650 | 4 | |a Logiciels - Congrès | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a algorithme |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a géométrie algorithmique |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a spécification logiciel |2 inriac | |
| 650 | 7 | |a sémantique |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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Delhi |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Shyamasundar, Rudrapatna K. |d 1950- |e Sonstige |0 (DE-588)113120591 |4 oth | |
| 711 | 2 | |a FST and TCS |n 12 |d 1992 |c Delhi |j Sonstige |0 (DE-588)2126196-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 652 |w (DE-604)BV000000607 |9 652 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003687604 | |
Datensatz im Suchindex
| _version_ | 1820874839367352320 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)113120591 |
| building | Verbundindex |
| bvnumber | BV005890312 |
| 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 |
| ctrlnum | (OCoLC)611603134 (DE-599)BVBBV005890312 |
| 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>00000nam a2200000 cb4500</leader><controlfield tag="001">BV005890312</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070417</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">921130s1992 gw d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540562877</subfield><subfield code="9">3-540-56287-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387562877</subfield><subfield code="9">0-387-56287-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)611603134</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005890312</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-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</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="245" ind1="1" ind2="0"><subfield code="a">Foundations of software technology and theoretical computer science</subfield><subfield code="b">12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings</subfield><subfield code="c">FST and TCS 12. R. Shyamasundar (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 403 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">652</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Congrès</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="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">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">géométrie algorithmique</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">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">spécification logiciel</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Delhi</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Shyamasundar, Rudrapatna K.</subfield><subfield code="d">1950-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)113120591</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FST and TCS</subfield><subfield code="n">12</subfield><subfield code="d">1992</subfield><subfield code="c">Delhi</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2126196-9</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">652</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">652</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003687604</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Delhi gnd-content |
| genre_facet | Konferenzschrift 1992 Delhi |
| id | DE-604.BV005890312 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:07Z |
| institution | BVB |
| institution_GND | (DE-588)2126196-9 |
| isbn | 3540562877 0387562877 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003687604 |
| oclc_num | 611603134 |
| open_access_boolean | |
| owner | DE-384 DE-12 DE-739 DE-20 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-11 DE-706 |
| owner_facet | DE-384 DE-12 DE-739 DE-20 DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-634 DE-83 DE-188 DE-11 DE-706 |
| physical | XIII, 403 S. graph. Darst. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| 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 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings FST and TCS 12. R. Shyamasundar (ed.) Berlin [u.a.] Springer 1992 XIII, 403 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 652 Informatica gtt Informatique - Congrès Informatique - Congrès ram Logiciels - Congrès Programmatuurtechniek gtt algorithme inriac complexité inriac concurrence inriac géométrie algorithmique inriac informatique théorique inriac logique inriac programmation en logique inriac spécification logiciel inriac sémantique inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Delhi gnd-content Informatik (DE-588)4026894-9 s DE-604 Shyamasundar, Rudrapatna K. 1950- Sonstige (DE-588)113120591 oth FST and TCS 12 1992 Delhi Sonstige (DE-588)2126196-9 oth Lecture notes in computer science 652 (DE-604)BV000000607 652 |
| spellingShingle | Foundations of software technology and theoretical computer science 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings Lecture notes in computer science Informatica gtt Informatique - Congrès Informatique - Congrès ram Logiciels - Congrès Programmatuurtechniek gtt algorithme inriac complexité inriac concurrence inriac géométrie algorithmique inriac informatique théorique inriac logique inriac programmation en logique inriac spécification logiciel inriac sémantique inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)1071861417 |
| title | Foundations of software technology and theoretical computer science 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings |
| title_auth | Foundations of software technology and theoretical computer science 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings |
| title_exact_search | Foundations of software technology and theoretical computer science 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings |
| title_full | Foundations of software technology and theoretical computer science 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings FST and TCS 12. R. Shyamasundar (ed.) |
| title_fullStr | Foundations of software technology and theoretical computer science 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings FST and TCS 12. R. Shyamasundar (ed.) |
| title_full_unstemmed | Foundations of software technology and theoretical computer science 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings FST and TCS 12. R. Shyamasundar (ed.) |
| title_short | Foundations of software technology and theoretical computer science |
| title_sort | foundations of software technology and theoretical computer science 12th conference new delhi india december 18 20 1992 proceedings |
| title_sub | 12th conference New Delhi, India, December 18 - 20, 1992 ; proceedings |
| topic | Informatica gtt Informatique - Congrès Informatique - Congrès ram Logiciels - Congrès Programmatuurtechniek gtt algorithme inriac complexité inriac concurrence inriac géométrie algorithmique inriac informatique théorique inriac logique inriac programmation en logique inriac spécification logiciel inriac sémantique inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd |
| topic_facet | Informatica Informatique - Congrès Logiciels - Congrès Programmatuurtechniek algorithme complexité concurrence géométrie algorithmique informatique théorique logique programmation en logique spécification logiciel sémantique Informatik Computer science Congresses Computer software Congresses Konferenzschrift 1992 Delhi |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT shyamasundarrudrapatnak foundationsofsoftwaretechnologyandtheoreticalcomputerscience12thconferencenewdelhiindiadecember18201992proceedings AT fstandtcsdelhi foundationsofsoftwaretechnologyandtheoreticalcomputerscience12thconferencenewdelhiindiadecember18201992proceedings |