Rapid Integration of Software Engineering Techniques (vol. # 3475) First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers

Rapid Integration of Software Engineering Techniques (vol. # 3475) First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers

Enregistré dans:

Détails bibliographiques
Auteur principal:	Guelfi, Nicolas (Auteur)
Collectivité auteur:	SpringerLink (Online service)
Format:	eBook
Langue:	English
Publié:	Berlin Heidelberg : Springer-Verlag GmbH., 2005
Sujets:	Information Systems Software engineering Logic design
Accès en ligne:	Click here to view the full text content
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Scientific engineering of distributed java applications 4th international workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, revised selected papers
par: Guelfi, Nicolas
Publié: (2005)

Rapid integration of software engineering techniques (vol. # 3943) : Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /
Publié: (2006)

Fast software encryption : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers /
Publié: (2007)

Scientific engineering for distributed Java applications International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 revised papers
Publié: (2003)

Scientific engineering for distributed Java applications International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 revised papers
Publié: (2003)

Logic based program synthesis and transformation (vol. # 3573) / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, revised selected papers
Publié: (2005)

Job scheduling strategies for parallel processing (vol. # 3277) 10th international workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, revised selected papers
par: Feitelson, Dror
Publié: (2005)

Programming multi-agent systems (vol. # 3346) second international workshop ProMAS 2004, New York, NY, July 20, 2004, selected revised and invited papers
par: Bordini, Rafael H.
Publié: (2005)

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
par: Barthe, Gilles
Publié: (2005)

Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
Publié: (2006)

Argumentation in multi-agent systems (vol. # 4049) : Second International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, Revised Selected and Invited Papers /
Publié: (2006)

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
par: Halbwachs, Nicolas
Publié: (2005)

Logic based program synthesis and transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Publié: (2006)

Recent advances in constraints (vol. # 3419) joint ERCIM/CoLogNET international workshop on constraint solving and constraint logic programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, revised selected and
par: Fages, Francois
Publié: (2005)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
par: Ur, Shmuel
Publié: (2006)

Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, revised selected papers
par: Fiadeiro, JosÃ© Luiz
Publié: (2005)

Agent-oriented software eEngineering V 5th international workshop, AOSE 2004, New York, NY, USA, July 2004, revised selected papers
par: Giorgini, Paolo
Publié: (2005)

Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Publié: (2013)

Implementation and application of automata (vol. # 3845) : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Fundamental approaches to software engineering (vol. # 3442) 8th international conference, FASE 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April
par: Cerioli, Maura
Publié: (2005)

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
par: Crnkovic, Ivica
Publié: (2005)

Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
Publié: (2014)

Foundations of software science and computational structures (vol. # 3441) 8th international conference, FOSSACS 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005
par: Sassone, Vladimiro
Publié: (2005)

Computer science logic (vol. # 4207) : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Programming multi-agent systems (vol. # 3862) : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers /
par: Bordini, Rafael H.
Publié: (2006)

Linking game-theoretical approaches with constructive type theory : Dialogical strategies, CTT demonstrations and the axiom of choice /
par: Clerbout, Nicolas
Publié: (2015)

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Digital watermarking (vol. # 3304) third international workshop, IWDW 2004, Seoul, Korea, October 30 - November 1, 2004, revised selected papers
par: Cox, Ingemar J.
Publié: (2005)

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Publié: (2013)

Recent trends in algebraic development techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
Publié: (2012)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Publié: (2007)

Logic programming (vol. # 4079) : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
Publié: (2006)

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

Logic for programming, artificial intelligence, and reasoning (vol. # 3452) 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
par: Baader, Franz
Publié: (2005)

OECD economic surveys : Luxembourg.
Publié: (1985)

OECD economic surveys : Luxembourg.
Publié: (1985)

Rapid dyslexia screening tool using fuzzy logic
par: Ng, Li Mun
Publié: (2018)

Theoretical aspects of computing - ICTAC 2004 first international colloquium guiyand, China, September 20-24, 2004, revised selected papers
par: Araki, Keijiro
Publié: (2005)

Job Scheduling Strategies for Parallel Processing (vol. # 3834) 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Publié: (2005)