Verfügbarkeit: Foundations of software science and computational structures

Foundations of software science and computational structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Seidl, Helmut (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2007
Schriftenreihe:	Lecture Notes in Computer Science 4423
Schlagworte:	Theoretische Informatik Software Engineering Programmierung Konferenzschrift > 2007 > Braga
Online-Zugang:	DE-634 DE-M347 DE-91 DE-384 DE-473 DE-19 DE-706 DE-739 DE-355 Volltext
Beschreibung:	1 Online-Ressource (XVI, 377 S.) graph. Darst.
ISBN:	9783540713883 9783540713890
DOI:	10.1007/978-3-540-71389-0

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV023375923
003	DE-604
005	20080708
007	cr\|uuu---uuuuu
008	080702s2007 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783540713883 \|9 978-3-540-71388-3
020			\|a 9783540713890 \|c Online \|9 978-3-540-71389-0
024	7		\|a 10.1007/978-3-540-71389-0 \|2 doi
035			\|a (OCoLC)255837109
035			\|a (DE-599)BVBBV023375923
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-19 \|a DE-473 \|a DE-706 \|a DE-91 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-634 \|a DE-355
082	0		\|a 005.12
084			\|a 004 \|2 sdnb
084			\|a DAT 000 \|2 stub
084			\|a DAT 500f \|2 stub
245	1	0	\|a Foundations of software science and computational structures \|b 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings \|c Helmut Seidl (Ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2007
300			\|a 1 Online-Ressource (XVI, 377 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 4423
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 \|y 2007 \|z Braga \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	1		\|5 DE-604
689	2	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	2		\|5 DE-604
700	1		\|a Seidl, Helmut \|0 (DE-588)120733285 \|4 edt
711	2		\|a FOSSACS \|n 10 \|d 2007 \|c Braga \|j Sonstige \|0 (DE-588)6063709-2 \|4 oth
711	2		\|a ETAPS \|n 10 \|d 2007 \|c Braga \|j Sonstige \|0 (DE-588)6063710-9 \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 4423 \|w (DE-604)BV014880109 \|9 4423
856	4	0	\|u https://doi.org/10.1007/978-3-540-71389-0 \|x Verlag \|3 Volltext
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016559105
966	e		\|u https://doi.org/10.1007/978-3-540-71389-0 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-71389-0 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-71389-0 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-71389-0 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-71389-0 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-71389-0 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-71389-0 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-71389-0 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-540-71389-0 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875044733059072
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author2	Seidl, Helmut
author2_role	edt
author2_variant	h s hs
author_GND	(DE-588)120733285
author_facet	Seidl, Helmut
building	Verbundindex
bvnumber	BV023375923
classification_rvk	SS 4800
classification_tum	DAT 000 DAT 500f
collection	ZDB-2-SCS
ctrlnum	(OCoLC)255837109 (DE-599)BVBBV023375923
dewey-full	005.12
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.12
dewey-search	005.12
dewey-sort	15.12
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/978-3-540-71389-0
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">BV023375923</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080708</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">080702s2007 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540713883</subfield><subfield code="9">978-3-540-71388-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540713890</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-540-71389-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-540-71389-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)255837109</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023375923</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-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</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">005.12</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">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">Foundations of software science and computational structures</subfield><subfield code="b">10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings</subfield><subfield code="c">Helmut Seidl (Ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 377 S.)</subfield><subfield code="b">graph. Darst.</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">4423</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="y">2007</subfield><subfield code="z">Braga</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seidl, Helmut</subfield><subfield code="0">(DE-588)120733285</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOSSACS</subfield><subfield code="n">10</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063709-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">10</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063710-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">4423</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">4423</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-540-71389-0</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016559105</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-540-71389-0</subfield><subfield code="l">DE-634</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/978-3-540-71389-0</subfield><subfield code="l">DE-M347</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/978-3-540-71389-0</subfield><subfield code="l">DE-91</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/978-3-540-71389-0</subfield><subfield code="l">DE-384</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/978-3-540-71389-0</subfield><subfield code="l">DE-473</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/978-3-540-71389-0</subfield><subfield code="l">DE-19</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/978-3-540-71389-0</subfield><subfield code="l">DE-706</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/978-3-540-71389-0</subfield><subfield code="l">DE-739</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/978-3-540-71389-0</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2007 Braga gnd-content
genre_facet	Konferenzschrift 2007 Braga
id	DE-604.BV023375923
illustrated	Illustrated
index_date	2024-07-02T21:14:30Z
indexdate	2025-01-10T15:09:23Z
institution	BVB
institution_GND	(DE-588)6063709-2 (DE-588)6063710-9
isbn	9783540713883 9783540713890
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016559105
oclc_num	255837109
open_access_boolean
owner	DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-706 DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-706 DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XVI, 377 S.) graph. Darst.
psigel	ZDB-2-SCS
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Foundations of software science and computational structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings Helmut Seidl (Ed.) Berlin [u.a.] Springer 2007 1 Online-Ressource (XVI, 377 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 4423 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 2007 Braga gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Programmierung (DE-588)4076370-5 s Software Engineering (DE-588)4116521-4 s Seidl, Helmut (DE-588)120733285 edt FOSSACS 10 2007 Braga Sonstige (DE-588)6063709-2 oth ETAPS 10 2007 Braga Sonstige (DE-588)6063710-9 oth Lecture Notes in Computer Science 4423 (DE-604)BV014880109 4423 https://doi.org/10.1007/978-3-540-71389-0 Verlag Volltext
spellingShingle	Foundations of software science and computational structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings Lecture Notes in Computer Science 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 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings
title_auth	Foundations of software science and computational structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings
title_exact_search	Foundations of software science and computational structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings
title_exact_search_txtP	Foundations of software science and computational structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings
title_full	Foundations of software science and computational structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings Helmut Seidl (Ed.)
title_fullStr	Foundations of software science and computational structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings Helmut Seidl (Ed.)
title_full_unstemmed	Foundations of software science and computational structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings Helmut Seidl (Ed.)
title_short	Foundations of software science and computational structures
title_sort	foundations of software science and computational structures 10th international conference fossacs 2007 held as part of the joint european conferences on theory and practice of software etaps 2007 braga portugal march 24 april 1 2007 proceedings
title_sub	10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 ; proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Software Engineering (DE-588)4116521-4 gnd Programmierung (DE-588)4076370-5 gnd
topic_facet	Theoretische Informatik Software Engineering Programmierung Konferenzschrift 2007 Braga
url	https://doi.org/10.1007/978-3-540-71389-0
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT seidlhelmut foundationsofsoftwarescienceandcomputationalstructures10thinternationalconferencefossacs2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT fossacsbraga foundationsofsoftwarescienceandcomputationalstructures10thinternationalconferencefossacs2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT etapsbraga foundationsofsoftwarescienceandcomputationalstructures10thinternationalconferencefossacs2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge