biblio toscana

Applications of graph transformations with industrial relevance

second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003 : revised selected and invited papers

Laboratorio di matematica per il biennio della scuola superiore

linguaggio di progetto e PASCAL: un approccio naturale alla programmazione

Algorithmique

Approximation algorithms

Scenarios

models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Advances in XML information retrieval

third international workshop of the initiative for the evaluation of XML retrieval, INEX 2004, Dagstuhl Castle, Germany, December 6-8, 2004 : revised selected papers

Approximation, randomization, and combinatorial optimization

algorithms and techniques : 8th international workshop on approximation algorithms for combinatorial optimization problems, APPROX 2005 and 9th international workshop on randomization and computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005 : proceedings

Semi-infinite programming

System software of the Cern proton synchrotron control system

Computer scienza & tecnologia

Inductive logic programming

14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Recent trends in algebraic development techniques

6th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Algorithms - ESA 2003

11th annual european symposium Budapest, Hungary, September 16-19, 2003 : proceedings

Tools and algorithms for the construction and analysis of systems

11th international conference, TACAS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

An introduction to linear programming and game theory

Visual basic 5

dalla A alla Z

From problem to program

Fractional programming

Software composition

4th international workshop, SC 2005, Edinburgh, UK, April 9, 2005 : revised selected papers

Programming languages and systems

13th european symposium on programming, ESOP 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