Holdings: Mathematical techniques for analyzing concurrent and probabilistic systems

Mathematical techniques for analyzing concurrent and probabilistic systems:

Saved in:

Bibliographic Details
Main Authors:	Rutten, J. J. M. M. (Author), Kwiatkowska, Marta (Author), Norman, Gethin (Author)
Other Authors:	Panangaden, Prakash 1954- (Editor), Breugel, Franck van (Editor)
Format:	Electronic eBook
Language:	English
Published:	Providence, Rhode Island American Mathematical Society [2004]
Series:	CRM monograph series volume 23
Subjects:	Systèmes, Analyse de aSystem analysis Systemanalyse Stochastisches System Nebenläufigkeit
Online Access:	Volltext
Item Description:	Includes bibliographical references (p. 209-215)
Physical Description:	1 Online-Ressource
ISBN:	9781470438678
DOI:	10.1090/crmm/023

Staff View

MARC


LEADER	00000nmm a2200000zcb4500
001	BV045934938
003	DE-604
005	20191223
007	cr\|uuu---uuuuu
008	190613s2004 xxu\|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9781470438678 \|9 978-1-4704-3867-8
024	7		\|a 10.1090/crmm/023 \|2 doi
035			\|a (OCoLC)1104864492
035			\|a (DE-599)BVBBV045934938
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
044			\|a xxu \|c US
049			\|a DE-83
050		0	\|a QA402
082	0		\|a 003 \|2 22
084			\|a ST 237 \|0 (DE-625)143623: \|2 rvk
100	1		\|a Rutten, J. J. M. M. \|4 aut
245	1	0	\|a Mathematical techniques for analyzing concurrent and probabilistic systems \|c J.J.M.M. Rutten, Marta Kwiatkowska, Gehtin Norman ; Prakash Panangaden, Franck van Breugel, editors
264		1	\|a Providence, Rhode Island \|b American Mathematical Society \|c [2004]
264		4	\|c © 2004
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a CRM monograph series \|v volume 23
500			\|a Includes bibliographical references (p. 209-215)
650		4	\|a Systèmes, Analyse de
650		4	\|a aSystem analysis
650	0	7	\|a Systemanalyse \|0 (DE-588)4116673-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Stochastisches System \|0 (DE-588)4057635-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 Systemanalyse \|0 (DE-588)4116673-5 \|D s
689	0	1	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	0	2	\|a Stochastisches System \|0 (DE-588)4057635-8 \|D s
689	0		\|5 DE-604
700	1		\|a Kwiatkowska, Marta \|4 aut
700	1		\|a Norman, Gethin \|e Verfasser \|4 aut
700	1		\|a Panangaden, Prakash \|d 1954- \|0 (DE-588)139823573 \|4 edt
700	1		\|a Breugel, Franck van \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-0-8218-3571-5
810	2		\|a Centre de Recherches Mathématiques <Montréal> \|t CRM monograph series \|v 23 \|w (DE-604)BV045923938 \|9 23
856	4	0	\|u https://doi.org/10.1090/crmm/023 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-138-AMK
999			\|a oai:aleph.bib-bvb.de:BVB01-031317293

Record in the Search Index

