Holdings: Foundations of software science and computation structures

Foundations of software science and computation structures: 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

Saved in:

Bibliographic Details
Other Authors:	Jacobs, Bart 1963- (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin Springer [2016]
Series:	Lecture notes in computer science. Advanced research in computing and software science 9634
Subjects:	Theoretische Informatik Mathematische Logik Software Engineering Softwarewissenschaft Programmierung Programmiersprache Konferenzschrift
Physical Description:	XI, 550 Seiten Illustrationen
ISBN:	9783662496299

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV043513077
003	DE-604
007	t\|
008	160415s2016 xx a\|\|\| \|\|\|\| 10\|\|\| eng d
020			\|a 9783662496299 \|9 978-3-662-49629-9
035			\|a (OCoLC)939108658
035			\|a (DE-599)BVBBV043513077
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-83
082	0		\|a 004
245	1	0	\|a Foundations of software science and computation structures \|b 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings \|c Bart Jacobs, Christof Löding (eds.)
264		1	\|a Berlin \|b Springer \|c [2016]
300			\|a XI, 550 Seiten \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science. Advanced research in computing and software science \|v 9634
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|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 Softwarewissenschaft \|0 (DE-588)4502639-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0	1	\|a Softwarewissenschaft \|0 (DE-588)4502639-7 \|D s
689	0	2	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0	3	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|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	1	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	1		\|8 2\p \|5 DE-604
700	1		\|a Jacobs, Bart \|d 1963- \|0 (DE-588)172582164 \|4 edt
711	2		\|a FOSSACS \|n 19. \|d 2016 \|c Eindhoven \|0 (DE-588)1096773422 \|4 oth
711	2		\|a ETAPS \|n 19. \|d 2016 \|c Eindhoven \|0 (DE-588)1096357844 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-662-49630-5
830		0	\|a Lecture notes in computer science. Advanced research in computing and software science \|v 9634 \|w (DE-604)BV000000607 \|9 9634
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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028929216

Record in the Search Index

_version_	1820875687107493888
adam_text
any_adam_object
author2	Jacobs, Bart 1963-
author2_role	edt
author2_variant	b j bj
author_GND	(DE-588)172582164
author_facet	Jacobs, Bart 1963-
building	Verbundindex
bvnumber	BV043513077
classification_rvk	SS 4800
ctrlnum	(OCoLC)939108658 (DE-599)BVBBV043513077
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
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">BV043513077</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">160415s2016 xx a\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662496299</subfield><subfield code="9">978-3-662-49629-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)939108658</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043513077</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-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software science and computation structures</subfield><subfield code="b">19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings</subfield><subfield code="c">Bart Jacobs, Christof Löding (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 550 Seiten</subfield><subfield code="b">Illustrationen</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science. Advanced research in computing and software science</subfield><subfield code="v">9634</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">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">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">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</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="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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=" "><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="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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="700" ind1="1" ind2=" "><subfield code="a">Jacobs, Bart</subfield><subfield code="d">1963-</subfield><subfield code="0">(DE-588)172582164</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOSSACS</subfield><subfield code="n">19.</subfield><subfield code="d">2016</subfield><subfield code="c">Eindhoven</subfield><subfield code="0">(DE-588)1096773422</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">19.</subfield><subfield code="d">2016</subfield><subfield code="c">Eindhoven</subfield><subfield code="0">(DE-588)1096357844</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-662-49630-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science. Advanced research in computing and software science</subfield><subfield code="v">9634</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9634</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028929216</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV043513077
illustrated	Illustrated
indexdate	2025-01-10T15:19:36Z
institution	BVB
institution_GND	(DE-588)1096773422 (DE-588)1096357844
isbn	9783662496299
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028929216
oclc_num	939108658
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	XI, 550 Seiten Illustrationen
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Springer
record_format	marc
series	Lecture notes in computer science. Advanced research in computing and software science
series2	Lecture notes in computer science. Advanced research in computing and software science
spelling	Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Bart Jacobs, Christof Löding (eds.) Berlin Springer [2016] XI, 550 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science. Advanced research in computing and software science 9634 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Softwarewissenschaft (DE-588)4502639-7 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Theoretische Informatik (DE-588)4196735-5 s Softwarewissenschaft (DE-588)4502639-7 s Programmiersprache (DE-588)4047409-4 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Software Engineering (DE-588)4116521-4 s Programmierung (DE-588)4076370-5 s 2\p DE-604 Jacobs, Bart 1963- (DE-588)172582164 edt FOSSACS 19. 2016 Eindhoven (DE-588)1096773422 oth ETAPS 19. 2016 Eindhoven (DE-588)1096357844 oth Erscheint auch als Online-Ausgabe 978-3-662-49630-5 Lecture notes in computer science. Advanced research in computing and software science 9634 (DE-604)BV000000607 9634 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
spellingShingle	Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Lecture notes in computer science. Advanced research in computing and software science Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4037951-6 (DE-588)4116521-4 (DE-588)4502639-7 (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)1071861417
title	Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
title_auth	Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
title_exact_search	Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
title_full	Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Bart Jacobs, Christof Löding (eds.)
title_fullStr	Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Bart Jacobs, Christof Löding (eds.)
title_full_unstemmed	Foundations of software science and computation structures 19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Bart Jacobs, Christof Löding (eds.)
title_short	Foundations of software science and computation structures
title_sort	foundations of software science and computation structures 19th international conference fossacs 2016 held as part of the european joint conferences on theory and practice of software etaps 2016 eindhoven the netherlands april 2 8 2016 proceedings
title_sub	19th international conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd
topic_facet	Theoretische Informatik Mathematische Logik Software Engineering Softwarewissenschaft Programmierung Programmiersprache Konferenzschrift
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT jacobsbart foundationsofsoftwarescienceandcomputationstructures19thinternationalconferencefossacs2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings AT fossacseindhoven foundationsofsoftwarescienceandcomputationstructures19thinternationalconferencefossacs2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings AT etapseindhoven foundationsofsoftwarescienceandcomputationstructures19thinternationalconferencefossacs2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items