communicating sequential processes:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Englewood Cliffs, NJ [u.a.]
Prentice/Hall Internat.
1985
|
| Ausgabe: | 1.print. |
| Schriftenreihe: | Prentice-Hall International series in computer science
|
| Schlagworte: | |
| Beschreibung: | VIII; 256 S. |
| ISBN: | 0131532715 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021867843 | ||
| 003 | DE-604 | ||
| 005 | 20040229000000.0 | ||
| 007 | t | ||
| 008 | 860128s1985 |||| 00||| eng d | ||
| 020 | |a 0131532715 |9 0-13-153271-5 | ||
| 035 | |a (OCoLC)11345080 | ||
| 035 | |a (DE-599)BVBBV021867843 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005 |2 19 | |
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 273 |0 (DE-625)143640: |2 rvk | ||
| 100 | 1 | |a Hoare, Charles A. R. |d 1934- |e Verfasser |0 (DE-588)119103265 |4 aut | |
| 245 | 1 | 0 | |a communicating sequential processes |c C.A.R. Hoare |
| 250 | |a 1.print. | ||
| 264 | 1 | |a Englewood Cliffs, NJ [u.a.] |b Prentice/Hall Internat. |c 1985 | |
| 300 | |a VIII; 256 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Prentice-Hall International series in computer science | |
| 650 | 7 | |a Parallelle verwerking |2 gtt | |
| 650 | 4 | |a Parallélisme (Informatique) | |
| 650 | 7 | |a Parallélisme (informatique) |2 ram | |
| 650 | 4 | |a Programmation (Informatique) | |
| 650 | 7 | |a communication |2 inriac | |
| 650 | 7 | |a conception système |2 inriac | |
| 650 | 7 | |a décomposition système |2 inriac | |
| 650 | 7 | |a loi algébrique |2 inriac | |
| 650 | 7 | |a non déterminisme |2 inriac | |
| 650 | 7 | |a parallélisme |2 inriac | |
| 650 | 7 | |a partage ressource |2 inriac | |
| 650 | 7 | |a processus séquentiel |2 inriac | |
| 650 | 7 | |a processus |2 inriac | |
| 650 | 7 | |a système exploitation |2 inriac | |
| 650 | 7 | |a théorie mathématique |2 inriac | |
| 650 | 7 | |a trace |2 inriac | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 0 | 7 | |a Paralleler Prozess |0 (DE-588)4224684-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozesskommunikation |0 (DE-588)4176067-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessdatenverarbeitung |0 (DE-588)4123996-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CSP |0 (DE-588)4329097-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a CSP |0 (DE-588)4329097-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Prozesskommunikation |0 (DE-588)4176067-0 |D s |
| 689 | 2 | 1 | |a Prozessdatenverarbeitung |0 (DE-588)4123996-9 |D s |
| 689 | 2 | 2 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 689 | 3 | 0 | |a Paralleler Prozess |0 (DE-588)4224684-2 |D s |
| 689 | 3 | |8 2\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015084055 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804135805886660608 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Hoare, Charles A. R. 1934- |
| author_GND | (DE-588)119103265 |
| author_facet | Hoare, Charles A. R. 1934- |
| author_role | aut |
| author_sort | Hoare, Charles A. R. 1934- |
| author_variant | c a r h car carh |
| building | Verbundindex |
| bvnumber | BV021867843 |
| 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 | QH 500 ST 130 ST 150 ST 230 ST 273 |
| ctrlnum | (OCoLC)11345080 (DE-599)BVBBV021867843 |
| 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 Wirtschaftswissenschaften |
| discipline_str_mv | Informatik Wirtschaftswissenschaften |
| edition | 1.print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02901nam a2200793zc 4500</leader><controlfield tag="001">BV021867843</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040229000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">860128s1985 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0131532715</subfield><subfield code="9">0-13-153271-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)11345080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021867843</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><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</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</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">ST 273</subfield><subfield code="0">(DE-625)143640:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hoare, Charles A. R.</subfield><subfield code="d">1934-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119103265</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">communicating sequential processes</subfield><subfield code="c">C.A.R. Hoare</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1.print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Englewood Cliffs, NJ [u.a.]</subfield><subfield code="b">Prentice/Hall Internat.</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII; 256 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="0" ind2=" "><subfield code="a">Prentice-Hall International series in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallelle verwerking</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallélisme (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallélisme (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">communication</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">conception système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">décomposition système</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">loi algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">non déterminisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">parallélisme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">partage ressource</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processus séquentiel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">processus</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système exploitation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">trace</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozesskommunikation</subfield><subfield code="0">(DE-588)4176067-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessdatenverarbeitung</subfield><subfield code="0">(DE-588)4123996-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CSP</subfield><subfield code="0">(DE-588)4329097-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</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">CSP</subfield><subfield code="0">(DE-588)4329097-8</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">Prozesskommunikation</subfield><subfield code="0">(DE-588)4176067-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Prozessdatenverarbeitung</subfield><subfield code="0">(DE-588)4123996-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015084055</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV021867843 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:18Z |
| indexdate | 2024-07-09T20:46:21Z |
| institution | BVB |
| isbn | 0131532715 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015084055 |
| oclc_num | 11345080 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | VIII; 256 S. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | Prentice/Hall Internat. |
| record_format | marc |
| series2 | Prentice-Hall International series in computer science |
| spelling | Hoare, Charles A. R. 1934- Verfasser (DE-588)119103265 aut communicating sequential processes C.A.R. Hoare 1.print. Englewood Cliffs, NJ [u.a.] Prentice/Hall Internat. 1985 VIII; 256 S. txt rdacontent n rdamedia nc rdacarrier Prentice-Hall International series in computer science Parallelle verwerking gtt Parallélisme (Informatique) Parallélisme (informatique) ram Programmation (Informatique) communication inriac conception système inriac décomposition système inriac loi algébrique inriac non déterminisme inriac parallélisme inriac partage ressource inriac processus séquentiel inriac processus inriac système exploitation inriac théorie mathématique inriac trace inriac Computer programming Parallel processing (Electronic computers) Paralleler Prozess (DE-588)4224684-2 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Prozesskommunikation (DE-588)4176067-0 gnd rswk-swf Prozessdatenverarbeitung (DE-588)4123996-9 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf CSP (DE-588)4329097-8 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 s DE-604 CSP (DE-588)4329097-8 s Prozesskommunikation (DE-588)4176067-0 s Prozessdatenverarbeitung (DE-588)4123996-9 s Verteiltes System (DE-588)4238872-7 s 1\p DE-604 Paralleler Prozess (DE-588)4224684-2 s 2\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hoare, Charles A. R. 1934- communicating sequential processes Parallelle verwerking gtt Parallélisme (Informatique) Parallélisme (informatique) ram Programmation (Informatique) communication inriac conception système inriac décomposition système inriac loi algébrique inriac non déterminisme inriac parallélisme inriac partage ressource inriac processus séquentiel inriac processus inriac système exploitation inriac théorie mathématique inriac trace inriac Computer programming Parallel processing (Electronic computers) Paralleler Prozess (DE-588)4224684-2 gnd Verteiltes System (DE-588)4238872-7 gnd Prozesskommunikation (DE-588)4176067-0 gnd Prozessdatenverarbeitung (DE-588)4123996-9 gnd Parallelverarbeitung (DE-588)4075860-6 gnd CSP (DE-588)4329097-8 gnd |
| subject_GND | (DE-588)4224684-2 (DE-588)4238872-7 (DE-588)4176067-0 (DE-588)4123996-9 (DE-588)4075860-6 (DE-588)4329097-8 |
| title | communicating sequential processes |
| title_auth | communicating sequential processes |
| title_exact_search | communicating sequential processes |
| title_exact_search_txtP | communicating sequential processes |
| title_full | communicating sequential processes C.A.R. Hoare |
| title_fullStr | communicating sequential processes C.A.R. Hoare |
| title_full_unstemmed | communicating sequential processes C.A.R. Hoare |
| title_short | communicating sequential processes |
| title_sort | communicating sequential processes |
| topic | Parallelle verwerking gtt Parallélisme (Informatique) Parallélisme (informatique) ram Programmation (Informatique) communication inriac conception système inriac décomposition système inriac loi algébrique inriac non déterminisme inriac parallélisme inriac partage ressource inriac processus séquentiel inriac processus inriac système exploitation inriac théorie mathématique inriac trace inriac Computer programming Parallel processing (Electronic computers) Paralleler Prozess (DE-588)4224684-2 gnd Verteiltes System (DE-588)4238872-7 gnd Prozesskommunikation (DE-588)4176067-0 gnd Prozessdatenverarbeitung (DE-588)4123996-9 gnd Parallelverarbeitung (DE-588)4075860-6 gnd CSP (DE-588)4329097-8 gnd |
| topic_facet | Parallelle verwerking Parallélisme (Informatique) Parallélisme (informatique) Programmation (Informatique) communication conception système décomposition système loi algébrique non déterminisme parallélisme partage ressource processus séquentiel processus système exploitation théorie mathématique trace Computer programming Parallel processing (Electronic computers) Paralleler Prozess Verteiltes System Prozesskommunikation Prozessdatenverarbeitung Parallelverarbeitung CSP |
| work_keys_str_mv | AT hoarecharlesar communicatingsequentialprocesses |