Programming languages with applications to biology and security: Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
[2015]
|
| Edition: | 1st ed. |
| Series: | Lecture Notes in Computer Science
9465 |
| Subjects: | |
| Online Access: | Volltext Abstract |
| Physical Description: | XII, 375 Seiten Illustrationen |
| ISBN: | 9783319255279 9783319255262 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-25527-9 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209538 | ||
| 003 | DE-604 | ||
| 005 | 20160128 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319255279 |c Online |9 978-3-319-25527-9 | ||
| 020 | |a 9783319255262 |c Print |9 978-3-319-25526-2 | ||
| 024 | 7 | |a 10.1007/978-3-319-25527-9 |2 doi | |
| 035 | |a (OCoLC)929997115 | ||
| 035 | |a (DE-599)BVBBV043209538 | ||
| 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 Programming languages with applications to biology and security |b Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday |c edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Cham |b Springer International Publishing |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XII, 375 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 |v 9465 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Information Systems Applications (incl. Internet) | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Informatik | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Bodei, Chiara |0 (DE-588)1080678492 |4 edt | |
| 700 | 1 | |a Degano, Pierpaolo |d 1950- |0 (DE-588)115394869 |4 hnr | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9465 |w (DE-604)BV014880109 |9 9465 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-25527-9 |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=028632699&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-028632699 | ||
Record in the Search Index
| _version_ | 1804175708737503232 |
|---|---|
| adam_text | PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY
/
: 2015
ABSTRACT / INHALTSTEXT
PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY THIS
FESTSCHRIFT VOLUME IS PUBLISHED IN HONOR OF PIERPAOLO DEGANO ON THE
OCCASION OF HIS 65TH BIRTHDAY AND IS THE OUTCOME OF A COLLOQUIUM HELD IN
PISA, ITALY, IN JUNE 2015. PIERPAOLO DEGANO HAS WORKED ON A LARGE
VARIETY OF TOPICS INCLUDING FORMAL PROGRAM SEMANTICS, CONCURRENCY
THEORY, SYSTEMS BIOLOGY AND SECURITY. THE VOLUME CONTAINS 22 REFEREED
PAPERS AND ONE EXTENDED ABSTRACT, INCLUDING PERSONAL MEMOIRS AND REGULAR
RESEARCH PAPERS BY CLOSE COLLABORATORS AND FRIENDS AND A LAUDATIO
ILLUSTRATING HIS DISTINGUISHED CAREER AND HIS MAIN SCIENTIFIC
CONTRIBUTIONS. THE PAPERS DEAL WITH THE MAIN RESEARCH TOPICS EXPLORED BY
PIERPAOLO DEGANO AND THOSE STILL UNDER HIS INVESTIGATION.
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Bodei, Chiara |
| author2_role | edt |
| author2_variant | c b cb |
| author_GND | (DE-588)1080678492 (DE-588)115394869 |
| author_facet | Bodei, Chiara |
| building | Verbundindex |
| bvnumber | BV043209538 |
| classification_tum | DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)929997115 (DE-599)BVBBV043209538 |
| 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-25527-9 |
| edition | 1st ed. |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02520nmm a2200601zcb4500</leader><controlfield tag="001">BV043209538</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160128 </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">9783319255279</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-25527-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319255262</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-25526-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-25527-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)929997115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209538</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">Programming languages with applications to biology and security</subfield><subfield code="b">Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday</subfield><subfield code="c">edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami</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, 375 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</subfield><subfield code="v">9465</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">Computer communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</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">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems Applications (incl. Internet)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Bodei, Chiara</subfield><subfield code="0">(DE-588)1080678492</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Degano, Pierpaolo</subfield><subfield code="d">1950-</subfield><subfield code="0">(DE-588)115394869</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">9465</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9465</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-25527-9</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=028632699&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-028632699</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV043209538 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| isbn | 9783319255279 9783319255262 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632699 |
| oclc_num | 929997115 |
| 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, 375 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 |
| spelling | Programming languages with applications to biology and security Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami 1st ed. Cham Springer International Publishing [2015] © 2015 XII, 375 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9465 0302-9743 Computer science Computer communication systems Computer programming Software engineering Algorithms Computer logic Computer Science Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Computer Communication Networks Programming Techniques Algorithm Analysis and Problem Complexity Informatik (DE-588)4016928-5 Festschrift gnd-content Bodei, Chiara (DE-588)1080678492 edt Degano, Pierpaolo 1950- (DE-588)115394869 hnr Lecture Notes in Computer Science 9465 (DE-604)BV014880109 9465 https://doi.org/10.1007/978-3-319-25527-9 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632699&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Programming languages with applications to biology and security Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday Lecture Notes in Computer Science Computer science Computer communication systems Computer programming Software engineering Algorithms Computer logic Computer Science Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Computer Communication Networks Programming Techniques Algorithm Analysis and Problem Complexity Informatik |
| subject_GND | (DE-588)4016928-5 |
| title | Programming languages with applications to biology and security Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday |
| title_auth | Programming languages with applications to biology and security Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday |
| title_exact_search | Programming languages with applications to biology and security Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday |
| title_full | Programming languages with applications to biology and security Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami |
| title_fullStr | Programming languages with applications to biology and security Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami |
| title_full_unstemmed | Programming languages with applications to biology and security Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday edited by Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami |
| title_short | Programming languages with applications to biology and security |
| title_sort | programming languages with applications to biology and security essays dedicated to pierpaolo degano on the occasion of his 65th birthday |
| title_sub | Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday |
| topic | Computer science Computer communication systems Computer programming Software engineering Algorithms Computer logic Computer Science Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Computer Communication Networks Programming Techniques Algorithm Analysis and Problem Complexity Informatik |
| topic_facet | Computer science Computer communication systems Computer programming Software engineering Algorithms Computer logic Computer Science Logics and Meanings of Programs Software Engineering Information Systems Applications (incl. Internet) Computer Communication Networks Programming Techniques Algorithm Analysis and Problem Complexity Informatik Festschrift |
| url | https://doi.org/10.1007/978-3-319-25527-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632699&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT bodeichiara programminglanguageswithapplicationstobiologyandsecurityessaysdedicatedtopierpaolodeganoontheoccasionofhis65thbirthday AT deganopierpaolo programminglanguageswithapplicationstobiologyandsecurityessaysdedicatedtopierpaolodeganoontheoccasionofhis65thbirthday |