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

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

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	SpringerLink (Online service)
Այլ հեղինակներ:	Vene, Varmo, Uustalu, Tarmo
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Շարք:	Lecture Notes in Computer Science, 3622
Խորագրեր:	Computer science Software engineering
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

Advanced functional programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
Հրապարակվել է: (2009)

Central European functional programming school 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, revised selected papers /
Հրապարակվել է: (2012)

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)

Functional and logic programming 10th international symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings /
Հրապարակվել է: (2010)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Հրապարակվել է: (2010)

A beginner's guide to scala, object orientation and functional programming /
: Hunt, John
Հրապարակվել է: (2014)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Հրապարակվել է: (2014)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Հրապարակվել է: (2012)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Advances in software engineering Lipari summer school 2007, Lipari Island, Italy, July 8-21, 2007. Revised tutorial lectures /
Հրապարակվել է: (2008)

Multiparadigm programming in mozart second international conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, revised selected papers
: Van Roy, Peter
Հրապարակվել է: (2005)

Software engineering and middleware 4th international workshop, SEM 2004, Linz, Austria, September 20-21, 2004 revised selected papers
: Gschwind, Thomas
Հրապարակվել է: (2005)

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

Datatype-generic programming : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
Հրապարակվել է: (2007)

Generic and indexed programming international spring school, SSGIP 2010, Oxford, UK, March 22-26, 2010, revised lectures /
Հրապարակվել է: (2012)

Information Security Applications (vol. # 3325) 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers
: Lim, Chae Hoon
Հրապարակվել է: (2005)

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Shared memory parallel programming with open MP 5th international workshop on open MP application and tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004
: Chapman, Barbara M.
Հրապարակվել է: (2005)

Advanced network programming - principles and techniques : network application programming with java /
: Ciubotaru, Bogdan, և այլն
Հրապարակվել է: (2013)

Programming multi-agent systems : 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Logic for programming, artificial intelligence, and reasoning (vol. # 3452) 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
: Baader, Franz
Հրապարակվել է: (2005)

Advanced infocomm technology : 5th IEEE International Conference, ICAIT 2012, Paris, France, July 25-27, 2012. Revised Papers /
Հրապարակվել է: (2013)

Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /
Հրապարակվել է: (2013)

Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Հրապարակվել է: (2014)

Machines, computations, and Universality 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, revised selected papers
: Margenstern, Maurice
Հրապարակվել է: (2005)

Programming languages : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings /
Հրապարակվել է: (2013)

Programming languages : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings /
Հրապարակվել է: (2014)

Programming languages 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Հրապարակվել է: (2012)

Implementation and application of automata (vol. # 3317) 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, revised selected papers
: Domaratzki, Michael
Հրապարակվել է: (2005)

Programming multi-agent systems (vol. # 3346) second international workshop ProMAS 2004, New York, NY, July 20, 2004, selected revised and invited papers
: Bordini, Rafael H.
Հրապարակվել է: (2005)

Formal methods for quantitative aspects of programming languages 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
: Aldini, Alessandro
Հրապարակվել է: (2010)

Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Generative programming and component engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings /

Patterns, programming and everything /
Հրապարակվել է: (2012)

Introduction to programming with Fortran /
: Chivers, Ian D.

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures /

Construction and analysis of safe, secure, and interoperable smart devices (vol. # 3362) international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, revised selected papers
: Barthe, Gilles
Հրապարակվել է: (2005)

Programming languages and systems : 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Հրապարակվել է: (2012)

Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers
: Gleizes, Marie-Pierre
Հրապարակվել է: (2005)