Functional and logic programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceedings Book |
| Language: | English |
| Published: |
Cham
Springer
[2018]
|
| Series: | Lecture Notes in Computer Science
10818 |
| Subjects: | |
| Physical Description: | XVI, 279 Seiten Illustrationen, Diagramme |
| ISBN: | 9783319906850 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044946018 | ||
| 003 | DE-604 | ||
| 005 | 20201019 | ||
| 007 | t| | ||
| 008 | 180516s2018 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783319906850 |9 978-3-319-90685-0 | ||
| 035 | |a (OCoLC)1036371649 | ||
| 035 | |a (DE-599)BVBBV044946018 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 111 | 2 | |a FLOPS |n 14. |d 2018 |c Nagoya |j Verfasser |0 (DE-588)1159661588 |4 aut | |
| 245 | 1 | 0 | |a Functional and logic programming |b 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings |c John P. Gallagher, Martin Sulzmann (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2018] | |
| 264 | 4 | |c © 2018 | |
| 300 | |a XVI, 279 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 10818 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Special purpose computers | |
| 650 | 4 | |a Computer system failures | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a The Computing Profession | |
| 650 | 4 | |a System Performance and Evaluation | |
| 650 | 4 | |a Special Purpose and Application-Based Systems | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2018 |z Nagoya |2 gnd-content | |
| 689 | 0 | 0 | |a Funktionale Programmierung |0 (DE-588)4198740-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Gallagher, John P. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-90686-7 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 10818 |w (DE-604)BV000000607 |9 10818 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-030338841 | |
Record in the Search Index
| _version_ | 1818984184983584768 |
|---|---|
| any_adam_object | |
| author2 | Gallagher, John P. |
| author2_role | edt |
| author2_variant | j p g jp jpg |
| author_corporate | FLOPS Nagoya |
| author_corporate_role | aut |
| author_facet | Gallagher, John P. FLOPS Nagoya |
| author_sort | FLOPS Nagoya |
| building | Verbundindex |
| bvnumber | BV044946018 |
| ctrlnum | (OCoLC)1036371649 (DE-599)BVBBV044946018 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02354nam a2200601zcb4500</leader><controlfield tag="001">BV044946018</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201019 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">180516s2018 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319906850</subfield><subfield code="9">978-3-319-90685-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1036371649</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044946018</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.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FLOPS</subfield><subfield code="n">14.</subfield><subfield code="d">2018</subfield><subfield code="c">Nagoya</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1159661588</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Functional and logic programming</subfield><subfield code="b">14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings</subfield><subfield code="c">John P. Gallagher, Martin Sulzmann (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 279 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">10818</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Special purpose computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer system failures</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">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</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, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">The Computing Profession</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">Special Purpose and Application-Based Systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2018</subfield><subfield code="z">Nagoya</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Funktionale Programmierung</subfield><subfield code="0">(DE-588)4198740-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gallagher, John P.</subfield><subfield code="4">edt</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-319-90686-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">10818</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10818</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030338841</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2018 Nagoya gnd-content |
| genre_facet | Konferenzschrift 2018 Nagoya |
| id | DE-604.BV044946018 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T18:14:59Z |
| institution | BVB |
| institution_GND | (DE-588)1159661588 |
| isbn | 9783319906850 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030338841 |
| oclc_num | 1036371649 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XVI, 279 Seiten Illustrationen, Diagramme |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | FLOPS 14. 2018 Nagoya Verfasser (DE-588)1159661588 aut Functional and logic programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings John P. Gallagher, Martin Sulzmann (eds.) Cham Springer [2018] © 2018 XVI, 279 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 10818 Computer science Special purpose computers Computer system failures Computer programming Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques The Computing Profession System Performance and Evaluation Special Purpose and Application-Based Systems Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Funktionale Programmierung (DE-588)4198740-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2018 Nagoya gnd-content Funktionale Programmierung (DE-588)4198740-8 s 1\p DE-604 Logische Programmierung (DE-588)4195096-3 s 2\p DE-604 Gallagher, John P. edt Erscheint auch als Online-Ausgabe 978-3-319-90686-7 Lecture Notes in Computer Science 10818 (DE-604)BV000000607 10818 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Functional and logic programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings Lecture Notes in Computer Science Computer science Special purpose computers Computer system failures Computer programming Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques The Computing Profession System Performance and Evaluation Special Purpose and Application-Based Systems Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4198740-8 (DE-588)1071861417 |
| title | Functional and logic programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings |
| title_auth | Functional and logic programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings |
| title_exact_search | Functional and logic programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings |
| title_full | Functional and logic programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings John P. Gallagher, Martin Sulzmann (eds.) |
| title_fullStr | Functional and logic programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings John P. Gallagher, Martin Sulzmann (eds.) |
| title_full_unstemmed | Functional and logic programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings John P. Gallagher, Martin Sulzmann (eds.) |
| title_short | Functional and logic programming |
| title_sort | functional and logic programming 14th international symposium flops 2018 nagoya japan may 9 11 2018 proceedings |
| title_sub | 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018 : proceedings |
| topic | Computer science Special purpose computers Computer system failures Computer programming Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques The Computing Profession System Performance and Evaluation Special Purpose and Application-Based Systems Logische Programmierung (DE-588)4195096-3 gnd Funktionale Programmierung (DE-588)4198740-8 gnd |
| topic_facet | Computer science Special purpose computers Computer system failures Computer programming Software engineering Programming languages (Electronic computers) Computers Computer Science Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques The Computing Profession System Performance and Evaluation Special Purpose and Application-Based Systems Logische Programmierung Funktionale Programmierung Konferenzschrift 2018 Nagoya |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT flopsnagoya functionalandlogicprogramming14thinternationalsymposiumflops2018nagoyajapanmay9112018proceedings AT gallagherjohnp functionalandlogicprogramming14thinternationalsymposiumflops2018nagoyajapanmay9112018proceedings |