Holdings: Coalgebraic methods in computer science

Coalgebraic methods in computer science: 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers

Saved in:

Bibliographic Details
Other Authors:	Pattinson, Dirk (Editor)
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin [u.a.] Springer 2012
Series:	Lecture Notes in Computer Science 7399
Subjects:	Koalgebra Konferenzschrift > 2012 > Tallinn
Online Access:	Volltext
Physical Description:	1 Online-Ressource (258 S.) graph. Darst. 235 mm x 155 mm
ISBN:	3642327834 9783642327841
DOI:	10.1007/978-3-642-32784-1

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV040523368
003	DE-604
005	20191204
007	cr\|uuu---uuuuu
008	121106s2012 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
015			\|a 12,N31 \|2 dnb
020			\|a 3642327834 \|9 3-642-32783-4
020			\|a 9783642327841 \|c eISBN \|9 978-3-642-32784-1
024	7		\|a 10.1007/978-3-642-32784-1 \|2 doi
024	3		\|a 9783642327834
028	5	2	\|a Best.-Nr.: 86152860
035			\|a (OCoLC)812052382
035			\|a (DE-599)BVBBV040523368
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-19 \|a DE-355 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-634
082	0		\|a 004.01512 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a MAT 169f \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a DAT 500f \|2 stub
245	1	0	\|a Coalgebraic methods in computer science \|b 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers \|c Dirk Pattinson ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a 1 Online-Ressource (258 S.) \|b graph. Darst. \|c 235 mm x 155 mm
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 7399
650	0	7	\|a Koalgebra \|0 (DE-588)4164324-0 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Tallinn \|2 gnd-content
689	0	0	\|a Koalgebra \|0 (DE-588)4164324-0 \|D s
689	0		\|5 DE-604
700	1		\|a Pattinson, Dirk \|4 edt
711	2		\|a CMCS \|n 11. \|d 2012 \|c Tallinn \|j Sonstige \|0 (DE-588)102626085X \|4 oth
711	2		\|a ETAPS \|n 15 \|d 2012 \|c Tallinn \|j Sonstige \|0 (DE-588)16343910-2 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-32783-4
830		0	\|a Lecture Notes in Computer Science \|v 7399 \|w (DE-604)BV014880109 \|9 7399
856	4	0	\|u https://doi.org/10.1007/978-3-642-32784-1 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025369614

Record in the Search Index

_version_	1820875432752316416
adam_text
any_adam_object
author2	Pattinson, Dirk
author2_role	edt
author2_variant	d p dp
author_facet	Pattinson, Dirk
building	Verbundindex
bvnumber	BV040523368
classification_rvk	SS 4800
classification_tum	MAT 169f DAT 000 DAT 500f
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)812052382 (DE-599)BVBBV040523368
dewey-full	004.01512
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.01512
dewey-search	004.01512
dewey-sort	14.01512
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
doi_str_mv	10.1007/978-3-642-32784-1
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV040523368</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191204</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">121106s2012 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642327834</subfield><subfield code="9">3-642-32783-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642327841</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-32784-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-32784-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642327834</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86152860</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812052382</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040523368</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.01512</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 169f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Coalgebraic methods in computer science</subfield><subfield code="b">11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers</subfield><subfield code="c">Dirk Pattinson ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (258 S.)</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">Lecture Notes in Computer Science</subfield><subfield code="v">7399</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Koalgebra</subfield><subfield code="0">(DE-588)4164324-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Tallinn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Koalgebra</subfield><subfield code="0">(DE-588)4164324-0</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">Pattinson, Dirk</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CMCS</subfield><subfield code="n">11.</subfield><subfield code="d">2012</subfield><subfield code="c">Tallinn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)102626085X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">15</subfield><subfield code="d">2012</subfield><subfield code="c">Tallinn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16343910-2</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, Paperback</subfield><subfield code="z">978-3-642-32783-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7399</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7399</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-32784-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025369614</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Tallinn gnd-content
genre_facet	Konferenzschrift 2012 Tallinn
id	DE-604.BV040523368
illustrated	Illustrated
indexdate	2025-01-10T15:15:33Z
institution	BVB
institution_GND	(DE-588)102626085X (DE-588)16343910-2
isbn	3642327834 9783642327841
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025369614
oclc_num	812052382
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634
physical	1 Online-Ressource (258 S.) graph. Darst. 235 mm x 155 mm
psigel	ZDB-2-LNC ZDB-2-SCS
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Dirk Pattinson ... (eds.) Berlin [u.a.] Springer 2012 1 Online-Ressource (258 S.) graph. Darst. 235 mm x 155 mm txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 7399 Koalgebra (DE-588)4164324-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Tallinn gnd-content Koalgebra (DE-588)4164324-0 s DE-604 Pattinson, Dirk edt CMCS 11. 2012 Tallinn Sonstige (DE-588)102626085X oth ETAPS 15 2012 Tallinn Sonstige (DE-588)16343910-2 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-32783-4 Lecture Notes in Computer Science 7399 (DE-604)BV014880109 7399 https://doi.org/10.1007/978-3-642-32784-1 Verlag Volltext
spellingShingle	Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Lecture Notes in Computer Science Koalgebra (DE-588)4164324-0 gnd
subject_GND	(DE-588)4164324-0 (DE-588)1071861417
title	Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers
title_auth	Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers
title_exact_search	Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers
title_full	Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Dirk Pattinson ... (eds.)
title_fullStr	Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Dirk Pattinson ... (eds.)
title_full_unstemmed	Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers Dirk Pattinson ... (eds.)
title_short	Coalgebraic methods in computer science
title_sort	coalgebraic methods in computer science 11th international workshop cmcs 2012 colocated with etaps 2012 tallinn estonia march 31 april 1 2012 revised selected papers
title_sub	11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012 ; revised selected papers
topic	Koalgebra (DE-588)4164324-0 gnd
topic_facet	Koalgebra Konferenzschrift 2012 Tallinn
url	https://doi.org/10.1007/978-3-642-32784-1
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT pattinsondirk coalgebraicmethodsincomputerscience11thinternationalworkshopcmcs2012colocatedwithetaps2012tallinnestoniamarch31april12012revisedselectedpapers AT cmcstallinn coalgebraicmethodsincomputerscience11thinternationalworkshopcmcs2012colocatedwithetaps2012tallinnestoniamarch31april12012revisedselectedpapers AT etapstallinn coalgebraicmethodsincomputerscience11thinternationalworkshopcmcs2012colocatedwithetaps2012tallinnestoniamarch31april12012revisedselectedpapers

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