Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
8974 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract Inhaltsverzeichnis |
| Beschreibung: | 1 Online-Ressource (XIII, 415 p. 106 illus) |
| ISBN: | 9783662468234 9783662468227 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-662-46823-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042544885 | ||
| 003 | DE-604 | ||
| 005 | 20150716 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150506s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662468234 |c Online |9 978-3-662-46823-4 | ||
| 020 | |a 9783662468227 |c Print |9 978-3-662-46822-7 | ||
| 024 | 7 | |a 10.1007/978-3-662-46823-4 |2 doi | |
| 035 | |a (OCoLC)908701882 | ||
| 035 | |a (DE-599)BVBBV042544885 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a DAT 300f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Perspectives of System Informatics |b 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers |c edited by Andrei Voronkov, Irina Virbitskaite |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2015 | |
| 300 | |a 1 Online-Ressource (XIII, 415 p. 106 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 8974 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computation by Abstract Devices | |
| 650 | 4 | |a Informatik | |
| 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 Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Sankt Petersburg |2 gnd-content | |
| 689 | 0 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 2 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | 2 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 689 | 3 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Voronkov, Andrei |d 1959- |e Sonstige |0 (DE-588)11280828X |4 oth | |
| 711 | 2 | |a International Ershov Informatics Conference |n 9. |d 2014 |c Sankt Petersburg |j Sonstige |0 (DE-588)1070891983 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 8974 |w (DE-604)BV014880109 |9 8974 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-46823-4 |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=027978891&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 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=027978891&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027978891 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153311089131520 |
|---|---|
| adam_text | PERSPECTIVES OF SYSTEM INFORMATICS
/ VORONKOV, ANDREI
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONTAINS THE THOROUGHLY REFEREED PAPERS FROM THE 9TH
INTERNATIONAL ERSHOV INFORMATICS CONFERENCE, PSI 2014, HELD IN ST.
PETERSBURG, RUSSIA, IN JUNE 2014. THE 17 REVISED FULL PAPERS, 11
REVISED SHORT PAPERS, AND 2 SYSTEM AND EXPERIMENTAL PAPERS PRESENTED IN
THIS BOOK WERE CAREFULLY REVIEWED AND SELECTED FROM 80 SUBMISSIONS. THE
VOLUME ALSO CONTAINS 5 KEYNOTE TALKS WHICH COVER A RANGE OF HOT TOPICS
IN COMPUTER SCIENCE AND INFORMATICS. THE PAPERS COVER VARIOUS TOPICS
RELATED TO THE FOUNDATIONS OF PROGRAM AND SYSTEM DEVELOPMENT AND
ANALYSIS, PROGRAMMING METHODOLOGY AND SOFTWARE ENGINEERING AND
INFORMATION TECHNOLOGIES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
PERSPECTIVES OF SYSTEM INFORMATICS
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
DESCRIPTIVE TYPES FOR LINKED DATA RESOURCES
25 YEARS OF MODEL CHECKING
THE LAWS OF CONCURRENT PROGRAMMING
BIG DATA, BIG SYSTEMS, BIG CHALLENGES: A PERSONAL EXPERIENCE
AN AUTOMATIC TECHNIQUE FOR STATIC DEADLOCK PREVENTION
AUTOMATICALLY PARTITIONING DATA TO FACILITATE THE PARALLELIZATION OF
FUNCTIONAL PROGRAMS
LINGVA: GENERATING AND PROVING PROGRAM PROPERTIES USING SYMBOL
NEUTRALIZING SEMANTIC AMBIGUITIES OF FUNCTION BLOCK ARCHITECTURE BY
MODELING WITH ASM
ON TRACTABILITY OF DISJOINT AND-DECOMPOSITION OF BOOLEAN FORMULAS
A MULTI-AGENT TEXT ANALYSIS BASED ON ONTOLOGY OF SUBJECT DOMAIN
TOWARDS HIGH-LEVEL PROGRAMMING FOR SYSTEMS WITH MANY CORES
INDUCTIVE PROVER BASED ON EQUALITY SATURATION FOR A LAZY FUNCTIONAL
LANGUAGE TIMED HISTORY PRESERVING BISIMULATION AND OPEN MAPS
PROCESS OPACITY FOR TIMED PROCESS ALGEBRA
A PROOF-BASED METHOD FOR MODELING TIMED SYSTEMS
ASYMPTOTIC SPEEDUPS, BISIMULATION AND DISTILLATION
CERTIFYING SUPERCOMPILATION FOR MARTIN-LOEF S TYPE THEORY
INDEX SETS AS A MEASURE OF CONTINUOUS CONSTRAINT COMPLEXITY
DECIDABILITY AND EXPRESSIVENESS OF RECURSIVE WEIGHTED LOGIC
SUPERCOMPILATION FOR DATATYPES
MORE TYPE INFERENCE IN JAVA 8
POLYNOMIAL-TIME OPTIMAL PRETTY-PRINTING COMBINATORS WITH CHOICE
THE STUDY OF MULTIDIMENSIONAL R-TREE-BASED INDEX SCALABILITY IN
MULTICORE ENVIRONMENT
SKEBLLE: A NEW KIND OF DIAGRAMMING TOOL WITH PROGRAMMABLE ACTIVE
DIAGRAMS
THE ROLE OF INDIRECTIONS IN LAZY NATURAL SEMANTICS
MODEL CHECKING VALUE-PASSING MODAL SPECIFICATIONS
TOWARDS SPECIALIZING JAVASCRIPT PROGRAMS
SYMBOLIC STRING TRANSFORMATIONS WITH REGULAR LOOKAHEAD AND ROLLBACK
TOWARDS SYMBOLIC EXECUTION IN ERLANG
BONSAI: CUTTING MODELS DOWN TO SIZE
COMPARING SEMANTICS UNDER STRONG TIMING OF PETRI NETS
PROBABILISTIC FORMAL CONCEPTS FOR CONTEXTS WITH NEGATION
MODELING ENVIRONMENT FOR STATIC VERIFICATION OF LINUX KERNEL MODULES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)11280828X |
| building | Verbundindex |
| bvnumber | BV042544885 |
| classification_tum | DAT 500f DAT 300f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)908701882 (DE-599)BVBBV042544885 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-46823-4 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03622nmm a2200757zcb4500</leader><controlfield tag="001">BV042544885</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150716 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150506s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662468234</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-46823-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662468227</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-46822-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-46823-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)908701882</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042544885</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 300f</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">Perspectives of System Informatics</subfield><subfield code="b">9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers</subfield><subfield code="c">edited by Andrei Voronkov, Irina Virbitskaite</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIII, 415 p. 106 illus)</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">8974</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</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">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</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">2014</subfield><subfield code="z">Sankt Petersburg</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><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="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="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Voronkov, Andrei</subfield><subfield code="d">1959-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)11280828X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Ershov Informatics Conference</subfield><subfield code="n">9.</subfield><subfield code="d">2014</subfield><subfield code="c">Sankt Petersburg</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1070891983</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">8974</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8974</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-46823-4</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=027978891&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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=027978891&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027978891</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></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Sankt Petersburg gnd-content |
| genre_facet | Konferenzschrift 2014 Sankt Petersburg |
| id | DE-604.BV042544885 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:24:35Z |
| institution | BVB |
| institution_GND | (DE-588)1070891983 |
| isbn | 9783662468234 9783662468227 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027978891 |
| oclc_num | 908701882 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIII, 415 p. 106 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers edited by Andrei Voronkov, Irina Virbitskaite Berlin, Heidelberg Springer Berlin Heidelberg 2015 1 Online-Ressource (XIII, 415 p. 106 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 8974 0302-9743 Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Computation by Abstract Devices Informatik Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Sankt Petersburg gnd-content Softwareentwicklung (DE-588)4116522-6 s DE-604 Systementwicklung (DE-588)4126945-7 s Theoretische Informatik (DE-588)4196735-5 s Programmierung (DE-588)4076370-5 s Künstliche Intelligenz (DE-588)4033447-8 s 1\p DE-604 Voronkov, Andrei 1959- Sonstige (DE-588)11280828X oth International Ershov Informatics Conference 9. 2014 Sankt Petersburg Sonstige (DE-588)1070891983 oth Lecture Notes in Computer Science 8974 (DE-604)BV014880109 8974 https://doi.org/10.1007/978-3-662-46823-4 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978891&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978891&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers Lecture Notes in Computer Science Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Computation by Abstract Devices Informatik Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Programmierung (DE-588)4076370-5 gnd Systementwicklung (DE-588)4126945-7 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4116522-6 (DE-588)4033447-8 (DE-588)4076370-5 (DE-588)4126945-7 (DE-588)1071861417 |
| title | Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers |
| title_auth | Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers |
| title_exact_search | Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers |
| title_full | Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers edited by Andrei Voronkov, Irina Virbitskaite |
| title_fullStr | Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers edited by Andrei Voronkov, Irina Virbitskaite |
| title_full_unstemmed | Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers edited by Andrei Voronkov, Irina Virbitskaite |
| title_short | Perspectives of System Informatics |
| title_sort | perspectives of system informatics 9th international ershov informatics conference psi 2014 st petersburg russia june 24 27 2014 revised selected papers |
| title_sub | 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers |
| topic | Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Computation by Abstract Devices Informatik Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Programmierung (DE-588)4076370-5 gnd Systementwicklung (DE-588)4126945-7 gnd |
| topic_facet | Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Computation by Abstract Devices Informatik Theoretische Informatik Softwareentwicklung Künstliche Intelligenz Programmierung Systementwicklung Konferenzschrift 2014 Sankt Petersburg |
| url | https://doi.org/10.1007/978-3-662-46823-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978891&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=027978891&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT voronkovandrei perspectivesofsysteminformatics9thinternationalershovinformaticsconferencepsi2014stpetersburgrussiajune24272014revisedselectedpapers AT internationalershovinformaticsconferencesanktpetersburg perspectivesofsysteminformatics9thinternationalershovinformaticsconferencepsi2014stpetersburgrussiajune24272014revisedselectedpapers |