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...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Horváth, Zoltán, Plasmeijer, Rinus, Zsók, Viktória
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg Imprint: Springer 2012.
Seri Bilgileri:	Lecture Notes in Computer Science 7241
Konular:	Computer science. Software engineering.
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Central European functional programming school : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2012)

The european central bank at ten
Baskı/Yayın Bilgisi: (2010)

Trends in functional programming 12th international symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Eternal systems : first international workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Baskı/Yayın Bilgisi: (2010)

Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Baskı/Yayın Bilgisi: (2013)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

ECOOP' 87 European Conference on Object-Oriented Programming Paris, France, June 15-17, 1987 Proceedings /
Yazar:: Bézivin, Jean
Baskı/Yayın Bilgisi: (1987)

Implementation and application of functional languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2007)

Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Programming multi-agent systems 9th international workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Multi-agent systems : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Prestate societies of the north central European plains : 600-900 CE /
Yazar:: Lozny, Ludomir R.
Baskı/Yayın Bilgisi: (2013)

Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2014)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Parallel processing and applied mathematics : 9th International conference, PPAM 2011, Torun, Poland, September 11-14, 2011. revised selected papers, Part II /
Baskı/Yayın Bilgisi: (2012)

Parallel processing and applied mathematics : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised selected papers, Part I /
Baskı/Yayın Bilgisi: (2012)

5th European conference of the international federation for medical and biological engineering 14-18 September 2011, Budapest, Hungary /
Baskı/Yayın Bilgisi: (2012)

RFID. security and privacy : 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Trustworthy global computing : 6th International symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Enterprise information systems : 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Recent advances in reinforcement learning: 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Perspectives of systems informatics: 8th International Andrei ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /
Baskı/Yayın Bilgisi: (2014)

Advanced functional programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
Baskı/Yayın Bilgisi: (2009)

Theory of quantum computation, communication, and cryptography : 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2014)

Software engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures /
Baskı/Yayın Bilgisi: (2013)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Practical aspects of design science European design science symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Mobile wireless middleware, operating systems, and applications : 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Baskı/Yayın Bilgisi: (2012)

Theory of security and applications joint workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011, revised selected papers /
Baskı/Yayın Bilgisi: (2012)