Evaluation of novel approaches to software engineering 3rd and 4th international conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. revised selected papers /

Evaluation of novel approaches to software engineering 3rd and 4th international conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. revised selected papers /

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	SpringerLink (Online service)
Այլ հեղինակներ:	Gonz©Łlez-P©♭rez, C©♭sar, Jablonski, Stefan, Maciaszek, Leszek A.
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Հրապարակվել է:	Berlin, Heidelberg Springer 2010.
Շարք:	Communications in Computer and Information Science, 69
Խորագրեր:	Computer science Computer Communication Networks Software engineering Logic design
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

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

Evaluation of novel approaches to software engineering : 7th international conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, revised selected papers /
Հրապարակվել է: (2013)

Evaluation of novel approaches to software engineering : 8th international conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers /
Հրապարակվել է: (2013)

Evaluation of novel approaches to software engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers /
Հրապարակվել է: (2013)

Models in software engineering workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /
Հրապարակվել է: (2010)

Web information systems and technologies 4th international conference, WEBIST 2008, funchal, Madeira, Portugal, May 4-7, 2008, revised selected papers /
Հրապարակվել է: (2009)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
Հրապարակվել է: (2011)

Agents and data mining interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised selected papers /
Հրապարակվել է: (2009)

Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
: Arbab, Farhad
Հրապարակվել է: (2010)

Argumentation in multi-agent systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised selected and invited papers /
Հրապարակվել է: (2009)

Approaches and applications of inductive programming third international workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /
Հրապարակվել է: (2010)

Declarative agent languages and technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
Հրապարակվել է: (2010)

Software composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

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)

Software language engineering second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers /
Հրապարակվել է: (2010)

Advances in software engineering techniques : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers /
Հրապարակվել է: (2012)

Trustworthy global computing 4th international symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, revised selected papers /
Հրապարակվել է: (2009)

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
Հրապարակվել է: (2010)

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Հրապարակվել է: (2010)

Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. proceedings /
: Gradel, Erich
Հրապարակվել է: (2009)

Fundamental approaches to software engineering 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
Հրապարակվել է: (2009)

Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Հրապարակվել է: (2012)

Software composition : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
Հրապարակվել է: (2007)

Quantitative evaluation of systems : 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings /
Հրապարակվել է: (2014)

ECOOP 2009 object-oriented programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings /
Հրապարակվել է: (2009)

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Հրապարակվել է: (2009)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Հրապարակվել է: (2013)

Computer performance evaluation and benchmarking SPEC benchmark workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings /
Հրապարակվել է: (2009)

Symbolic and quantitative approaches to reasoning with uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings /
Հրապարակվել է: (2009)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Հրապարակվել է: (2012)

Logics in artificial intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings /
Հրապարակվել է: (2014)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Հրապարակվել է: (2013)

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

Logic programming 24th international conference, ICLP 2008, Udine, Italy, December 9-13 2008. Proceedings /
Հրապարակվել է: (2008)

Agent-oriented software engineering IX 9th international workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008. Revised selected papers /
Հրապարակվել է: (2009)

Unifying theories of programming second international symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, revised selected papers /
Հրապարակվել է: (2010)

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
Հրապարակվել է: (2012)

Software composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Հրապարակվել է: (2009)

Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
Հրապարակվել է: (2010)

Sensor systems and software : First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers /
Հրապարակվել է: (2010)