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 1-20 di 739

testo

LANCELOT

a Fortran package for large-scale nonlinear optimization (release A)

  • Conn, Andrew R.
testo

Learning Node

  • Powers, Shelley
testo

Approximation, randomization, and combinatorial optimization

algorithms and techniques : 7th international workshop on approximation algorithms for combinatorial optimization problems, APPROX 2004 and 8th international workshop on randomization and computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004 : proceedings

  • International workshop on approximation algorithms for combinatorial optimization problems 7. Cambridge, MA, USA 2004
testo

Advanced information systems engineering

17th international conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005 : proceedings

  • International conference on advanced information systems engineering 17. Porto, Portugal 2005
testo

Approximation, randomization, and combinatorial optimization

algorithms and techniques : 6th international workshop on approximation algorithms for combinatorial optimization problems, APPROX 2003 and 7th international workshop on randomization and approximation techniques in computer science, RANDOM 2003, Princeton, NJ, USA, August 24-26, 2003 : proceedings

  • International workshop on approximation algorithms for combinatorial optimization problems 6. Princeton, NJ 2003
testo

Verification

theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday

testo

Software engineering for multi-agent systems III

research issues and practical applications

testo

Types for proofs and programs

international workshop, TYPES 2003, Torino, Italy, April 30- May 4, 2003 : revised selected papers

  • International workshop of the types working group 3. Torino, Italy 2003
testo

Integer programming and combinatorial optimization

10th international IPCO conference, New York, NY, USA, June 7-11, 2004 : proceedings

  • International conference on integer programming and combinatorial optimization 10. New York, NY, USA 2004
testo

Reliable software technologies - Ada-Europe 2004

9th Ada-Europe international conference on reliable software technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings

  • Ada-Europe international conference on reliable software technologies 9. Palma de Mallorca, Spagna 2004
testo

Software product-family engineering

5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers

  • International workshop on software product-family engineering 5. Siena, Italia 2003
testo

Algorithms and data structures

8th international workshop, WADS 2003, Ottawa, Ontario, Canada, July 30-August 1, 2003 : proceedings

  • International workshop on algorithms and data structures 8. Ottawa, Ontario, Canada 2003
testo

Algorithm engineering

5th international workshop, WAE 2001, Arhus, Denmark, August 28-31, 2001 : proceedings

  • International workshop on algorithm engineering 5th Arhus, Denmark 2001

Risultati 1-20 di 739

Seguici su Twitter

I Nostri Social