Verfügbarkeit: Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency:

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Fajstrup, Lisbeth (HerausgeberIn), Goubault, Eric (HerausgeberIn), Haucourt, Emmanuel (HerausgeberIn), Mimram, Samuel (HerausgeberIn), Raussen, Martin 1954- (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham Springer 2016
Schlagworte:	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
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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge