Filtra i risultati

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 320-340 di 739

Integer programming and combinatorial optimization

9th international IPCO conference, Cambridge, MA, May 27-29, 2002 : proceedings

  • Conference on integer programming and combinatorial optimization 9. Cambridge, Mass. 2002

Software reuse

methods, techniques, and tools : 8th international conference, ICSR 2004, Madrid, Spain, July 5-9, 2004 : proceedings

  • International conference on software reuse 8. Madrid, Spain 2004

Types for proofs and programs

international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

  • International workshop of the types working group 2. Berg en Dal, the Netherlands 2002

Experimental and efficient algorithms

second international workshop, WEA 2003, Ascona, Switzerland, May 26-28, 2003 : proceedings

  • International workshop on experimental and efficient algorithms 2. Ascona, Switzerland 2003

Integer programming and combinatorial optimization

11th international IPCO conference, Berlin, Germany, June 8-10, 2005 : proceedings

  • International conference on integer programming and combinatorial optimization 11. Berlino, Germania 2005

Advanced information systems engineering

16th international conference, CAiSE 2004, Riga, Latvia, June 7-11, 2004 : proceedings

  • International conference on advanced information systems engineering 16. Riga, Latvia 2004

Algebraic methodology and software technology

10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

  • International conference on algebraic methodology and software technology 10. Stirling, Scotland, UK 2004

Computer algebra

symbolic and algebraic computation

Proceedings of the 3rd international ACM SIGPLAN conference on principles and practice of declarative programming

(PPDP '01) : Florence, Italy, September 5-7, 2001

  • International ACM SIGPLAN conference on principles and practice of declarative programming 3. Firenze 2001

Unconventional programming paradigms

international workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004 : revised selected and invited papers

  • International workshop on unconventional programming paradigms Le Mont Saint Michel, Francia 2004

Advanced information systems engineering

14th international conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002 : proceedings

  • Conference on advanced information systems engineering 14. Toronto, Canada 2002

Computer safety, reliability, and security

24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005 : proceedings

  • International conference on computer safety, reliability, and security 24. Fredrikstad, Norvegia 2005

Principles and practice of constraint programming - CP2001

7th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : Proceedings