biblio toscana

String processing and information retrieval

10th international symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003 : proceedings

Recent advances in intrusion detection

6th international symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003 : proceedings

Introduction to matlab for engineers and scientists

1991 Cern school of computing, Ystads Saltsjöbad hotel, Ystad, Sweden 23 August-2 September 1991

proceedings

Object-oriented information systems

8th international conference, OOIS 2002, Montpellier, France, September 2-5, 2002 : proceedings

Micro database management

practical techniques for application developmant

Computer science logic

17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Formal methods for software architectures

third international school on formal methods for the design of computer, communication, and software systems--software architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures

The cache coherence problem in shared-memory multiprocessors

software solutions

ACM sigmetrics 2005

international conference on measurement and modeling of computer systems, June 6-10, 2005, Banff, Alberta, Canada : proceedings

Static analysis

9th international symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings

Static analysis

11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings

Conceptual modeling for new information systems technologies

ER 2001 workshop HUMACS, DASWIS, ECOMO, and DAMA Yokohama, Japan, November 27-30, 2001 : revised papers

VM: modalità di utilizzo

Verification, model checking, and abstract interpretation

4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings

SAS applications guide

On the move to meaningful internet systems 2002

CoopIS, DOA, and ODBASE : confederated international conferences CoopIS, DOA, and ODBASE 2002 : proceedings

Modula-2 library modules

a programmer's reference

Compiler construction

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

OpenMP shared memory parallel programming

international workshop on openMP applications and tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003 : proceedings