Central European functional programming school 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, revised selected papers /

Central European functional programming school 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, revised selected papers /

This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based...

保存先:

書誌詳細
団体著者:	SpringerLink (Online service)
その他の著者:	Horváth, Zoltán, Plasmeijer, Rinus, Zsók, Viktória
フォーマット:	eBook
言語:	English
出版事項:	Berlin, Heidelberg Imprint: Springer 2012.
シリーズ:	Lecture Notes in Computer Science 7241
主題:	Computer science. Software engineering.
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Central European functional programming school : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /
出版事項: (2006)

Central european functional programming school third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom©Łrno, Slovakia, May 25-30, 2009, revised selected lectures /
出版事項: (2010)

Advanced functional programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /

Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
出版事項: (2012)

The european central bank at ten
出版事項: (2010)

Trends in functional programming 12th international symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers /
出版事項: (2012)

Eternal systems : first international workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers /
出版事項: (2012)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
出版事項: (2010)

Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
出版事項: (2013)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
出版事項: (2013)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
出版事項: (2014)

ECOOP' 87 European Conference on Object-Oriented Programming Paris, France, June 15-17, 1987 Proceedings /
著者:: Bézivin, Jean
出版事項: (1987)

Implementation and application of functional languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
出版事項: (2007)

Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
出版事項: (2013)

Programming multi-agent systems 9th international workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, revised selected papers /
出版事項: (2012)

Multi-agent systems : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers /
出版事項: (2012)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
出版事項: (2012)

Prestate societies of the north central European plains : 600-900 CE /
著者:: Lozny, Ludomir R.
出版事項: (2013)

Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
出版事項: (2014)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
出版事項: (2013)

Parallel processing and applied mathematics : 9th International conference, PPAM 2011, Torun, Poland, September 11-14, 2011. revised selected papers, Part II /
出版事項: (2012)

Parallel processing and applied mathematics : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised selected papers, Part I /
出版事項: (2012)

5th European conference of the international federation for medical and biological engineering 14-18 September 2011, Budapest, Hungary /
出版事項: (2012)

RFID. security and privacy : 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers /
出版事項: (2012)

Trustworthy global computing : 6th International symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers /
出版事項: (2012)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
出版事項: (2013)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
出版事項: (2012)

Enterprise information systems : 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised selected papers /
出版事項: (2012)

Recent advances in reinforcement learning: 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers /
出版事項: (2012)

Perspectives of systems informatics: 8th International Andrei ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
出版事項: (2012)

Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /
出版事項: (2014)

Advanced functional programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
出版事項: (2009)

Theory of quantum computation, communication, and cryptography : 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
出版事項: (2014)

Software engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures /
出版事項: (2013)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
出版事項: (2012)

Practical aspects of design science European design science symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers /
出版事項: (2012)

Mobile wireless middleware, operating systems, and applications : 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers /
出版事項: (2012)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
出版事項: (2012)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
出版事項: (2012)

Theory of security and applications joint workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011, revised selected papers /
出版事項: (2012)