biblio toscana

Imaging hardware and software for nuclear medicine

Algebraic methodology and software technology

9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

Bits and bugs

a scientific and historical review of software failures in computational science

Computer safety, reliability and security

21st International conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings

Artificial evolution

6th international conference, evolution artificielle, EA 2003, Marseille, France, October 27-30, 2003 : revised selected papers

Functional and logic programming

7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings

Continuous delivery

[reliable software releases through build, test, and deployment automation]

Generic programming

international seminar on generic programming : Dagstuhl Castle, Germany, April 27-May 1, 1998 : Selected papers

Model driven engineering languages and systems

8th international conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005 : proceedings

Information processing 86

proceedings of the IFIP 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986

Information processing 77

proceedings of IFIP Congress 77, Toronto, August 8-12, 1977

Proceedings of the 23rd international conference on software engineering

ICSE 2001 : 12-19 May 2001 Toronto, Ontario, Canada

L'anno Duemila e il software

quali i problemi e come valutarli

Formal methods at the crossroads from panacea to foundational support

10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Program development in computational logic

a decade of research advances in logic-based program development

Mathematics of program construction

7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Algorithms-ESA 2001

9th annual European symposium, Århus, Denmark, August 28-31, 2001 : Proceedings

Foundations of logic programming

Applied computing

second Asian computing conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004 : proceedings

Il filo di Arianna

programmazione logica per tutti