Directed Algebraic Topology and Concurrency:
Gespeichert in:
| Weitere Verfasser: | , , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
2016
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FRO01 HTW01 UBG01 UBM01 UBR01 UBT01 UBW01 UER01 UPA01 URL des Erstveröffentlichers Abstract |
| Beschreibung: | 1 Online-Ressource (XI, 167 p. 1 illus) |
| ISBN: | 9783319153988 |
| DOI: | 10.1007/978-3-319-15398-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043504086 | ||
| 003 | DE-604 | ||
| 005 | 20160712 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160411s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319153988 |c Online |9 978-3-319-15398-8 | ||
| 024 | 7 | |a 10.1007/978-3-319-15398-8 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-3-319-15398-8 | ||
| 035 | |a (OCoLC)946134282 | ||
| 035 | |a (DE-599)BVBBV043504086 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-523 |a DE-19 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-20 |a DE-739 |a DE-634 |a DE-92 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 245 | 1 | 0 | |a Directed Algebraic Topology and Concurrency |c by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen |
| 264 | 1 | |a Cham |b Springer |c 2016 | |
| 300 | |a 1 Online-Ressource (XI, 167 p. 1 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Computer mathematics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Math Applications in Computer Science | |
| 650 | 4 | |a Algebraic Topology | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Complexity | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Mathematical Applications in Computer Science | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Topologie |0 (DE-588)4120861-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 2 | |a Algebraische Topologie |0 (DE-588)4120861-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Fajstrup, Lisbeth |0 (DE-588)1111598312 |4 edt | |
| 700 | 1 | |a Goubault, Eric |4 edt | |
| 700 | 1 | |a Haucourt, Emmanuel |4 edt | |
| 700 | 1 | |a Mimram, Samuel |4 edt | |
| 700 | 1 | |a Raussen, Martin |d 1954- |0 (DE-588)1111599823 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-15397-1 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-15398-8 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920431&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028920431 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l FHA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l FHI01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l FHN01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l FHR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l FKE01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l FRO01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l UER01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-15398-8 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176141481672704 |
|---|---|
| adam_text | DIRECTED ALGEBRAIC TOPOLOGY AND CONCURRENCY
/ FAJSTRUP, LISBETH
: 2016
ABSTRACT / INHALTSTEXT
THIS MONOGRAPH PRESENTS AN APPLICATION OF CONCEPTS AND METHODS FROM
ALGEBRAIC TOPOLOGY TO MODELS OF CONCURRENT PROCESSES IN COMPUTER SCIENCE
AND THEIR ANALYSIS. TAKING WELL-KNOWN DISCRETE MODELS FOR CONCURRENT
PROCESSES IN RESOURCE MANAGEMENT AS A POINT OF DEPARTURE, THE BOOK GOES
ON TO REFINE COMBINATORIAL AND TOPOLOGICAL MODELS. IN THE PROCESS, IT
DEVELOPS TOOLS AND INVARIANTS FOR THE NEW DISCIPLINE DIRECTED ALGEBRAIC
TOPOLOGY, WHICH IS DRIVEN BY FUNDAMENTAL RESEARCH INTERESTS AS WELL AS
BY APPLICATIONS, PRIMARILY IN THE STATIC ANALYSIS OF CONCURRENT
PROGRAMS. THE STATE SPACE OF A CONCURRENT PROGRAM IS DESCRIBED AS A
HIGHER-DIMENSIONAL SPACE, THE TOPOLOGY OF WHICH ENCODES THE ESSENTIAL
PROPERTIES OF THE SYSTEM. IN ORDER TO ANALYSE ALL POSSIBLE EXECUTIONS IN
THE STATE SPACE, MORE THAN “JUST” THE TOPOLOGICAL PROPERTIES HAVE TO
BE CONSIDERED: EXECUTION PATHS NEED TO RESPECT A PARTIAL ORDER GIVEN BY
THE TIME FLOW. AS A RESULT, TOOLS AND CONCEPTS FROM TOPOLOGY HAVE TO BE
EXTENDED TO TAKE PRIVILEGED DIRECTIONS INTO ACCOUNT. THE TARGET AUDIENCE
FOR THIS BOOK CONSISTS OF GRADUATE STUDENTS, RESEARCHERS AND
PRACTITIONERS IN THE FIELD, MATHEMATICIANS AND COMPUTER SCIENTISTS ALIKE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Fajstrup, Lisbeth Goubault, Eric Haucourt, Emmanuel Mimram, Samuel Raussen, Martin 1954- |
| author2_role | edt edt edt edt edt |
| author2_variant | l f lf e g eg e h eh s m sm m r mr |
| author_GND | (DE-588)1111598312 (DE-588)1111599823 |
| author_facet | Fajstrup, Lisbeth Goubault, Eric Haucourt, Emmanuel Mimram, Samuel Raussen, Martin 1954- |
| building | Verbundindex |
| bvnumber | BV043504086 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-3-319-15398-8 (OCoLC)946134282 (DE-599)BVBBV043504086 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-15398-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04096nmm a2200817zc 4500</leader><controlfield tag="001">BV043504086</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160712 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160411s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319153988</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-15398-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-15398-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-319-15398-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)946134282</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043504086</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Directed Algebraic Topology and Concurrency</subfield><subfield code="c">by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 167 p. 1 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Math Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic Topology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Applications in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Algebraische Topologie</subfield><subfield code="0">(DE-588)4120861-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Algebraische Topologie</subfield><subfield code="0">(DE-588)4120861-4</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">Fajstrup, Lisbeth</subfield><subfield code="0">(DE-588)1111598312</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Goubault, Eric</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Haucourt, Emmanuel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mimram, Samuel</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Raussen, Martin</subfield><subfield code="d">1954-</subfield><subfield code="0">(DE-588)1111599823</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-15397-1</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920431&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028920431</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-15398-8</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043504086 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:27:28Z |
| institution | BVB |
| isbn | 9783319153988 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028920431 |
| oclc_num | 946134282 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-523 DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-739 DE-634 DE-92 |
| owner_facet | DE-355 DE-BY-UBR DE-523 DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-739 DE-634 DE-92 |
| physical | 1 Online-Ressource (XI, 167 p. 1 illus) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| spelling | Directed Algebraic Topology and Concurrency by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen Cham Springer 2016 1 Online-Ressource (XI, 167 p. 1 illus) txt rdacontent c rdamedia cr rdacarrier Computers Computer science / Mathematics Computer mathematics Computer Science Math Applications in Computer Science Algebraic Topology Mathematical Logic and Formal Languages Complexity Computation by Abstract Devices Mathematical Applications in Computer Science Informatik Mathematik Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Algebraische Topologie (DE-588)4120861-4 gnd rswk-swf Informatik (DE-588)4026894-9 s Mathematische Logik (DE-588)4037951-6 s Algebraische Topologie (DE-588)4120861-4 s DE-604 Fajstrup, Lisbeth (DE-588)1111598312 edt Goubault, Eric edt Haucourt, Emmanuel edt Mimram, Samuel edt Raussen, Martin 1954- (DE-588)1111599823 edt Erscheint auch als Druckausgabe 978-3-319-15397-1 https://doi.org/10.1007/978-3-319-15398-8 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920431&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Directed Algebraic Topology and Concurrency Computers Computer science / Mathematics Computer mathematics Computer Science Math Applications in Computer Science Algebraic Topology Mathematical Logic and Formal Languages Complexity Computation by Abstract Devices Mathematical Applications in Computer Science Informatik Mathematik Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd Algebraische Topologie (DE-588)4120861-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4026894-9 (DE-588)4120861-4 |
| title | Directed Algebraic Topology and Concurrency |
| title_auth | Directed Algebraic Topology and Concurrency |
| title_exact_search | Directed Algebraic Topology and Concurrency |
| title_full | Directed Algebraic Topology and Concurrency by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen |
| title_fullStr | Directed Algebraic Topology and Concurrency by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen |
| title_full_unstemmed | Directed Algebraic Topology and Concurrency by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen |
| title_short | Directed Algebraic Topology and Concurrency |
| title_sort | directed algebraic topology and concurrency |
| topic | Computers Computer science / Mathematics Computer mathematics Computer Science Math Applications in Computer Science Algebraic Topology Mathematical Logic and Formal Languages Complexity Computation by Abstract Devices Mathematical Applications in Computer Science Informatik Mathematik Mathematische Logik (DE-588)4037951-6 gnd Informatik (DE-588)4026894-9 gnd Algebraische Topologie (DE-588)4120861-4 gnd |
| topic_facet | Computers Computer science / Mathematics Computer mathematics Computer Science Math Applications in Computer Science Algebraic Topology Mathematical Logic and Formal Languages Complexity Computation by Abstract Devices Mathematical Applications in Computer Science Informatik Mathematik Mathematische Logik Algebraische Topologie |
| url | https://doi.org/10.1007/978-3-319-15398-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028920431&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT fajstruplisbeth directedalgebraictopologyandconcurrency AT goubaulteric directedalgebraictopologyandconcurrency AT haucourtemmanuel directedalgebraictopologyandconcurrency AT mimramsamuel directedalgebraictopologyandconcurrency AT raussenmartin directedalgebraictopologyandconcurrency |