Holdings: Concurrency theory :: THWS Bibkatalog

Concurrency theory: calculi and automata for modelling untimed and timed concurrent systems

Saved in:

Bibliographic Details
Format:	Electronic eBook
Language:	English
Published:	London Springer 2006
Subjects:	Mathematisches Modell Nebenläufigkeit
Online Access:	BTU01 FHM01 UBG01 UBR01 UBY01 UPA01 Volltext
Physical Description:	1 Online-Ressource (XXIV, 435 S.)
ISBN:	9781852338954
DOI:	10.1007/1-84628-336-1

Staff View

MARC


LEADER	00000nmm a2200000 c 4500
001	BV022301191
003	DE-604
005	20070307
007	cr\|uuu---uuuuu
008	070307s2006 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
015			\|a 04,N52,0892 \|2 dnb
020			\|a 9781852338954 \|9 978-1-85233-895-4
024	7		\|a 10.1007/1-84628-336-1 \|2 doi
024	3		\|a 9781852338954
028	5	2	\|a 11302094
035			\|a (OCoLC)254115357
035			\|a (DE-599)BVBBV022301191
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-473 \|a DE-739 \|a DE-706 \|a DE-M347 \|a DE-634 \|a DE-355
082	0		\|a 004.015113
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
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 1 Online-Ressource (XXIV, 435 S.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
650	0	7	\|a Mathematisches Modell \|0 (DE-588)4114528-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|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 Bowman, Howard \|e Sonstige \|4 oth
700	1		\|a Gomez, Rodolfo \|e Sonstige \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Hardcover \|z 1-85233-895-4
856	4	0	\|u https://doi.org/ 10.1007/1-84628-336-1 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
999			\|a oai:aleph.bib-bvb.de:BVB01-015511181
966	e		\|u https://doi.org/ 10.1007/1-84628-336-1 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/ 10.1007/1-84628-336-1 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/ 10.1007/1-84628-336-1 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/ 10.1007/1-84628-336-1 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/ 10.1007/1-84628-336-1 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/ 10.1007/1-84628-336-1 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1804136318847942656
adam_txt
any_adam_object
any_adam_object_boolean
building	Verbundindex
bvnumber	BV022301191
classification_rvk	ST 130 ST 132
collection	ZDB-2-SCS
ctrlnum	(OCoLC)254115357 (DE-599)BVBBV022301191
dewey-full	004.015113
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.015113
dewey-search	004.015113
dewey-sort	14.015113
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
discipline_str_mv	Informatik Mathematik
doi_str_mv	10.1007/1-84628-336-1
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02157nmm a2200529 c 4500</leader><controlfield tag="001">BV022301191</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070307 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">070307s2006 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">04,N52,0892</subfield><subfield code="2">dnb</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="7" ind2=" "><subfield code="a">10.1007/1-84628-336-1</subfield><subfield code="2">doi</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)254115357</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022301191</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-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</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="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">1 Online-Ressource (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">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="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="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="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">Bowman, Howard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gomez, Rodolfo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">1-85233-895-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/ 10.1007/1-84628-336-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015511181</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/ 10.1007/1-84628-336-1</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/1-84628-336-1</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/1-84628-336-1</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/1-84628-336-1</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/1-84628-336-1</subfield><subfield code="l">UBY01</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/1-84628-336-1</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.BV022301191
illustrated	Not Illustrated
index_date	2024-07-02T16:55:06Z
indexdate	2024-07-09T20:54:30Z
institution	BVB
isbn	9781852338954
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-015511181
oclc_num	254115357
open_access_boolean
owner	DE-473 DE-BY-UBG DE-739 DE-706 DE-M347 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-739 DE-706 DE-M347 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XXIV, 435 S.)
psigel	ZDB-2-SCS
publishDate	2006
publishDateSearch	2006
publishDateSort	2006
publisher	Springer
record_format	marc
spelling	Concurrency theory calculi and automata for modelling untimed and timed concurrent systems Howard Bowman and Rodolfo Gomez London Springer 2006 1 Online-Ressource (XXIV, 435 S.) txt rdacontent c rdamedia cr rdacarrier Mathematisches Modell (DE-588)4114528-8 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 s Mathematisches Modell (DE-588)4114528-8 s DE-604 Bowman, Howard Sonstige oth Gomez, Rodolfo Sonstige oth Erscheint auch als Druck-Ausgabe, Hardcover 1-85233-895-4 https://doi.org/ 10.1007/1-84628-336-1 Verlag Volltext
spellingShingle	Concurrency theory calculi and automata for modelling untimed and timed concurrent systems Mathematisches Modell (DE-588)4114528-8 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4114528-8 (DE-588)4115352-2
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 (DE-588)4114528-8 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Mathematisches Modell Nebenläufigkeit
url	https://doi.org/ 10.1007/1-84628-336-1
work_keys_str_mv	AT bowmanhoward concurrencytheorycalculiandautomataformodellinguntimedandtimedconcurrentsystems AT gomezrodolfo concurrencytheorycalculiandautomataformodellinguntimedandtimedconcurrentsystems

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items