Filtra i risultati

Soggetti

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 460-480 di 5360

Proceedings of FMSP '00

the third workshop on formal methods in software practice : August 24-25, 2000, Portland, Oregon, USA, co-located with ISSTA '00

  • Workshop on formal methods in software practice 3. Portland, Oregon, USA 2000

Evolvable systems

from biology to hardware : 4th international conference, ICES 2001, Tokyo, Japan, October 3-5, 2001 : proceedings

The XML handbook

  • Goldfarb, Charles F.

Ssa procedures guide

version 6

  • Statistical Advanced Software

SAS guide to the report procedure

usage and reference : version 6

  • Statistical Advanced Software

Information security and cryptology

first SKLOIS conference, CISC 2005, Beijing, China, December 15-17, 2005 : proceedings

  • Conference on information security and cryptology 1. Beijing, Cina 2005

Algorithmic learning theory

16th international conference, ALT 2005, Singapore, October 8-11, 2005 : proceedings

  • International conference on algorithmic learning theory 16. Singapore 2005

Computer security-ESORICS 2002

7th european symposium on research in computer security, Zurich, Switzerland, October 14-16, 2002 : proceedings

  • European symposium on research in computer security 7. Zurich, Switzerland 2002

Infrastructure security

international conference, InfraSec 2002, Bristol, UK, October 1-3, 2002 : proceedings

  • International conference on infrastructure security Bristol, UK 2002

Laboratorio di informatica

Vol. 1, La programmazione

  • Garavaglia, Antonio

I segreti di Unix

  • Armstrong, James C.