Eintrag weiter verarbeiten
Online-Ressource

Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers

Gespeichert in:

Personen und Körperschaften: Loidl, Hans-Wolfgang (VerfasserIn), Peña, Ricardo (HerausgeberIn)
Titel: Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers/ edited by Hans-Wolfgang Loidl, Ricardo Peña
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7829
Schlagwörter:
Computer science
Computer Science
Computer programming.
Compilers (Computer programs).
Machine theory.
Konferenzschrift > 2012 > Saint Andrews
Konferenzschrift
Druckausg.u.d.T.: Trends in functional programming, Heidelberg : Springer, 2013, X, 310 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 04828cam a22009852 4500
001 0-1652993711
003 DE-627
005 20240122104859.0
007 cr uuu---uuuuu
008 130911s2013 gw |||||o 00| ||eng c
020 |a 9783642404474  |9 978-3-642-40447-4 
024 7 |a 10.1007/978-3-642-40447-4  |2 doi 
035 |a (DE-627)1652993711 
035 |a (DE-576)393380041 
035 |a (DE-599)BSZ393380041 
035 |a (OCoLC)859539255 
035 |a (ZBM)1269.68024 
035 |a (ZBM)1269.68024 
035 |a (DE-He213)978-3-642-40447-4 
035 |a (EBP)04055063X 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.6-76.66 
072 7 |a UM  |2 bicssc 
072 7 |a COM051000  |2 bisacsh 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a *68-06  |2 msc 
084 |a 68N18  |2 msc 
084 |a 00B25  |2 msc 
084 |a 54.51  |2 bkl 
100 1 |a Loidl, Hans-Wolfgang  |4 aut 
245 1 0 |a Trends in Functional Programming  |b 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers  |c edited by Hans-Wolfgang Loidl, Ricardo Peña 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2013 
300 |a Online-Ressource (X, 311 p. 110 illus, online resource) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7829 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
520 |a This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming 
650 0 |a Computer science 
650 0 |a Computer Science 
650 0 |a Computer science 
650 0 |a Computer programming. 
650 0 |a Compilers (Computer programs). 
650 0 |a Machine theory. 
655 7 |a Konferenzschrift  |y 2012  |z Saint Andrews  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4198740-8  |0 (DE-627)105186414  |0 (DE-576)210123990  |a Funktionale Programmierung  |2 gnd 
689 0 |5 DE-101 
700 1 |a Peña, Ricardo  |e Hrsg.  |4 edt 
776 1 |z 9783642404467 
776 0 8 |i Druckausg.u.d.T.  |t Trends in functional programming  |d Heidelberg : Springer, 2013  |h X, 310 S.  |w (DE-627)1607608766  |w (DE-576)401525317  |z 9783642404467  |z 3642404464 
830 0 |a Lecture notes in computer science  |v 7829  |9 7829  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-40447-4  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40447-4  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz393380041cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20150316113346  |3 Cover 
856 4 2 |u https://zbmath.org/?q=an:1269.68024  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
889 |w (DE-627)766670376 
912 |a ZDB-2-LNC  |b 2013 
912 |a ZDB-2-SCS  |b 2013 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2013 
912 |a ZDB-2-SEB  |b 2013 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.51  |j Programmiermethodik  |q SEPA  |0 (DE-627)106418122 
951 |a BO 
950 |a Programmierung 
950 |a Funktionale Programmiersprache 
950 |a Applikative Programmierung 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40447-4  |9 DE-14 
852 |a DE-14  |x epn:336194998X  |z 2013-09-11T10:22:52Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40447-4  |9 DE-15 
852 |a DE-15  |x epn:3361950015  |z 2013-09-11T10:22:52Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40447-4  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3361950058  |z 2013-09-11T10:22:52Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40447-4  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3361950082  |z 2013-09-11T10:22:52Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-40447-4  |9 DE-520 
852 |a DE-520  |x epn:3361950112  |z 2013-09-11T10:22:52Z 
980 |a 1652993711  |b 0  |k 1652993711  |o 393380041 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Trends+in+Functional+Programming%3A+13th+International+Symposium%2C+TFP+2012%2C+St.+Andrews%2C+UK%2C+June+12-14%2C+2012%2C+Revised+Selected+Papers&rft.date=2013&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Trends+in+Functional+Programming%3A+13th+International+Symposium%2C+TFP+2012%2C+St.+Andrews%2C+UK%2C+June+12-14%2C+2012%2C+Revised+Selected+Papers&rft.series=Lecture+notes+in+computer+science%2C+7829&rft.au=Loidl%2C+Hans-Wolfgang&rft.pub=Springer&rft.edition=&rft.isbn=3642404472
SOLR
_version_ 1792258620780445696
access_facet Electronic Resources
author Loidl, Hans-Wolfgang
author2 Peña, Ricardo
author2_role edt
author2_variant r p rp
author_facet Loidl, Hans-Wolfgang, Peña, Ricardo
author_role aut
author_sort Loidl, Hans-Wolfgang
author_variant h w l hwl
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.6-76.66
callnumber-search QA76.6-76.66
callnumber-sort QA 276.6 276.66
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
contents This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming
ctrlnum (DE-627)1652993711, (DE-576)393380041, (DE-599)BSZ393380041, (OCoLC)859539255, (ZBM)1269.68024, (DE-He213)978-3-642-40447-4, (EBP)04055063X
de15_date 2013-09-11T10:22:52Z
dech1_date 2013-09-11T10:22:52Z
doi_str_mv 10.1007/978-3-642-40447-4
era_facet 2012
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Funktionale Programmierung
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2012 Saint Andrews (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Saint Andrews
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7829
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1652993711
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2013
imprint_str_mv Berlin, Heidelberg: Springer, 2013
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1652993711
is_hierarchy_title Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
isbn 9783642404474
isbn_isn_mv 9783642404467, 3642404464
issn_isn_mv 1611-3349
kxp_id_str 1652993711
language English
last_indexed 2024-02-29T18:23:32.062Z
local_heading_facet_dezwi2 Computer science, Computer Science, Computer programming., Compilers (Computer programs)., Machine theory., Funktionale Programmierung
marc024a_ct_mv 10.1007/978-3-642-40447-4
match_str loidl2013trendsinfunctionalprogramming13thinternationalsymposiumtfp2012standrewsukjune12142012revisedselectedpapers
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7829
oclc_num 859539255
physical Online-Ressource (X, 311 p. 110 illus, online resource)
publishDate 2013
publishDateSort 2013
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 393380041
recordtype marcfinc
rsn_id_str_mv (DE-15)3249633
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7829
series2 Lecture Notes in Computer Science ; 7829, SpringerLink ; Bücher
source_id 0
spelling Loidl, Hans-Wolfgang aut, Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers edited by Hans-Wolfgang Loidl, Ricardo Peña, Berlin, Heidelberg Springer 2013, Online-Ressource (X, 311 p. 110 illus, online resource), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7829, SpringerLink Bücher, Literaturangaben, This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming, Computer science, Computer Science, Computer programming., Compilers (Computer programs)., Machine theory., Konferenzschrift 2012 Saint Andrews (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4198740-8 (DE-627)105186414 (DE-576)210123990 Funktionale Programmierung gnd, DE-101, Peña, Ricardo Hrsg. edt, 9783642404467, Druckausg.u.d.T. Trends in functional programming Heidelberg : Springer, 2013 X, 310 S. (DE-627)1607608766 (DE-576)401525317 9783642404467 3642404464, Lecture notes in computer science 7829 7829 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-40447-4 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-40447-4 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz393380041cov.jpg V:DE-576 X:springer image/jpeg 20150316113346 Cover, https://zbmath.org/?q=an:1269.68024 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext, (DE-627)766670376, http://dx.doi.org/10.1007/978-3-642-40447-4 DE-14, DE-14 epn:336194998X 2013-09-11T10:22:52Z, http://dx.doi.org/10.1007/978-3-642-40447-4 DE-15, DE-15 epn:3361950015 2013-09-11T10:22:52Z, http://dx.doi.org/10.1007/978-3-642-40447-4 DE-Ch1, DE-Ch1 epn:3361950058 2013-09-11T10:22:52Z, http://dx.doi.org/10.1007/978-3-642-40447-4 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3361950082 2013-09-11T10:22:52Z, http://dx.doi.org/10.1007/978-3-642-40447-4 DE-520, DE-520 epn:3361950112 2013-09-11T10:22:52Z
spellingShingle Loidl, Hans-Wolfgang, Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers, Lecture notes in computer science, 7829, This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional Programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming, Computer science, Computer Science, Computer programming., Compilers (Computer programs)., Machine theory., Konferenzschrift 2012 Saint Andrews, Konferenzschrift, Funktionale Programmierung
swb_id_str 393380041
title Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
title_auth Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
title_full Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers edited by Hans-Wolfgang Loidl, Ricardo Peña
title_fullStr Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers edited by Hans-Wolfgang Loidl, Ricardo Peña
title_full_unstemmed Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers edited by Hans-Wolfgang Loidl, Ricardo Peña
title_in_hierarchy 7829. Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers (2013)
title_short Trends in Functional Programming
title_sort trends in functional programming 13th international symposium tfp 2012 st andrews uk june 12 14 2012 revised selected papers
title_sub 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
title_unstemmed Trends in Functional Programming: 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
topic Computer science, Computer Science, Computer programming., Compilers (Computer programs)., Machine theory., Konferenzschrift 2012 Saint Andrews, Konferenzschrift, Funktionale Programmierung
topic_facet Computer science, Computer Science, Computer programming., Compilers (Computer programs)., Machine theory., Konferenzschrift, Funktionale Programmierung
url https://doi.org/10.1007/978-3-642-40447-4, http://dx.doi.org/10.1007/978-3-642-40447-4, https://swbplus.bsz-bw.de/bsz393380041cov.jpg, https://zbmath.org/?q=an:1269.68024