Concurrency theory: calculi and automata for modelling untimed and timed concurrent systems
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
London
Springer
2006
|
| Schlagworte: | |
| Beschreibung: | XXIV, 435 S. |
| ISBN: | 1852338954 9781852338954 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021538659 | ||
| 003 | DE-604 | ||
| 005 | 20060802 | ||
| 007 | t | ||
| 008 | 060404s2006 |||| 00||| eng d | ||
| 015 | |a 04,N52,0892 |2 dnb | ||
| 016 | 7 | |a 972850007 |2 DE-101 | |
| 020 | |a 1852338954 |c Gb. (Pr. in Vorb.) |9 1-85233-895-4 | ||
| 020 | |a 9781852338954 |9 978-1-85233-895-4 | ||
| 024 | 3 | |a 9781852338954 | |
| 028 | 5 | 2 | |a 11302094 |
| 035 | |a (OCoLC)62927715 | ||
| 035 | |a (DE-599)BVBBV021538659 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-384 |a DE-634 | ||
| 050 | 0 | |a QA76.58 | |
| 082 | 0 | |a 004.015113 |2 22 | |
| 082 | 0 | |a 004/.35 |2 22 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Bowman, Howard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Concurrency theory |b calculi and automata for modelling untimed and timed concurrent systems |c Howard Bowman and Rodolfo Gomez |
| 264 | 1 | |a London |b Springer |c 2006 | |
| 300 | |a XXIV, 435 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a LOTOS (Computer program language) | |
| 650 | 4 | |a Machine theory | |
| 650 | 4 | |a Parallel processing (Electronic computers) |x Mathematical models | |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematisches Modell |0 (DE-588)4114528-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | 1 | |a Mathematisches Modell |0 (DE-588)4114528-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gomez, Rodolfo |e Verfasser |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014754892 | ||
Datensatz im Suchindex
| _version_ | 1804135288790843393 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Bowman, Howard Gomez, Rodolfo |
| author_facet | Bowman, Howard Gomez, Rodolfo |
| author_role | aut aut |
| author_sort | Bowman, Howard |
| author_variant | h b hb r g rg |
| building | Verbundindex |
| bvnumber | BV021538659 |
| 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 132 |
| ctrlnum | (OCoLC)62927715 (DE-599)BVBBV021538659 |
| dewey-full | 004.015113 004/.35 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.015113 004/.35 |
| dewey-search | 004.015113 004/.35 |
| dewey-sort | 14.015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01686nam a2200505 c 4500</leader><controlfield tag="001">BV021538659</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060802 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060404s2006 |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">04,N52,0892</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">972850007</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1852338954</subfield><subfield code="c">Gb. (Pr. in Vorb.)</subfield><subfield code="9">1-85233-895-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781852338954</subfield><subfield code="9">978-1-85233-895-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781852338954</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11302094</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)62927715</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021538659</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-473</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</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.015113</subfield><subfield code="2">22</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.35</subfield><subfield code="2">22</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 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bowman, Howard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concurrency theory</subfield><subfield code="b">calculi and automata for modelling untimed and timed concurrent systems</subfield><subfield code="c">Howard Bowman and Rodolfo Gomez</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIV, 435 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="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">LOTOS (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="x">Mathematical models</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">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</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="1"><subfield code="a">Mathematisches Modell</subfield><subfield code="0">(DE-588)4114528-8</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">Gomez, Rodolfo</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014754892</subfield></datafield></record></collection> |
| id | DE-604.BV021538659 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T14:27:36Z |
| indexdate | 2024-07-09T20:38:08Z |
| institution | BVB |
| isbn | 1852338954 9781852338954 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014754892 |
| oclc_num | 62927715 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-384 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-384 DE-634 |
| physical | XXIV, 435 S. |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Springer |
| record_format | marc |
| spelling | Bowman, Howard Verfasser aut Concurrency theory calculi and automata for modelling untimed and timed concurrent systems Howard Bowman and Rodolfo Gomez London Springer 2006 XXIV, 435 S. txt rdacontent n rdamedia nc rdacarrier Mathematisches Modell LOTOS (Computer program language) Machine theory Parallel processing (Electronic computers) Mathematical models Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Mathematisches Modell (DE-588)4114528-8 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 s Mathematisches Modell (DE-588)4114528-8 s DE-604 Gomez, Rodolfo Verfasser aut |
| spellingShingle | Bowman, Howard Gomez, Rodolfo Concurrency theory calculi and automata for modelling untimed and timed concurrent systems Mathematisches Modell LOTOS (Computer program language) Machine theory Parallel processing (Electronic computers) Mathematical models Nebenläufigkeit (DE-588)4115352-2 gnd Mathematisches Modell (DE-588)4114528-8 gnd |
| subject_GND | (DE-588)4115352-2 (DE-588)4114528-8 |
| title | Concurrency theory calculi and automata for modelling untimed and timed concurrent systems |
| title_auth | Concurrency theory calculi and automata for modelling untimed and timed concurrent systems |
| title_exact_search | Concurrency theory calculi and automata for modelling untimed and timed concurrent systems |
| title_exact_search_txtP | Concurrency theory calculi and automata for modelling untimed and timed concurrent systems |
| title_full | Concurrency theory calculi and automata for modelling untimed and timed concurrent systems Howard Bowman and Rodolfo Gomez |
| title_fullStr | Concurrency theory calculi and automata for modelling untimed and timed concurrent systems Howard Bowman and Rodolfo Gomez |
| title_full_unstemmed | Concurrency theory calculi and automata for modelling untimed and timed concurrent systems Howard Bowman and Rodolfo Gomez |
| title_short | Concurrency theory |
| title_sort | concurrency theory calculi and automata for modelling untimed and timed concurrent systems |
| title_sub | calculi and automata for modelling untimed and timed concurrent systems |
| topic | Mathematisches Modell LOTOS (Computer program language) Machine theory Parallel processing (Electronic computers) Mathematical models Nebenläufigkeit (DE-588)4115352-2 gnd Mathematisches Modell (DE-588)4114528-8 gnd |
| topic_facet | Mathematisches Modell LOTOS (Computer program language) Machine theory Parallel processing (Electronic computers) Mathematical models Nebenläufigkeit |
| work_keys_str_mv | AT bowmanhoward concurrencytheorycalculiandautomataformodellinguntimedandtimedconcurrentsystems AT gomezrodolfo concurrencytheorycalculiandautomataformodellinguntimedandtimedconcurrentsystems |