biblio toscana

Functional and logic programming

6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

Fundamental approaches to software engineering

5th international conference, FASE 2002, held as part of the joint european conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

Linear and nonlinear programming

UML 2002-the unified modeling language

model engineering, concepts, and tools : 5th international conference, Dresden, Germany, September 30-October 4, 2002 : proceedings

Théorie mathématique des processus optimaux

Integration of software specification techniques for application in engineering

priority program softSpez of the German research foundation (DFG), Final Report

Automatic data processing

system/360 edition

Quality of software architectures and software quality

first international conference on the quality of software architecture, QoSA 2005 and second international workshop on software quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 : proceedings

Principles and practice of constraint programming - CP 2004

10th international conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004 : proceedings

Combinatorial pattern matching

16th annual symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005 : proceedings

Pascal for engineers

a course including omegasoft Pascal for microcomputers : introduction and training

Domain science and engineering

a foundation for software development

Progetti e calcoli di ingegneria con excel

Proceedings of the second ACM SIGPLAN symposium on principles & practice of parallel programming, PPOPP

Seattle Washington, March 14-16, 1990

Model checking software

12th international SPIN workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings

Control theory, numerical methods and computer systems modelling

International Symposium, Rocquencourt, June 17-21, 1974

UML 2004-the unified modeling language

modeling languages and applications : 7th international conference, Lisbon, Portugal, October 11-15, 2004 : proceedings

Learning OpenShift

leverage the power of cloud computing using OpenShift Online to design, build, and deploy scalable applications

Object-oriented information systems

9th international conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003 : proceedings

Inductive logic programming

13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings