Verfügbarkeit: Reliable software technologies - Ada-Europe 2013

Reliable software technologies - Ada-Europe 2013: 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7896
Schlagworte:	Echtzeitsystem Softwareentwicklung Ada Zuverlässigkeit Eingebettetes System Konferenzschrift > 2013 > Berlin
Online-Zugang:	Volltext Inhaltsverzeichnis Abstract
Beschreibung:	1 Online-Ressource (XII, 176 S.) Ill., graph. Darst.
ISBN:	9783642386008 9783642386015
DOI:	10.1007/978-3-642-38601-5

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041402035
003	DE-604
005	20140212
007	cr\|uuu---uuuuu
008	131107s2013 xx ad\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642386008 \|c : Pb. : ca. EUR 49.22 (DE) \|9 978-3-642-38600-8
020			\|a 9783642386015 \|c (eISBN) \|9 978-3-642-38601-5
024	7		\|a 10.1007/978-3-642-38601-5 \|2 doi
035			\|a (OCoLC)852532402
035			\|a (DE-599)BVBBV041402035
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-473 \|a DE-M347 \|a DE-20 \|a DE-703 \|a DE-Aug4 \|a DE-92 \|a DE-29 \|a DE-859 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-634 \|a DE-355
082	0		\|a 005.133 \|2 22//ger
084			\|a DAT 263f \|2 stub
084			\|a DAT 343f \|2 stub
084			\|a DAT 356f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Reliable software technologies - Ada-Europe 2013 \|b 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings \|c Hubert B. Keller ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (XII, 176 S.) \|b Ill., 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 7896
650	0	7	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Ada \|0 (DE-588)4000430-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Berlin \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|D s
689	0	2	\|a Ada \|0 (DE-588)4000430-2 \|D s
689	0	3	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|D s
689	0	4	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	0		\|5 DE-604
700	1		\|a Keller, Hubert B. \|e Sonstige \|4 oth
711	2		\|a International Conference on Reliable Software Technologies \|n 18 \|d 2013 \|c Berlin \|j Sonstige \|0 (DE-588)1036373746 \|4 oth
830		0	\|a Lecture notes in computer science \|v 7896 \|w (DE-604)BV014880109 \|9 7896
856	4	0	\|u https://doi.org/10.1007/978-3-642-38601-5 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849537&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849537&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026849537

Datensatz im Suchindex

_version_	1820875509994618880
adam_text	RELIABLE SOFTWARE TECHNOLOGIES – ADA-EUROPE 2013 / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS MULTI-CORE AND DISTRIBUTED SYSTEMS ADA AND SPARK DEPENDABILITY REAL-TIME SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. RELIABLE SOFTWARE TECHNOLOGIES – ADA-EUROPE 2013 / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 18TH ADA-EUROPE INTERNATIONAL CONFERENCE ON RELIABLE SOFTWARE TECHNOLOGIES, ADA-EUROPE 2013, WAS HELD IN BERLIN, GERMANY, IN JUNE 2013. THE 11 FULL PAPERS PRESENTED WERE CAREFULLY REVIEWED AND SELECTED FROM VARIOUS SUBMISSIONS. THEY ARE ORGANIZED IN TOPICAL SECTIONS ON MULTI-CORE AND DISTRIBUTED SYSTEMS; ADA AND SPARK; DEPENDABILITY; AND REAL-TIME SYSTEMS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
building	Verbundindex
bvnumber	BV041402035
classification_rvk	SS 4800
classification_tum	DAT 263f DAT 343f DAT 356f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)852532402 (DE-599)BVBBV041402035
dewey-full	005.133
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.133
dewey-search	005.133
dewey-sort	15.133
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-642-38601-5
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">BV041402035</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140212</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">131107s2013 xx ad\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642386008</subfield><subfield code="c">: Pb. : ca. EUR 49.22 (DE)</subfield><subfield code="9">978-3-642-38600-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642386015</subfield><subfield code="c">(eISBN)</subfield><subfield code="9">978-3-642-38601-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-38601-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)852532402</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041402035</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="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</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-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 263f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 356f</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="245" ind1="1" ind2="0"><subfield code="a">Reliable software technologies - Ada-Europe 2013</subfield><subfield code="b">18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings</subfield><subfield code="c">Hubert B. Keller ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 176 S.)</subfield><subfield code="b">Ill., 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">7896</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</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">2013</subfield><subfield code="z">Berlin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</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">Keller, Hubert B.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Reliable Software Technologies</subfield><subfield code="n">18</subfield><subfield code="d">2013</subfield><subfield code="c">Berlin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1036373746</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">7896</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7896</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-38601-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849537&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849537&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026849537</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Berlin gnd-content
genre_facet	Konferenzschrift 2013 Berlin
id	DE-604.BV041402035
illustrated	Illustrated
indexdate	2025-01-10T15:16:46Z
institution	BVB
institution_GND	(DE-588)1036373746
isbn	9783642386008 9783642386015
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026849537
oclc_num	852532402
open_access_boolean
owner	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (XII, 176 S.) Ill., graph. Darst.
psigel	ZDB-2-SCS ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Hubert B. Keller ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XII, 176 S.) Ill., graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 7896 Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Ada (DE-588)4000430-2 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Berlin gnd-content Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Ada (DE-588)4000430-2 s Eingebettetes System (DE-588)4396978-1 s Echtzeitsystem (DE-588)4131397-5 s DE-604 Keller, Hubert B. Sonstige oth International Conference on Reliable Software Technologies 18 2013 Berlin Sonstige (DE-588)1036373746 oth Lecture notes in computer science 7896 (DE-604)BV014880109 7896 https://doi.org/10.1007/978-3-642-38601-5 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849537&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849537&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Lecture notes in computer science Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Eingebettetes System (DE-588)4396978-1 gnd
subject_GND	(DE-588)4131397-5 (DE-588)4116522-6 (DE-588)4000430-2 (DE-588)4059245-5 (DE-588)4396978-1 (DE-588)1071861417
title	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings
title_auth	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings
title_exact_search	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings
title_full	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Hubert B. Keller ... (eds.)
title_fullStr	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Hubert B. Keller ... (eds.)
title_full_unstemmed	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Hubert B. Keller ... (eds.)
title_short	Reliable software technologies - Ada-Europe 2013
title_sort	reliable software technologies ada europe 2013 18th ada europe international conference on reliable software technologies berlin germany june 10 14 2013 proceedings
title_sub	18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings
topic	Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Eingebettetes System (DE-588)4396978-1 gnd
topic_facet	Echtzeitsystem Softwareentwicklung Ada Zuverlässigkeit Eingebettetes System Konferenzschrift 2013 Berlin
url	https://doi.org/10.1007/978-3-642-38601-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849537&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026849537&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT kellerhubertb reliablesoftwaretechnologiesadaeurope201318thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesberlingermanyjune10142013proceedings AT internationalconferenceonreliablesoftwaretechnologiesberlin reliablesoftwaretechnologiesadaeurope201318thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesberlingermanyjune10142013proceedings

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