Verfügbarkeit: Perspectives of systems informatics | Technische Universität München

Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Andrei Ershov Memorial Conference Nowosibirsk (VerfasserIn)
Weitere beteiligte Personen:	Clarke, Edmund M. 1945-2020 (HerausgeberIn), Virbickajte, Irina B. (HerausgeberIn), Voronkov, Andrei 1959- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	Berlin ; Heidelberg Springer [2012]
Schriftenreihe:	Lecture Notes in Computer Science 7162
Schlagwörter:	Theoretische Informatik Softwareentwicklung Systementwicklung Programmierung Computer science Software engineering Computer software Logic design Computer vision Computer Science Konferenzschrift > 2011 > Novosibirsk Aufsatzsammlung
Links:	https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0 https://doi.org/10.1007/978-3-642-29709-0
Umfang:	Online-Ressource (XIII, 410 Seiten) Illustrationen, Diagramme
ISBN:	9783642297090
DOI:	10.1007/978-3-642-29709-0

Internformat

MARC


LEADER	00000nam a22000001cb4500
001	BV049309119
003	DE-604
005	20231018
007	cr\|uuu---uuuuu
008	230901s2012 gw a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642297090 \|9 978-3-642-29709-0
024	7		\|a 10.1007/978-3-642-29709-0 \|2 doi
035			\|a (OCoLC)1401204784
035			\|a (DE-599)BSZ366283855
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
044			\|a gw \|c XA-DE
049			\|a DE-473 \|a DE-634 \|a DE-Aug4 \|a DE-M347 \|a DE-92 \|a DE-859 \|a DE-91 \|a DE-384 \|a DE-19 \|a DE-355 \|a DE-703 \|a DE-20 \|a DE-706 \|a DE-739
084			\|a 00B25 \|2 msc
084			\|a *68-06 \|2 msc
084			\|a 68Qxx \|2 msc
111	2		\|a International Andrei Ershov Memorial Conference \|n 8 \|d 2011 \|c Nowosibirsk \|j Verfasser \|0 (DE-588)1028649827 \|4 aut
245	1	0	\|a Perspectives of systems informatics \|b 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers \|c Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
264		1	\|a Berlin ; Heidelberg \|b Springer \|c [2012]
300			\|a Online-Ressource (XIII, 410 Seiten) \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science \|v 7162
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-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 Systementwicklung \|0 (DE-588)4126945-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
653		0	\|a Computer science
653		0	\|a Software engineering
653		0	\|a Computer software
653		0	\|a Logic design
653		0	\|a Computer vision
653		0	\|a Computer Science
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2011 \|z Novosibirsk \|2 gnd-content
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|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	1	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	1	2	\|a Systementwicklung \|0 (DE-588)4126945-7 \|D s
689	1		\|5 DE-604
700	1		\|a Clarke, Edmund M. \|d 1945-2020 \|0 (DE-588)142488941 \|4 edt
700	1		\|a Virbickajte, Irina B. \|0 (DE-588)1021354651 \|4 edt
700	1		\|a Voronkov, Andrei \|d 1959- \|0 (DE-588)11280828X \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-29708-3
830		0	\|a Lecture Notes in Computer Science \|v 7162 \|w (DE-604)BV014880109 \|9 7162
856	4	0	\|u https://doi.org/10.1007/978-3-642-29709-0 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-LNC
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-LNC_2012
940	1		\|q ZDB-2-SCS_2012
943	1		\|a oai:aleph.bib-bvb.de:BVB01-034570255
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-91 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-29709-0 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	2764395
_version_	1821936706532671488
any_adam_object
author2	Clarke, Edmund M. 1945-2020 Virbickajte, Irina B. Voronkov, Andrei 1959-
author2_role	edt edt edt
author2_variant	e m c em emc i b v ib ibv a v av
author_GND	(DE-588)142488941 (DE-588)1021354651 (DE-588)11280828X
author_corporate	International Andrei Ershov Memorial Conference Nowosibirsk
author_corporate_role	aut
author_facet	Clarke, Edmund M. 1945-2020 Virbickajte, Irina B. Voronkov, Andrei 1959- International Andrei Ershov Memorial Conference Nowosibirsk
author_sort	International Andrei Ershov Memorial Conference Nowosibirsk
building	Verbundindex
bvnumber	BV049309119
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)1401204784 (DE-599)BSZ366283855
discipline	Informatik
doi_str_mv	10.1007/978-3-642-29709-0
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04136nam a22008291cb4500</leader><controlfield tag="001">BV049309119</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231018 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">230901s2012 gw a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642297090</subfield><subfield code="9">978-3-642-29709-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-29709-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1401204784</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ366283855</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">00B25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">*68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Qxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Andrei Ershov Memorial Conference</subfield><subfield code="n">8</subfield><subfield code="d">2011</subfield><subfield code="c">Nowosibirsk</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1028649827</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Perspectives of systems informatics</subfield><subfield code="b">8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers</subfield><subfield code="c">Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">Online-Ressource (XIII, 410 Seiten)</subfield><subfield code="b">Illustrationen, Diagramme</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">7162</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">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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-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="653" ind1=" " ind2="0"><subfield code="a">Computer science</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer software</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Logic design</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer vision</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer Science</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2011</subfield><subfield code="z">Novosibirsk</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</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="1"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Clarke, Edmund M.</subfield><subfield code="d">1945-2020</subfield><subfield code="0">(DE-588)142488941</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Virbickajte, Irina B.</subfield><subfield code="0">(DE-588)1021354651</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Voronkov, Andrei</subfield><subfield code="d">1959-</subfield><subfield code="0">(DE-588)11280828X</subfield><subfield code="4">edt</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-29708-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7162</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7162</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-29709-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2012</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2012</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034570255</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-29709-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-642-29709-0</subfield><subfield code="l">DE-Aug4</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-642-29709-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-642-29709-0</subfield><subfield code="l">DE-92</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-642-29709-0</subfield><subfield code="l">DE-859</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-642-29709-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-642-29709-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-642-29709-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-642-29709-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-642-29709-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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-29709-0</subfield><subfield code="l">DE-703</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-642-29709-0</subfield><subfield code="l">DE-20</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-642-29709-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-642-29709-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></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Novosibirsk gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Konferenzschrift 2011 Novosibirsk Aufsatzsammlung
id	DE-604.BV049309119
illustrated	Illustrated
indexdate	2024-12-20T20:06:10Z
institution	BVB
institution_GND	(DE-588)1028649827
isbn	9783642297090
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034570255
oclc_num	1401204784
open_access_boolean
owner	DE-473 DE-BY-UBG DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-91 DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-739
owner_facet	DE-473 DE-BY-UBG DE-634 DE-Aug4 DE-M347 DE-92 DE-859 DE-91 DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-739
physical	Online-Ressource (XIII, 410 Seiten) Illustrationen, Diagramme
psigel	ZDB-2-LNC ZDB-2-SCS ZDB-2-LNC_2012 ZDB-2-SCS_2012
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spellingShingle	Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers Lecture Notes in Computer Science Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Programmierung (DE-588)4076370-5 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4116522-6 (DE-588)4126945-7 (DE-588)4076370-5 (DE-588)1071861417 (DE-588)4143413-4
title	Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
title_auth	Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
title_exact_search	Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
title_full	Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
title_fullStr	Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
title_full_unstemmed	Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
title_short	Perspectives of systems informatics
title_sort	perspectives of systems informatics 8th international andrei ershov memorial conference psi 2011 novosibirsk russia june 27 july 1 2011 revised selected papers
title_sub	8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
topic	Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Systementwicklung (DE-588)4126945-7 gnd Programmierung (DE-588)4076370-5 gnd
topic_facet	Theoretische Informatik Softwareentwicklung Systementwicklung Programmierung Konferenzschrift 2011 Novosibirsk Aufsatzsammlung
url	https://doi.org/10.1007/978-3-642-29709-0
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT internationalandreiershovmemorialconferencenowosibirsk perspectivesofsystemsinformatics8thinternationalandreiershovmemorialconferencepsi2011novosibirskrussiajune27july12011revisedselectedpapers AT clarkeedmundm perspectivesofsystemsinformatics8thinternationalandreiershovmemorialconferencepsi2011novosibirskrussiajune27july12011revisedselectedpapers AT virbickajteirinab perspectivesofsystemsinformatics8thinternationalandreiershovmemorialconferencepsi2011novosibirskrussiajune27july12011revisedselectedpapers AT voronkovandrei perspectivesofsystemsinformatics8thinternationalandreiershovmemorialconferencepsi2011novosibirskrussiajune27july12011revisedselectedpapers

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen