biblio toscana

Advances in spatial and temporal databases

9th international symposium, SSTD 2005, Angra dos Reis, Brazil, August 22-24, 2005 : proceedings

Database programming languages

10th international symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005 : revised selected papers

Clausal form logic

an introduction to the logic of computer reasoning/ Tom Richards

Principles of program analysis

Cryptography and coding

10th IMA international conference, Cirencester, UK, December 19-21, 2005 : proceedings

FSTTCS 2005

foundations of software technology and theoretical computer science : 25th international conference, Hyderabad, India, December 15-18, 2005 : proceedings

Applied computing

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

Conceptual modeling for advanced application domains

ER 2004 workshops CoMoGIS, CoMWIM, ECDM, CoMoA, DGOV, and eCOMO, Shanghai, China, November 8-12, 2004 : proceedings

Formal techniques, modelling and analysis of timed and fault-tolerant systems

joint international conference on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings

Proceedings of the ACM SIGPLAN'92 conference on programming language design and implementation, San Francisco, California, June 17-19, 1992

PL-11

a programming language for the DEC PDP-11 computer : with addendum (version 5)

Applications of graph transformations with industrial relevance

second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003 : revised selected and invited papers

Laboratorio di matematica per il biennio della scuola superiore

linguaggio di progetto e PASCAL: un approccio naturale alla programmazione

Algorithmique

Approximation algorithms

Cryptographic hardware and embedded systems- CHES 2002

4th international workshop, Redwood Shores, CA, USA, August 13-15, 2002 : revised papers

SAS user's guide: statistics

Programming collective intelligence

building smart web 2.0 applications

Scenarios

models, transformations and tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

Advances in XML information retrieval

third international workshop of the initiative for the evaluation of XML retrieval, INEX 2004, Dagstuhl Castle, Germany, December 6-8, 2004 : revised selected papers