Logics and models of concurrent systems:
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1985
|
| Schriftenreihe: | Nato: Nato advanced science institutes series / F
13 |
| Schlagworte: | |
| Beschreibung: | VIII, 498 S. |
| ISBN: | 3540151818 0387151818 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000492697 | ||
| 003 | DE-604 | ||
| 005 | 20100329 | ||
| 007 | t| | ||
| 008 | 870612s1985 xx |||| 00||| eng d | ||
| 020 | |a 3540151818 |9 3-540-15181-8 | ||
| 020 | |a 0387151818 |9 0-387-15181-8 | ||
| 035 | |a (OCoLC)12022032 | ||
| 035 | |a (DE-599)BVBBV000492697 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-384 |a DE-739 |a DE-20 | ||
| 050 | 0 | |a QA76.5 | |
| 082 | 0 | |a 001.64 |2 19 | |
| 084 | |a SD 1984 |0 (DE-625)142718: |2 rvk | ||
| 245 | 1 | 0 | |a Logics and models of concurrent systems |c ed. by Krzysztof R. Apt |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1985 | |
| 300 | |a VIII, 498 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Nato: Nato advanced science institutes series / F |v 13 | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a modélisation |2 inriac | |
| 650 | 7 | |a programme concurrent |2 inriac | |
| 650 | 7 | |a système réparti |2 inriac | |
| 650 | 7 | |a système |2 inriac | |
| 650 | 7 | |a traitement parallèle |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing |v Congresses | |
| 650 | 4 | |a Parallel processing (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1984 |z La Colle-sur-Loup |2 gnd-content | |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Apt, Krzysztof R. |d 1949- |e Sonstige |0 (DE-588)110139763 |4 oth | |
| 711 | 2 | |a Advanced Study Institute on Logics and Models of Concurrent Systems |d 1984 |c La Colle-sur-Loup |j Sonstige |0 (DE-588)2081764-2 |4 oth | |
| 810 | 2 | |a F |t Nato: Nato advanced science institutes series |v 13 |w (DE-604)BV000013052 |9 13 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-000304671 | |
Datensatz im Suchindex
| _version_ | 1820875971602939904 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)110139763 |
| building | Verbundindex |
| bvnumber | BV000492697 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.5 |
| callnumber-search | QA76.5 |
| callnumber-sort | QA 276.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1984 |
| ctrlnum | (OCoLC)12022032 (DE-599)BVBBV000492697 |
| dewey-full | 001.64 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.64 |
| dewey-search | 001.64 |
| dewey-sort | 11.64 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Mathematik |
| 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">BV000492697</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100329</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">870612s1985 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540151818</subfield><subfield code="9">3-540-15181-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387151818</subfield><subfield code="9">0-387-15181-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)12022032</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000492697</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-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1984</subfield><subfield code="0">(DE-625)142718:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logics and models of concurrent systems</subfield><subfield code="c">ed. by Krzysztof R. Apt</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 498 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="1" ind2=" "><subfield code="a">Nato: Nato advanced science institutes series / F</subfield><subfield code="v">13</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">logique temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modélisation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programme concurrent</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</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">traitement parallèle</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">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="v">Congresses</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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</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">1984</subfield><subfield code="z">La Colle-sur-Loup</subfield><subfield code="2">gnd-content</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">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Advanced Study Institute on Logics and Models of Concurrent Systems</subfield><subfield code="d">1984</subfield><subfield code="c">La Colle-sur-Loup</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2081764-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">F</subfield><subfield code="t">Nato: Nato advanced science institutes series</subfield><subfield code="v">13</subfield><subfield code="w">(DE-604)BV000013052</subfield><subfield code="9">13</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000304671</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1984 La Colle-sur-Loup gnd-content |
| genre_facet | Konferenzschrift 1984 La Colle-sur-Loup |
| id | DE-604.BV000492697 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:24:07Z |
| institution | BVB |
| institution_GND | (DE-588)2081764-2 |
| isbn | 3540151818 0387151818 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000304671 |
| oclc_num | 12022032 |
| open_access_boolean | |
| owner | DE-12 DE-384 DE-739 DE-20 |
| owner_facet | DE-12 DE-384 DE-739 DE-20 |
| physical | VIII, 498 S. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| publisher | Springer |
| record_format | marc |
| series2 | Nato: Nato advanced science institutes series / F |
| spelling | Logics and models of concurrent systems ed. by Krzysztof R. Apt Berlin u.a. Springer 1985 VIII, 498 S. txt rdacontent n rdamedia nc rdacarrier Nato: Nato advanced science institutes series / F 13 concurrence inriac logique temporelle inriac modélisation inriac programme concurrent inriac système réparti inriac système inriac traitement parallèle inriac Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Verteiltes System (DE-588)4238872-7 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1984 La Colle-sur-Loup gnd-content Parallelverarbeitung (DE-588)4075860-6 s DE-604 Verteiltes System (DE-588)4238872-7 s 1\p DE-604 Apt, Krzysztof R. 1949- Sonstige (DE-588)110139763 oth Advanced Study Institute on Logics and Models of Concurrent Systems 1984 La Colle-sur-Loup Sonstige (DE-588)2081764-2 oth F Nato: Nato advanced science institutes series 13 (DE-604)BV000013052 13 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Logics and models of concurrent systems concurrence inriac logique temporelle inriac modélisation inriac programme concurrent inriac système réparti inriac système inriac traitement parallèle inriac Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Verteiltes System (DE-588)4238872-7 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)4075860-6 (DE-588)1071861417 |
| title | Logics and models of concurrent systems |
| title_auth | Logics and models of concurrent systems |
| title_exact_search | Logics and models of concurrent systems |
| title_full | Logics and models of concurrent systems ed. by Krzysztof R. Apt |
| title_fullStr | Logics and models of concurrent systems ed. by Krzysztof R. Apt |
| title_full_unstemmed | Logics and models of concurrent systems ed. by Krzysztof R. Apt |
| title_short | Logics and models of concurrent systems |
| title_sort | logics and models of concurrent systems |
| topic | concurrence inriac logique temporelle inriac modélisation inriac programme concurrent inriac système réparti inriac système inriac traitement parallèle inriac Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Verteiltes System (DE-588)4238872-7 gnd Parallelverarbeitung (DE-588)4075860-6 gnd |
| topic_facet | concurrence logique temporelle modélisation programme concurrent système réparti système traitement parallèle Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Verteiltes System Parallelverarbeitung Konferenzschrift 1984 La Colle-sur-Loup |
| volume_link | (DE-604)BV000013052 |
| work_keys_str_mv | AT aptkrzysztofr logicsandmodelsofconcurrentsystems AT advancedstudyinstituteonlogicsandmodelsofconcurrentsystemslacollesurloup logicsandmodelsofconcurrentsystems |