Holdings: Foundations of software science and computational structures

Foundations of software science and computational structures: 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	FOSSACS 2010 <2010, Paphos, Cyprus> (Author)
Format:	Electronic eBook
Language:	English
Published:	Berlin Springer c2010
Subjects:	System analysis / Congresses Theoretische Informatik Software Engineering Programmierung Konferenzschrift
Online Access:	Volltext
Item Description:	Includes bibliographical references and index
Physical Description:	1 Online-Ressource (xv, 388 p.)
ISBN:	9781280385889

Staff View

MARC


LEADER	00000nam a2200000zc 4500
001	BV041911530
003	DE-604
007	cr\|uuu---uuuuu
008	140612s2010 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9781280385889 \|c MyiLibrary \|9 978-1-280-38588-9
035			\|a (OCoLC)817074906
035			\|a (DE-599)BVBBV041911530
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
082	0		\|a 005.1 \|2 23
110	2		\|a FOSSACS 2010 <2010, Paphos, Cyprus> \|e Verfasser \|4 aut
245	1	0	\|a Foundations of software science and computational structures \|b 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings \|c Luke Ong (Ed.)
264		1	\|a Berlin \|b Springer \|c c2010
300			\|a 1 Online-Ressource (xv, 388 p.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a Includes bibliographical references and index
650		4	\|a System analysis / Congresses
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	1		\|8 2\p \|5 DE-604
689	2	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	2		\|8 3\p \|5 DE-604
700	1		\|a Ong, Luke \|e Sonstige \|4 oth
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 3-642-12031-8
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-642-12031-2
856	4	0	\|u http://lib.myilibrary.com?id=356380 \|x Aggregator \|3 Volltext
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-26-MYL
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027355198

Record in the Search Index

_version_	1820875573104214016
adam_text
any_adam_object
author_corporate	FOSSACS 2010 <2010, Paphos, Cyprus>
author_corporate_role	aut
author_facet	FOSSACS 2010 <2010, Paphos, Cyprus>
author_sort	FOSSACS 2010 <2010, Paphos, Cyprus>
building	Verbundindex
bvnumber	BV041911530
classification_rvk	SS 4800
collection	ZDB-26-MYL
ctrlnum	(OCoLC)817074906 (DE-599)BVBBV041911530
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV041911530</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140612s2010 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280385889</subfield><subfield code="c">MyiLibrary</subfield><subfield code="9">978-1-280-38588-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)817074906</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041911530</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">FOSSACS 2010 <2010, Paphos, Cyprus></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software science and computational structures</subfield><subfield code="b">13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings</subfield><subfield code="c">Luke Ong (Ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">c2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xv, 388 p.)</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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System analysis / Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ong, Luke</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">Druckausgabe</subfield><subfield code="z">3-642-12031-8</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-642-12031-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://lib.myilibrary.com?id=356380</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-26-MYL</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027355198</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV041911530
illustrated	Not Illustrated
indexdate	2025-01-10T15:17:47Z
institution	BVB
isbn	9781280385889
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027355198
oclc_num	817074906
open_access_boolean
physical	1 Online-Ressource (xv, 388 p.)
psigel	ZDB-26-MYL
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
spelling	FOSSACS 2010 <2010, Paphos, Cyprus> Verfasser aut Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings Luke Ong (Ed.) Berlin Springer c2010 1 Online-Ressource (xv, 388 p.) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references and index System analysis / Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Programmierung (DE-588)4076370-5 s 1\p DE-604 Software Engineering (DE-588)4116521-4 s 2\p DE-604 Theoretische Informatik (DE-588)4196735-5 s 3\p DE-604 Ong, Luke Sonstige oth Erscheint auch als Druckausgabe 3-642-12031-8 Erscheint auch als Druckausgabe 978-3-642-12031-2 http://lib.myilibrary.com?id=356380 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings System analysis / Congresses Theoretische Informatik (DE-588)4196735-5 gnd Software Engineering (DE-588)4116521-4 gnd Programmierung (DE-588)4076370-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4116521-4 (DE-588)4076370-5 (DE-588)1071861417
title	Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
title_auth	Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
title_exact_search	Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
title_full	Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings Luke Ong (Ed.)
title_fullStr	Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings Luke Ong (Ed.)
title_full_unstemmed	Foundations of software science and computational structures 13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings Luke Ong (Ed.)
title_short	Foundations of software science and computational structures
title_sort	foundations of software science and computational structures 13th international conference fossacs 2010 held as part of the joint european conferences on theory and practice of software etaps 2010 paphos cyprus march 20 28 2010 proceedings
title_sub	13th international conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings
topic	System analysis / Congresses Theoretische Informatik (DE-588)4196735-5 gnd Software Engineering (DE-588)4116521-4 gnd Programmierung (DE-588)4076370-5 gnd
topic_facet	System analysis / Congresses Theoretische Informatik Software Engineering Programmierung Konferenzschrift
url	http://lib.myilibrary.com?id=356380
work_keys_str_mv	AT fossacs20102010paphoscyprus foundationsofsoftwarescienceandcomputationalstructures13thinternationalconferencefossacs2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings AT ongluke foundationsofsoftwarescienceandcomputationalstructures13thinternationalconferencefossacs2010heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2010paphoscyprusmarch20282010proceedings

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