Logo Regione Toscana

biblio toscana
Cerca

Filtra i risultati

Autori

Soggetti

Tipologia

Provincia

Reti

Cerca per titolo, autore, soggetto

Ordinamento
Localizzazione
Lingua
Nazione
Tipologia
Livello Bibliografico
Pubblicato dal
al
Isbn
Annulla ricerca

Risultati ricerca

Risultati 340-360 di 739

testo

Foundations of software science and computation structures

7th international conference, FOSSACS 2004, held as part of the joint european conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings

  • International conference on foundations of software science and computation structures 7. Barcelona, Spain 2004
testo

Tools and algorithms for the construction and analysis of systems

10th international conference, TACAS 2004, held as part of the joint european conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March/April, 2004 : proceedings

  • International conference on tools and algorithms for the construction and analysis of systems 10. Barcelona, Spain 2004
testo

COTS-based software systems

third international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings

  • International conference on COTS-based software systems 3. Redondo Beach, CA, USA 2004
testo

Algorithmic learning theory

14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings

  • International conference on algorithmic learning theory 14. Sapporo, Japan 2003
testo

String processing and information retrieval

10th international symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003 : proceedings

  • International symposium on string processing and information retrieval 10. Manaus, Brazil 2003
testo

Object-oriented information systems

8th international conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings

  • International conference on object-oriented information systems 8. Montpellier, France 2002
testo

Dynamic programming

  • Bellman, Richard E.
testo

Computer science logic

17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

  • International workshop on computer science logic 17. Vienna, Austria 2003
testo

Com/Dcom

  • Abernethy, Randy
testo

Static analysis

9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

  • International symposium on static analysis 9. Madrid, Spain 2002
testo

Static analysis

11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

  • International symposium on static analysis 11. Verona, Italia 2004
testo

Software process technology

9th european workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings

  • European workshop on software process technology 9. Helsinki, Finland 2003
testo

Programming languages and systems

12th european symposium on programming, ESOP 2003, held as part of the joint european conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003

  • European symposium on programming 12. Warsaw, Poland 2003
testo

Product focused software process improvement

5th international conference, PROFES 2004, Kansai Science City, Japan, April 5-8, 2004 : proceedings

  • International conference on product focused software process improvement 5. Kansai Science City, Japan 2004
testo

Computer supported cooperative work in design I

8th international conference, CSCWD 2004, Xiamen, China, May 26-28, 2004 : revised selected papers

Risultati 340-360 di 739

Seguici su Twitter

I Nostri Social