A journey from process Algebra via timed automata to model learning: essays dedicated to Frits Vaandrager on the occasion of his 60th birthday
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham
Springer
[2022]
|
| Series: | Lecture Notes in Computer Science
13560 |
| Subjects: | |
| Physical Description: | xiii, 581 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031156281 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV048524795 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 221020s2022 xx a||| |||| 01||| eng d | ||
| 020 | |a 9783031156281 |9 978-3-031-15628-1 | ||
| 035 | |a (OCoLC)1349544936 | ||
| 035 | |a (DE-599)BVBBV048524795 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a A journey from process Algebra via timed automata to model learning |b essays dedicated to Frits Vaandrager on the occasion of his 60th birthday |c Nils Jansen, Mariëlle Stoelinga, Petra van den Bos (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2022] | |
| 300 | |a xiii, 581 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 13560 | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Computer Engineering and Networks | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Natural Language Processing (NLP) | |
| 650 | 4 | |a Computer System Implementation | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer engineering | |
| 650 | 4 | |a Computer networks | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Natural language processing (Computer science) | |
| 650 | 4 | |a Computer systems | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Jansen, Nils |4 edt | |
| 700 | 1 | |a Vaandrager, Frits |d 1962- |0 (DE-588)113043260 |4 hnr | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-15629-8 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 13560 |w (DE-604)BV000000607 |9 13560 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033901641 | |
Record in the Search Index
| _version_ | 1820875813388550144 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Jansen, Nils |
| author2_role | edt |
| author2_variant | n j nj |
| author_GND | (DE-588)113043260 |
| author_facet | Jansen, Nils |
| building | Verbundindex |
| bvnumber | BV048524795 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 000 |
| ctrlnum | (OCoLC)1349544936 (DE-599)BVBBV048524795 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | 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">BV048524795</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">221020s2022 xx a||| |||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031156281</subfield><subfield code="9">978-3-031-15628-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1349544936</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048524795</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">004.0151</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">A journey from process Algebra via timed automata to model learning</subfield><subfield code="b">essays dedicated to Frits Vaandrager on the occasion of his 60th birthday</subfield><subfield code="c">Nils Jansen, Mariëlle Stoelinga, Petra van den Bos (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiii, 581 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">13560</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">Computer Engineering and Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic in AI.</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">Computer System Implementation</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">Computer engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</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">Computer systems</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">Jansen, Nils</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Vaandrager, Frits</subfield><subfield code="d">1962-</subfield><subfield code="0">(DE-588)113043260</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-031-15629-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">13560</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13560</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033901641</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV048524795 |
| illustrated | Illustrated |
| index_date | 2024-07-03T20:50:32Z |
| indexdate | 2025-01-10T15:21:36Z |
| institution | BVB |
| isbn | 9783031156281 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033901641 |
| oclc_num | 1349544936 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiii, 581 Seiten Illustrationen, Diagramme |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday Nils Jansen, Mariëlle Stoelinga, Petra van den Bos (eds.) Cham Springer [2022] xiii, 581 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 13560 Theory of Computation Software Engineering Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer System Implementation Computer science Software engineering Computer engineering Computer networks Logic programming Natural language processing (Computer science) Computer systems (DE-588)4016928-5 Festschrift gnd-content Jansen, Nils edt Vaandrager, Frits 1962- (DE-588)113043260 hnr Erscheint auch als Online-Ausgabe 978-3-031-15629-8 Lecture Notes in Computer Science 13560 (DE-604)BV000000607 13560 |
| spellingShingle | A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday Lecture Notes in Computer Science Theory of Computation Software Engineering Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer System Implementation Computer science Software engineering Computer engineering Computer networks Logic programming Natural language processing (Computer science) Computer systems |
| subject_GND | (DE-588)4016928-5 |
| title | A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday |
| title_auth | A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday |
| title_exact_search | A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday |
| title_exact_search_txtP | A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday |
| title_full | A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday Nils Jansen, Mariëlle Stoelinga, Petra van den Bos (eds.) |
| title_fullStr | A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday Nils Jansen, Mariëlle Stoelinga, Petra van den Bos (eds.) |
| title_full_unstemmed | A journey from process Algebra via timed automata to model learning essays dedicated to Frits Vaandrager on the occasion of his 60th birthday Nils Jansen, Mariëlle Stoelinga, Petra van den Bos (eds.) |
| title_short | A journey from process Algebra via timed automata to model learning |
| title_sort | a journey from process algebra via timed automata to model learning essays dedicated to frits vaandrager on the occasion of his 60th birthday |
| title_sub | essays dedicated to Frits Vaandrager on the occasion of his 60th birthday |
| topic | Theory of Computation Software Engineering Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer System Implementation Computer science Software engineering Computer engineering Computer networks Logic programming Natural language processing (Computer science) Computer systems |
| topic_facet | Theory of Computation Software Engineering Computer Engineering and Networks Logic in AI. Natural Language Processing (NLP) Computer System Implementation Computer science Software engineering Computer engineering Computer networks Logic programming Natural language processing (Computer science) Computer systems Festschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT jansennils ajourneyfromprocessalgebraviatimedautomatatomodellearningessaysdedicatedtofritsvaandragerontheoccasionofhis60thbirthday AT vaandragerfrits ajourneyfromprocessalgebraviatimedautomatatomodellearningessaysdedicatedtofritsvaandragerontheoccasionofhis60thbirthday |