_version_	1804180126590566400
any_adam_object
author	Rutten, J. J. M. M. Kwiatkowska, Marta Norman, Gethin
author2	Panangaden, Prakash 1954- Breugel, Franck van
author2_role	edt edt
author2_variant	p p pp f v b fv fvb
author_GND	(DE-588)139823573
author_facet	Rutten, J. J. M. M. Kwiatkowska, Marta Norman, Gethin Panangaden, Prakash 1954- Breugel, Franck van
author_role	aut aut aut
author_sort	Rutten, J. J. M. M.
author_variant	j j m m r jjmm jjmmr m k mk g n gn
building	Verbundindex
bvnumber	BV045934938
callnumber-first	Q - Science
callnumber-label	QA402
callnumber-raw	QA402
callnumber-search	QA402
callnumber-sort	QA 3402
callnumber-subject	QA - Mathematics
classification_rvk	ST 237
collection	ZDB-138-AMK
ctrlnum	(OCoLC)1104864492 (DE-599)BVBBV045934938
dewey-full	003
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	003 - Systems
dewey-raw	003
dewey-search	003
dewey-sort	13
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1090/crmm/023
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02127nmm a2200553zcb4500</leader><controlfield tag="001">BV045934938</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191223 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">190613s2004 xxu\|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781470438678</subfield><subfield code="9">978-1-4704-3867-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1090/crmm/023</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1104864492</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045934938</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="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA402</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 237</subfield><subfield code="0">(DE-625)143623:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rutten, J. J. M. M.</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical techniques for analyzing concurrent and probabilistic systems</subfield><subfield code="c">J.J.M.M. Rutten, Marta Kwiatkowska, Gehtin Norman ; Prakash Panangaden, Franck van Breugel, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, Rhode Island</subfield><subfield code="b">American Mathematical Society</subfield><subfield code="c">[2004]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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="490" ind1="1" ind2=" "><subfield code="a">CRM monograph series</subfield><subfield code="v">volume 23</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 209-215)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes, Analyse de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aSystem analysis</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Stochastisches System</subfield><subfield code="0">(DE-588)4057635-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">Kwiatkowska, Marta</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Norman, Gethin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Panangaden, Prakash</subfield><subfield code="d">1954-</subfield><subfield code="0">(DE-588)139823573</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Breugel, Franck van</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-0-8218-3571-5</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Centre de Recherches Mathématiques <Montréal></subfield><subfield code="t">CRM monograph series</subfield><subfield code="v">23</subfield><subfield code="w">(DE-604)BV045923938</subfield><subfield code="9">23</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1090/crmm/023</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-138-AMK</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031317293</subfield></datafield></record></collection>
id	DE-604.BV045934938
illustrated	Not Illustrated
indexdate	2024-07-10T08:30:48Z
institution	BVB
isbn	9781470438678
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-031317293
oclc_num	1104864492
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	1 Online-Ressource
psigel	ZDB-138-AMK
publishDate	2004
publishDateSearch	2004
publishDateSort	2004
publisher	American Mathematical Society
record_format	marc
series2	CRM monograph series
spelling	Rutten, J. J. M. M. aut Mathematical techniques for analyzing concurrent and probabilistic systems J.J.M.M. Rutten, Marta Kwiatkowska, Gehtin Norman ; Prakash Panangaden, Franck van Breugel, editors Providence, Rhode Island American Mathematical Society [2004] © 2004 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier CRM monograph series volume 23 Includes bibliographical references (p. 209-215) Systèmes, Analyse de aSystem analysis Systemanalyse (DE-588)4116673-5 gnd rswk-swf Stochastisches System (DE-588)4057635-8 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Systemanalyse (DE-588)4116673-5 s Nebenläufigkeit (DE-588)4115352-2 s Stochastisches System (DE-588)4057635-8 s DE-604 Kwiatkowska, Marta aut Norman, Gethin Verfasser aut Panangaden, Prakash 1954- (DE-588)139823573 edt Breugel, Franck van edt Erscheint auch als Druck-Ausgabe 978-0-8218-3571-5 Centre de Recherches Mathématiques <Montréal> CRM monograph series 23 (DE-604)BV045923938 23 https://doi.org/10.1090/crmm/023 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Rutten, J. J. M. M. Kwiatkowska, Marta Norman, Gethin Mathematical techniques for analyzing concurrent and probabilistic systems Systèmes, Analyse de aSystem analysis Systemanalyse (DE-588)4116673-5 gnd Stochastisches System (DE-588)4057635-8 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4116673-5 (DE-588)4057635-8 (DE-588)4115352-2
title	Mathematical techniques for analyzing concurrent and probabilistic systems
title_auth	Mathematical techniques for analyzing concurrent and probabilistic systems
title_exact_search	Mathematical techniques for analyzing concurrent and probabilistic systems
title_full	Mathematical techniques for analyzing concurrent and probabilistic systems J.J.M.M. Rutten, Marta Kwiatkowska, Gehtin Norman ; Prakash Panangaden, Franck van Breugel, editors
title_fullStr	Mathematical techniques for analyzing concurrent and probabilistic systems J.J.M.M. Rutten, Marta Kwiatkowska, Gehtin Norman ; Prakash Panangaden, Franck van Breugel, editors
title_full_unstemmed	Mathematical techniques for analyzing concurrent and probabilistic systems J.J.M.M. Rutten, Marta Kwiatkowska, Gehtin Norman ; Prakash Panangaden, Franck van Breugel, editors
title_short	Mathematical techniques for analyzing concurrent and probabilistic systems
title_sort	mathematical techniques for analyzing concurrent and probabilistic systems
topic	Systèmes, Analyse de aSystem analysis Systemanalyse (DE-588)4116673-5 gnd Stochastisches System (DE-588)4057635-8 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Systèmes, Analyse de aSystem analysis Systemanalyse Stochastisches System Nebenläufigkeit
url	https://doi.org/10.1090/crmm/023
volume_link	(DE-604)BV045923938
work_keys_str_mv	AT ruttenjjmm mathematicaltechniquesforanalyzingconcurrentandprobabilisticsystems AT kwiatkowskamarta mathematicaltechniquesforanalyzingconcurrentandprobabilisticsystems AT normangethin mathematicaltechniquesforanalyzingconcurrentandprobabilisticsystems AT panangadenprakash mathematicaltechniquesforanalyzingconcurrentandprobabilisticsystems AT breugelfranckvan mathematicaltechniquesforanalyzingconcurrentandprobabilisticsystems

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