From Lambda calculus to cybersecurity through program analysis: essays dedicated to Chris Hankin on the occasion of his retirement
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham
Springer
[2020]
|
| Series: | Lecture notes in computer science
12065 |
| Subjects: | |
| Item Description: | Auf dem Umschlag: "Festschrift" |
| Physical Description: | xiv, 291 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030411022 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV046623768 | ||
| 003 | DE-604 | ||
| 005 | 20210803 | ||
| 007 | t| | ||
| 008 | 200311s2020 xx a||| |||| 01||| eng d | ||
| 020 | |a 9783030411022 |c softcover |9 978-3-030-41102-2 | ||
| 035 | |a (OCoLC)1145075742 | ||
| 035 | |a (DE-599)BVBBV046623768 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 519.6 |2 23 | |
| 245 | 1 | 0 | |a From Lambda calculus to cybersecurity through program analysis |b essays dedicated to Chris Hankin on the occasion of his retirement |c Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2020] | |
| 264 | 4 | |c © 2020 | |
| 300 | |a xiv, 291 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 12065 | |
| 500 | |a Auf dem Umschlag: "Festschrift" | ||
| 650 | 4 | |a Optimization | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Computer System Implementation | |
| 650 | 4 | |a Natural Language Processing (NLP) | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Mathematical optimization | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Architecture, Computer | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Software engineering | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Di Pierro, Alessandra |0 (DE-588)173952968 |4 edt | |
| 700 | 1 | |a Hankin, Chris |d 1954- |0 (DE-588)1218637250 |4 hnr | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-41103-9 |
| 830 | 0 | |a Lecture notes in computer science |v 12065 |w (DE-604)BV000000607 |9 12065 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032035450 | |
Record in the Search Index
| _version_ | 1820875764853112832 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Di Pierro, Alessandra |
| author2_role | edt |
| author2_variant | p a d pa pad |
| author_GND | (DE-588)173952968 (DE-588)1218637250 |
| author_facet | Di Pierro, Alessandra |
| building | Verbundindex |
| bvnumber | BV046623768 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1145075742 (DE-599)BVBBV046623768 |
| dewey-full | 519.6 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.6 |
| dewey-search | 519.6 |
| dewey-sort | 3519.6 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV046623768</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210803</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200311s2020 xx a||| |||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030411022</subfield><subfield code="c">softcover</subfield><subfield code="9">978-3-030-41102-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1145075742</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046623768</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><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.6</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From Lambda calculus to cybersecurity through program analysis</subfield><subfield code="b">essays dedicated to Chris Hankin on the occasion of his retirement</subfield><subfield code="c">Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 291 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">12065</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Auf dem Umschlag: "Festschrift"</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Optimization</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">Computer System Implementation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural Language Processing (NLP)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical optimization</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">Architecture, Computer</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Natural language processing (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</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">Di Pierro, Alessandra</subfield><subfield code="0">(DE-588)173952968</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hankin, Chris</subfield><subfield code="d">1954-</subfield><subfield code="0">(DE-588)1218637250</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-41103-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12065</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12065</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032035450</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV046623768 |
| illustrated | Illustrated |
| index_date | 2024-07-03T14:08:46Z |
| indexdate | 2025-01-10T15:20:50Z |
| institution | BVB |
| isbn | 9783030411022 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032035450 |
| oclc_num | 1145075742 |
| open_access_boolean | |
| owner | DE-83 DE-11 |
| owner_facet | DE-83 DE-11 |
| physical | xiv, 291 Seiten Illustrationen, Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.) Cham Springer [2020] © 2020 xiv, 291 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 12065 Auf dem Umschlag: "Festschrift" Optimization Computer Communication Networks Computer System Implementation Natural Language Processing (NLP) Theory of Computation Software Engineering Mathematical optimization Computer communication systems Architecture, Computer Natural language processing (Computer science) Computers Software engineering (DE-588)4016928-5 Festschrift gnd-content Di Pierro, Alessandra (DE-588)173952968 edt Hankin, Chris 1954- (DE-588)1218637250 hnr Erscheint auch als Online-Ausgabe 978-3-030-41103-9 Lecture notes in computer science 12065 (DE-604)BV000000607 12065 |
| spellingShingle | From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement Lecture notes in computer science Optimization Computer Communication Networks Computer System Implementation Natural Language Processing (NLP) Theory of Computation Software Engineering Mathematical optimization Computer communication systems Architecture, Computer Natural language processing (Computer science) Computers Software engineering |
| subject_GND | (DE-588)4016928-5 |
| title | From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement |
| title_auth | From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement |
| title_exact_search | From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement |
| title_exact_search_txtP | From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement |
| title_full | From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.) |
| title_fullStr | From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.) |
| title_full_unstemmed | From Lambda calculus to cybersecurity through program analysis essays dedicated to Chris Hankin on the occasion of his retirement Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan (eds.) |
| title_short | From Lambda calculus to cybersecurity through program analysis |
| title_sort | from lambda calculus to cybersecurity through program analysis essays dedicated to chris hankin on the occasion of his retirement |
| title_sub | essays dedicated to Chris Hankin on the occasion of his retirement |
| topic | Optimization Computer Communication Networks Computer System Implementation Natural Language Processing (NLP) Theory of Computation Software Engineering Mathematical optimization Computer communication systems Architecture, Computer Natural language processing (Computer science) Computers Software engineering |
| topic_facet | Optimization Computer Communication Networks Computer System Implementation Natural Language Processing (NLP) Theory of Computation Software Engineering Mathematical optimization Computer communication systems Architecture, Computer Natural language processing (Computer science) Computers Software engineering Festschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT dipierroalessandra fromlambdacalculustocybersecuritythroughprogramanalysisessaysdedicatedtochrishankinontheoccasionofhisretirement AT hankinchris fromlambdacalculustocybersecuritythroughprogramanalysisessaysdedicatedtochrishankinontheoccasionofhisretirement |