biblio toscana

Embedded software

first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings

Automated theorem proving in software engineering

1986 CERN school of computing

Renesse, The Netherlands, 30 august-13 september 1986 : proceedings

Embedded software

third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings

Combinatorial and algorithmic aspects of networking

first workshop on combinatorial and algorithmic aspects of networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004 : revised selected papers

Approximation and online algorithms

first international workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003 : revised papers

Enterprise modeling with UML

designing successful software through business analysis

Reliable software technologies-ada-Europe 2003

8th ada-Europe international conference on reliable software technologies, Toulouse, France, June 16-20, 2003 : proceedings

Interior point methods of mathematical programming

Perspectives of system informatics

4th international Andrei Ershov memorial conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : Revised papers

Experience management

foundations, development methodology, and internet-based applications

Algorithm engineering and experiments

4th international workshop, ALENEX 2002, San Francisco, CA, USA, January 4-5, 2002 : revised papers

Reliable software technologies - Ada-Europe 2002

7th Ada-Europe international conference on reliable software technologies, Vienna, Austria, June 17-12, 2002 : proceedings

Software process improvement

11th european conference, EuroSPI 2004, Trondheim, Norway, November 10-12, 2004 : proceedings

Principles and practice of constraint programming - CP 2002

8th international conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002 : proceedings

Computer science logic

19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings

Algorithmic applications in management

first international conference, AAIM 2005, Xian, China, June 22-25, 2005 : proceedings

Case is software automation

Twisted network programming essentials

Transactional agents

towards a robust multi-agent system