biblio toscana

Theoretical aspects of computer software

4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings

Distributed real-time systems

monitoring, visualization, debugging and analysis

Elementary mathematical programming

Algorithmic learning theory

15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 : proceedings

Scientific engineering of distributed Java applications

4th international workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers

Agent-oriented software engineering V

5th international workshop, AOSE 2004, New York, NY, USA, July 19, 2004 : revised selected papers

Algorithm engineering

4th international workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings

Product focused software process improvement

third international conference, PROFES 2001, Kaiserslautern, Germany, September 10-13, 2001 : proceedings

Fundamental approaches to software engineering

4th international conference, FASE 2001, held as part of the joint european conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Iterative software engineering for multiagent systems

the MASSIVE method

Formal and natural computing

essays dedicated to Grzegorz Rozenberg

Global computing

programming environments, languages, security, and analysis of systems : IST/FET international workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers

COTS-based software systems

second international conference, ICCBSS 2003, Ottawa, Canada, February 10-12, 2003 : proceedings

Head first design patterns [+]

Everyday scripting with ruby

for teams, testers, and you

Problem solving & programming concepts

Rapid integration of software engineering techniques

first international workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004 : revised selected papers

Soft-Ware 2002

computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings

Inductive synthesis of functional programs

universal planning, folding of finite programs, and schema abstraction by analogival reasoning

Workshop on software in high-energy physics

(where do we go from here?) : CERN, Geneva, Switzerland, 4-6 october 1982 : proceedings