Advances in computing science - ASIAN '99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London
Springer
1999
|
| Schriftenreihe: | Lecture notes in computer science
1742 |
| Schlagworte: | |
| Beschreibung: | XI, 395 S. graph. Darst. |
| ISBN: | 354066856X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012862165 | ||
| 003 | DE-604 | ||
| 005 | 20000207 | ||
| 007 | t| | ||
| 008 | 991109s1999 gw d||| |||| 10||| eng d | ||
| 020 | |a 354066856X |9 3-540-66856-X | ||
| 035 | |a (OCoLC)42882803 | ||
| 035 | |a (DE-599)BVBBV012862165 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-91G |a DE-706 | ||
| 050 | 0 | |a QA75.5 | |
| 082 | 0 | |a 004 |2 21 | |
| 084 | |a DAT 001f |2 stub | ||
| 111 | 2 | |a Asian Computing Science Conference |n 5 |d 1999 |c Bhūket |j Verfasser |0 (DE-588)2180192-7 |4 aut | |
| 245 | 1 | 0 | |a Advances in computing science - ASIAN '99 |b 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings |c P. S. Thiagarajan ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London |b Springer |c 1999 | |
| 300 | |a XI, 395 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 1742 | |
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 4 | |a Informatique - Congrès | |
| 650 | 7 | |a Informatique - Congrès |2 ram | |
| 650 | 4 | |a Technologie de l'information - Congrès | |
| 650 | 7 | |a informatique mobile |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a méthode formelle |2 inriac | |
| 650 | 7 | |a raisonnement automatique |2 inriac | |
| 650 | 7 | |a système embarqué |2 inriac | |
| 650 | 7 | |a système réparti |2 inriac | |
| 650 | 7 | |a système temps réel |2 inriac | |
| 650 | 7 | |a vérification formelle |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Electronic data processing |v Congresses | |
| 650 | 0 | 7 | |a Formale Sprache |0 (DE-588)4017848-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Berechnungstheorie |0 (DE-588)4005581-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1999 |z Phuket Stadt |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Formale Sprache |0 (DE-588)4017848-1 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Berechnungstheorie |0 (DE-588)4005581-4 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Thiagarajan, Pazhamaneri S. |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1742 |w (DE-604)BV000000607 |9 1742 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008752742 | |
Datensatz im Suchindex
| _version_ | 1820874887093288960 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_corporate | Asian Computing Science Conference Bhūket |
| author_corporate_role | aut |
| author_facet | Asian Computing Science Conference Bhūket |
| author_sort | Asian Computing Science Conference Bhūket |
| building | Verbundindex |
| bvnumber | BV012862165 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5 |
| callnumber-search | QA75.5 |
| callnumber-sort | QA 275.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 001f |
| ctrlnum | (OCoLC)42882803 (DE-599)BVBBV012862165 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| 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">BV012862165</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000207</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">991109s1999 gw d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354066856X</subfield><subfield code="9">3-540-66856-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)42882803</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012862165</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 001f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Asian Computing Science Conference</subfield><subfield code="n">5</subfield><subfield code="d">1999</subfield><subfield code="c">Bhūket</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2180192-7</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in computing science - ASIAN '99</subfield><subfield code="b">5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings</subfield><subfield code="c">P. S. Thiagarajan ... (eds.)</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">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 395 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">1742</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">Technologie de l'information - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique mobile</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">méthode formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement automatique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système embarqué</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système réparti</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système temps réel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification formelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</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">Electronic data processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">1999</subfield><subfield code="z">Phuket Stadt</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="689" ind1="1" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">Formale Sprache</subfield><subfield code="0">(DE-588)4017848-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Berechnungstheorie</subfield><subfield code="0">(DE-588)4005581-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Thiagarajan, Pazhamaneri S.</subfield><subfield code="e">Sonstige</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">1742</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1742</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008752742</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1999 Phuket Stadt gnd-content |
| genre_facet | Konferenzschrift 1999 Phuket Stadt |
| id | DE-604.BV012862165 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:52Z |
| institution | BVB |
| institution_GND | (DE-588)2180192-7 |
| isbn | 354066856X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008752742 |
| oclc_num | 42882803 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-91G DE-BY-TUM DE-706 |
| owner_facet | DE-384 DE-739 DE-91G DE-BY-TUM DE-706 |
| physical | XI, 395 S. graph. Darst. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Asian Computing Science Conference 5 1999 Bhūket Verfasser (DE-588)2180192-7 aut Advances in computing science - ASIAN '99 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings P. S. Thiagarajan ... (eds.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 1999 XI, 395 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1742 Informatica gtt Informatique - Congrès Informatique - Congrès ram Technologie de l'information - Congrès informatique mobile inriac informatique théorique inriac méthode formelle inriac raisonnement automatique inriac système embarqué inriac système réparti inriac système temps réel inriac vérification formelle inriac Datenverarbeitung Informatik Computer science Congresses Electronic data processing Congresses Formale Sprache (DE-588)4017848-1 gnd rswk-swf Berechnungstheorie (DE-588)4005581-4 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1999 Phuket Stadt gnd-content Informatik (DE-588)4026894-9 s DE-604 Automatisches Beweisverfahren (DE-588)4069034-9 s Formale Sprache (DE-588)4017848-1 s Programmiersprache (DE-588)4047409-4 s Berechnungstheorie (DE-588)4005581-4 s Thiagarajan, Pazhamaneri S. Sonstige oth Lecture notes in computer science 1742 (DE-604)BV000000607 1742 |
| spellingShingle | Advances in computing science - ASIAN '99 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings Lecture notes in computer science Informatica gtt Informatique - Congrès Informatique - Congrès ram Technologie de l'information - Congrès informatique mobile inriac informatique théorique inriac méthode formelle inriac raisonnement automatique inriac système embarqué inriac système réparti inriac système temps réel inriac vérification formelle inriac Datenverarbeitung Informatik Computer science Congresses Electronic data processing Congresses Formale Sprache (DE-588)4017848-1 gnd Berechnungstheorie (DE-588)4005581-4 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Informatik (DE-588)4026894-9 gnd Programmiersprache (DE-588)4047409-4 gnd |
| subject_GND | (DE-588)4017848-1 (DE-588)4005581-4 (DE-588)4069034-9 (DE-588)4026894-9 (DE-588)4047409-4 (DE-588)1071861417 |
| title | Advances in computing science - ASIAN '99 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings |
| title_auth | Advances in computing science - ASIAN '99 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings |
| title_exact_search | Advances in computing science - ASIAN '99 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings |
| title_full | Advances in computing science - ASIAN '99 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings P. S. Thiagarajan ... (eds.) |
| title_fullStr | Advances in computing science - ASIAN '99 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings P. S. Thiagarajan ... (eds.) |
| title_full_unstemmed | Advances in computing science - ASIAN '99 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings P. S. Thiagarajan ... (eds.) |
| title_short | Advances in computing science - ASIAN '99 |
| title_sort | advances in computing science asian 99 5th asian computing science conference phuket thailand december 10 12 1999 proceedings |
| title_sub | 5th Asian Computing Science Conference, Phuket, Thailand, December 10 - 12, 1999 ; proceedings |
| topic | Informatica gtt Informatique - Congrès Informatique - Congrès ram Technologie de l'information - Congrès informatique mobile inriac informatique théorique inriac méthode formelle inriac raisonnement automatique inriac système embarqué inriac système réparti inriac système temps réel inriac vérification formelle inriac Datenverarbeitung Informatik Computer science Congresses Electronic data processing Congresses Formale Sprache (DE-588)4017848-1 gnd Berechnungstheorie (DE-588)4005581-4 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Informatik (DE-588)4026894-9 gnd Programmiersprache (DE-588)4047409-4 gnd |
| topic_facet | Informatica Informatique - Congrès Technologie de l'information - Congrès informatique mobile informatique théorique méthode formelle raisonnement automatique système embarqué système réparti système temps réel vérification formelle Datenverarbeitung Informatik Computer science Congresses Electronic data processing Congresses Formale Sprache Berechnungstheorie Automatisches Beweisverfahren Programmiersprache Konferenzschrift 1999 Phuket Stadt |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT asiancomputingscienceconferencebhuket advancesincomputingscienceasian995thasiancomputingscienceconferencephuketthailanddecember10121999proceedings AT thiagarajanpazhamaneris advancesincomputingscienceasian995thasiancomputingscienceconferencephuketthailanddecember10121999proceedings |