Nets, terms and formulas: three views of concurrent processes and their relationship
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge u.a.
Cambridge Univ. Press
1991
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Cambridge tracts in theoretical computer science
23 |
| Schlagwörter: | |
| Beschreibung: | Literaturverz. S. 241 - 252 |
| Umfang: | X, 267 S. graph. Darst. |
| ISBN: | 0521400449 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004802296 | ||
| 003 | DE-604 | ||
| 005 | 19920729 | ||
| 007 | t| | ||
| 008 | 920401s1991 xx d||| |||| 00||| eng d | ||
| 020 | |a 0521400449 |9 0-521-40044-9 | ||
| 035 | |a (OCoLC)26364162 | ||
| 035 | |a (DE-599)BVBBV004802296 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-12 |a DE-739 |a DE-634 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.58 | |
| 082 | 0 | |a 004.3/5 |2 20 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 100 | 1 | |a Olderog, Ernst-Rüdiger |d 1955- |e Verfasser |0 (DE-588)136626890 |4 aut | |
| 245 | 1 | 0 | |a Nets, terms and formulas |b three views of concurrent processes and their relationship |c E.-R. Olderog |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Press |c 1991 | |
| 300 | |a X, 267 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 23 | |
| 500 | |a Literaturverz. S. 241 - 252 | ||
| 650 | 4 | |a Parallélisme (Informatique) | |
| 650 | 7 | |a Petri netwerken |2 gtt | |
| 650 | 7 | |a Procesalgebra |2 gtt | |
| 650 | 4 | |a Systèmes, Conception de | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 4 | |a System design | |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Paralleler Prozess |0 (DE-588)4224684-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Paralleler Prozess |0 (DE-588)4224684-2 |D s |
| 689 | 1 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 23 |w (DE-604)BV000754528 |9 23 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002953245 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 516f 2001 B 1809 |
|---|---|
| DE-BY-TUM_katkey | 546797 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010531125 |
| _version_ | 1821938383336767489 |
| any_adam_object | |
| author | Olderog, Ernst-Rüdiger 1955- |
| author_GND | (DE-588)136626890 |
| author_facet | Olderog, Ernst-Rüdiger 1955- |
| author_role | aut |
| author_sort | Olderog, Ernst-Rüdiger 1955- |
| author_variant | e r o ero |
| building | Verbundindex |
| bvnumber | BV004802296 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58 |
| callnumber-search | QA76.58 |
| callnumber-sort | QA 276.58 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 140 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)26364162 (DE-599)BVBBV004802296 |
| dewey-full | 004.3/5 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.3/5 |
| dewey-search | 004.3/5 |
| dewey-sort | 14.3 15 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01898nam a2200529 cb4500</leader><controlfield tag="001">BV004802296</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19920729 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920401s1991 xx d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521400449</subfield><subfield code="9">0-521-40044-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26364162</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004802296</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="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.3/5</subfield><subfield code="2">20</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 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Olderog, Ernst-Rüdiger</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136626890</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Nets, terms and formulas</subfield><subfield code="b">three views of concurrent processes and their relationship</subfield><subfield code="c">E.-R. Olderog</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 267 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">Cambridge tracts in theoretical computer science</subfield><subfield code="v">23</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 241 - 252</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">Petri netwerken</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Procesalgebra</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes, Conception de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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">Paralleler Prozess</subfield><subfield code="0">(DE-588)4224684-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">23</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">23</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002953245</subfield></datafield></record></collection> |
| id | DE-604.BV004802296 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T08:23:06Z |
| institution | BVB |
| isbn | 0521400449 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002953245 |
| oclc_num | 26364162 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-12 DE-739 DE-634 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-12 DE-739 DE-634 DE-83 DE-11 |
| physical | X, 267 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spellingShingle | Olderog, Ernst-Rüdiger 1955- Nets, terms and formulas three views of concurrent processes and their relationship Cambridge tracts in theoretical computer science Parallélisme (Informatique) Petri netwerken gtt Procesalgebra gtt Systèmes, Conception de Parallel processing (Electronic computers) System design Nebenläufigkeit (DE-588)4115352-2 gnd Paralleler Prozess (DE-588)4224684-2 gnd Semantik (DE-588)4054490-4 gnd |
| subject_GND | (DE-588)4115352-2 (DE-588)4224684-2 (DE-588)4054490-4 |
| title | Nets, terms and formulas three views of concurrent processes and their relationship |
| title_auth | Nets, terms and formulas three views of concurrent processes and their relationship |
| title_exact_search | Nets, terms and formulas three views of concurrent processes and their relationship |
| title_full | Nets, terms and formulas three views of concurrent processes and their relationship E.-R. Olderog |
| title_fullStr | Nets, terms and formulas three views of concurrent processes and their relationship E.-R. Olderog |
| title_full_unstemmed | Nets, terms and formulas three views of concurrent processes and their relationship E.-R. Olderog |
| title_short | Nets, terms and formulas |
| title_sort | nets terms and formulas three views of concurrent processes and their relationship |
| title_sub | three views of concurrent processes and their relationship |
| topic | Parallélisme (Informatique) Petri netwerken gtt Procesalgebra gtt Systèmes, Conception de Parallel processing (Electronic computers) System design Nebenläufigkeit (DE-588)4115352-2 gnd Paralleler Prozess (DE-588)4224684-2 gnd Semantik (DE-588)4054490-4 gnd |
| topic_facet | Parallélisme (Informatique) Petri netwerken Procesalgebra Systèmes, Conception de Parallel processing (Electronic computers) System design Nebenläufigkeit Paralleler Prozess Semantik |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT olderogernstrudiger netstermsandformulasthreeviewsofconcurrentprocessesandtheirrelationship |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 516f 2001 B 1809 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |