Correct system design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
[2015]
|
| Ausgabe: | 1st ed. |
| Schriftenreihe: | Lecture Notes in Computer Science
9360 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract |
| Beschreibung: | XII, 279 Seiten Illustrationen |
| ISBN: | 9783319235066 9783319235059 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-23506-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209446 | ||
| 003 | DE-604 | ||
| 005 | 20170419 | ||
| 006 | a |||| 11||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319235066 |c Online |9 978-3-319-23506-6 | ||
| 020 | |a 9783319235059 |c Print |9 978-3-319-23505-9 | ||
| 024 | 7 | |a 10.1007/978-3-319-23506-6 |2 doi | |
| 035 | |a (OCoLC)923646655 | ||
| 035 | |a (DE-599)BVBBV043209446 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 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 000 |2 stub | ||
| 245 | 1 | 0 | |a Correct system design |b Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings |c edited by Roland Meyer, André Platzer, Heike Wehrheim |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XII, 279 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science : Festschrift |v 9360 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 08.09.2015-09.09.2015 |z Oldenburg |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Meyer, Roland |d 1981- |0 (DE-588)140436022 |4 edt | |
| 700 | 1 | |a Olderog, Ernst-Rüdiger |d 1955- |0 (DE-588)136626890 |4 hnr |4 hnr | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9360 |w (DE-604)BV014880109 |9 9360 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-23506-6 |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=028632607&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 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-028632607 | ||
Datensatz im Suchindex
| _version_ | 1804175708400910336 |
|---|---|
| adam_text | CORRECT SYSTEM DESIGN
/
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK IS DEDICATED TO PROFESSOR ERNST
RUEDIGER OLDEROG ON THE OCCASION OF HIS 60TH BIRTHDAY. THIS VOLUME IS A
REFLECTION ON PROFESSOR OLDEROG S CONTRIBUTIONS TO THE SCIENTIFIC
COMMUNITY. IT PROVIDES A SAMPLE OF RESEARCH IDEAS THAT HAVE BEEN
INFLUENCED DIRECTLY BY ERNST-RUEDIGER OLDEROG S WORK. AFTER A LAUDATIO
SECTION THAT PROVIDES A BRIEF OVERVIEW OF ERNST-RUEDIGER OLDEROG S
RESEARCH, THE BOOK IS COMPRISED OF FIVE PARTS WITH SCIENTIFIC PAPERS
WRITTEN BY COLLEAGUES AND COLLABORATORS OF PROFESSOR OLDEROG. THE PAPERS
ADDRESS SEMANTICS, PROCESS ALGEBRAS, LOGICS FOR VERIFICATION, PROGRAM
ANALYSIS, AND SYNTHESIS APPROACHES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Meyer, Roland 1981- |
| author2_role | edt |
| author2_variant | r m rm |
| author_GND | (DE-588)140436022 (DE-588)136626890 |
| author_facet | Meyer, Roland 1981- |
| building | Verbundindex |
| bvnumber | BV043209446 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)923646655 (DE-599)BVBBV043209446 |
| 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-319-23506-6 |
| edition | 1st ed. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02845nmm a2200649zcb4500</leader><controlfield tag="001">BV043209446</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170419 </controlfield><controlfield tag="006">a |||| 11||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319235066</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-23506-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319235059</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-23505-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-23506-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923646655</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209446</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-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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Correct system design</subfield><subfield code="b">Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings</subfield><subfield code="c">edited by Roland Meyer, André Platzer, Heike Wehrheim</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 279 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">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 : Festschrift</subfield><subfield code="v">9360</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">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</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">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">08.09.2015-09.09.2015</subfield><subfield code="z">Oldenburg</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meyer, Roland</subfield><subfield code="d">1981-</subfield><subfield code="0">(DE-588)140436022</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Olderog, Ernst-Rüdiger</subfield><subfield code="d">1955-</subfield><subfield code="0">(DE-588)136626890</subfield><subfield code="4">hnr</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9360</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9360</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-23506-6</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=028632607&sequence=000001&line_number=0001&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><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-028632607</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)1071861417 Konferenzschrift 08.09.2015-09.09.2015 Oldenburg gnd-content (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Konferenzschrift Konferenzschrift 08.09.2015-09.09.2015 Oldenburg Festschrift |
| id | DE-604.BV043209446 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| isbn | 9783319235066 9783319235059 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632607 |
| oclc_num | 923646655 |
| 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 | XII, 279 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science : Festschrift |
| spelling | Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings edited by Roland Meyer, André Platzer, Heike Wehrheim 1st ed. Cham Springer International Publishing [2015] © 2015 XII, 279 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science : Festschrift 9360 0302-9743 Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations Software Engineering Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)1071861417 Konferenzschrift 08.09.2015-09.09.2015 Oldenburg gnd-content (DE-588)4016928-5 Festschrift gnd-content Meyer, Roland 1981- (DE-588)140436022 edt Olderog, Ernst-Rüdiger 1955- (DE-588)136626890 hnr hnr Lecture Notes in Computer Science 9360 (DE-604)BV014880109 9360 https://doi.org/10.1007/978-3-319-23506-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632607&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings Lecture Notes in Computer Science Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations Software Engineering Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz |
| subject_GND | (DE-588)1071861417 (DE-588)4016928-5 |
| title | Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings |
| title_auth | Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings |
| title_exact_search | Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings |
| title_full | Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings edited by Roland Meyer, André Platzer, Heike Wehrheim |
| title_fullStr | Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings edited by Roland Meyer, André Platzer, Heike Wehrheim |
| title_full_unstemmed | Correct system design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings edited by Roland Meyer, André Platzer, Heike Wehrheim |
| title_short | Correct system design |
| title_sort | correct system design symposium in honor of ernst rudiger olderog on the occasion of his 60th birthday oldenburg germany september 8 9 2015 proceedings |
| title_sub | Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings |
| topic | Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations Software Engineering Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz |
| topic_facet | Computer science Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Artificial intelligence Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations Software Engineering Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Informatik Künstliche Intelligenz Konferenzschrift Konferenzschrift 08.09.2015-09.09.2015 Oldenburg Festschrift |
| url | https://doi.org/10.1007/978-3-319-23506-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632607&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT meyerroland correctsystemdesignsymposiuminhonorofernstrudigerolderogontheoccasionofhis60thbirthdayoldenburggermanyseptember892015proceedings AT olderogernstrudiger correctsystemdesignsymposiuminhonorofernstrudigerolderogontheoccasionofhis60thbirthdayoldenburggermanyseptember892015proceedings |