From reactive systems to cyber-physical systems: essays dedicated to Scott A. Smolka on the occasion of his 65th birthday
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2019]
|
| Schriftenreihe: | Lecture notes in computer science
11500 |
| Schlagworte: | |
| Beschreibung: | xvi, 298 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030315139 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046197389 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 191014s2019 xx a||| |||| 01||| eng d | ||
| 020 | |a 9783030315139 |9 978-3-030-31513-9 | ||
| 035 | |a (OCoLC)1124727861 | ||
| 035 | |a (DE-599)BVBBV046197389 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1015113 |2 23 | |
| 245 | 1 | 0 | |a From reactive systems to cyber-physical systems |b essays dedicated to Scott A. Smolka on the occasion of his 65th birthday |c Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 300 | |a xvi, 298 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 11500 | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a System Performance and Evaluation | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer system performance | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Bartocci, Ezio |0 (DE-588)1045252077 |4 edt | |
| 700 | 1 | |a Smolka, Scott A. |4 hnr | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-31514-6 |
| 830 | 0 | |a Lecture notes in computer science |v 11500 |w (DE-604)BV000000607 |9 11500 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031576616 | |
Datensatz im Suchindex
| _version_ | 1820875755025858560 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Bartocci, Ezio |
| author2_role | edt |
| author2_variant | e b eb |
| author_GND | (DE-588)1045252077 |
| author_facet | Bartocci, Ezio |
| building | Verbundindex |
| bvnumber | BV046197389 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1124727861 (DE-599)BVBBV046197389 |
| 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 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV046197389</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">191014s2019 xx a||| |||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030315139</subfield><subfield code="9">978-3-030-31513-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1124727861</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046197389</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-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From reactive systems to cyber-physical systems</subfield><subfield code="b">essays dedicated to Scott A. Smolka on the occasion of his 65th birthday</subfield><subfield code="c">Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 298 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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</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">11500</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">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System Performance and Evaluation</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">Software engineering</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 system performance</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">Bartocci, Ezio</subfield><subfield code="0">(DE-588)1045252077</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Smolka, Scott A.</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-030-31514-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11500</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11500</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031576616</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV046197389 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:20:40Z |
| institution | BVB |
| isbn | 9783030315139 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031576616 |
| oclc_num | 1124727861 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xvi, 298 Seiten Illustrationen, Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.) Cham Springer [2019] xvi, 298 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11500 Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence System Performance and Evaluation Logic design Computer science Software engineering Artificial intelligence Computer system performance (DE-588)4016928-5 Festschrift gnd-content Bartocci, Ezio (DE-588)1045252077 edt Smolka, Scott A. hnr Erscheint auch als Online-Ausgabe 978-3-030-31514-6 Lecture notes in computer science 11500 (DE-604)BV000000607 11500 |
| spellingShingle | From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday Lecture notes in computer science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence System Performance and Evaluation Logic design Computer science Software engineering Artificial intelligence Computer system performance |
| subject_GND | (DE-588)4016928-5 |
| title | From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday |
| title_auth | From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday |
| title_exact_search | From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday |
| title_full | From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.) |
| title_fullStr | From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.) |
| title_full_unstemmed | From reactive systems to cyber-physical systems essays dedicated to Scott A. Smolka on the occasion of his 65th birthday Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.) |
| title_short | From reactive systems to cyber-physical systems |
| title_sort | from reactive systems to cyber physical systems essays dedicated to scott a smolka on the occasion of his 65th birthday |
| title_sub | essays dedicated to Scott A. Smolka on the occasion of his 65th birthday |
| topic | Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence System Performance and Evaluation Logic design Computer science Software engineering Artificial intelligence Computer system performance |
| topic_facet | Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence System Performance and Evaluation Logic design Computer science Software engineering Artificial intelligence Computer system performance Festschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bartocciezio fromreactivesystemstocyberphysicalsystemsessaysdedicatedtoscottasmolkaontheoccasionofhis65thbirthday AT smolkascotta fromreactivesystemstocyberphysicalsystemsessaysdedicatedtoscottasmolkaontheoccasionofhis65thbirthday |