Filtra i risultati

Soggetti

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 1400-1420 di 5360

Privacy enhancing technologies

third international workshop, PET 2003, Dresden, Germany, March 26-28, 2003 : revised papers

  • International workshop on privacy enhancing technologies 3. Dresden, Germany 2003

Virtual Basic 6.0

guida alla programmazione

  • Case Bradley, Julia

Formal methods for open object-based distributed systems

7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

  • International conference on formal methods for open object-based distributed systems 7. Atene, Grecia 2005

Digital computers in research

an introduction for behavioral and social scientists

  • Green, Bert F.

Reliable software technology - Ada-Europe 2005

10th Ada-Europe international conference on reliable software technologies, York, UK, June 20-24, 2005 : proceedings

  • Ada-Europe international conference on reliable software technology 10. York, Regno Unito 2005

Logic based program synthesis and transformation

14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

  • International symposium on logic based program synthesis and transformation 14. Verona, Italia 2004

Sigma

a new language for interactive array-oriented computing

Unfoldings

a partial-order approach to model checking

  • Esparza, Javier

Proceedings of seventh ACM symposium on access control models and technologies

SACMAT 2002 : June 3-4, 2002, Naval postgraduate school, Monterey, California, USA

  • ACM symposium on access control models and technologies 7. Monterey, California, USA 2002

Computing with logic

logic programming with Prolog

  • Maier, David

Designing with progressive enhancement

building the web that works for everyone

Logo

un linguaggio strutturato per l'insegnamento delle scienze nella scuola secondaria superiore

  • Pisaneschi, Paolo

Domain-driven design

tackling complexity in the heart of software

  • Evans, Eric

Proceedings of the ACM Sigsoft '91 conference on software for critical systems

New Orleans, Louisiana, December 4-6, 1991

  • Conference on software for critical systems New Orleans, Louisiana 1991

Software support for Motorola 68000 microprocessor at CERN

M68mil cross macro assembler

  • Eicken, Horst von